Activity for Thomas Sturm
-
Thomas Sturm committed [r6618] on Code
Removed a typo in a procedure name that had been introduced with r5986
-
Added README
-
Added test data and README
-
Added test data and README
-
Added test data and README
-
Work in progress
-
Added cl_esetsubst
-
Work in progress
-
Indentation
-
Set keword expansion for $Id$ in .red files. Set svn:eol-style=native. Fixed line endings.
-
New package f5 for Grobner basis computation using the F5 algorithm. Work in progress, but
-
Sed is now selected using Python methods.
-
Added sed option to run
-
Removed some debugging output.
-
slow correctly selects sigxcpu rows now.
-
Fixed an incorrect factor when reading sigxcpu. Implemented plot.scatter1() to display also sigxcpu benchmarks.
-
slow() and fast() better cope with missing cpu_* timings now.
-
Work in progress
-
Work in progress
-
Simplified call to reduce and log stderr
-
Fixes in benchmark files
-
Two new benchmarks
-
Fixed wrond file mode for dumping error logs
-
Improvements of the qepcad interface, including import of cpu time consumed outside Reduce
-
One more benchmark
-
Further benchmarks from https://doi.org/10.1007/s11786-020-00479-9; fresh computations
-
New benchmarks from https://doi.org/10.1007/s11786-020-00479-9; fresh computations
-
Added support for SUPPORT directories within benchmark trees
-
Improved plotting and summary
-
Implemented plotting of job schedule over time.
-
Fixed details in the html summary
-
Revised OO. Things are cleaner now.
-
Use package relative imports and moved rbench.py outside the package.
-
Work in progress
-
Work in progress
-
Improved scatter plots and presentation of the log file in summary
-
A new, simpler rlsmt script
-
redlogtest/regressions has been migrated to rbench/benchmark
-
All relevant functionality of redlogtest has been migrated to rbench.
-
Improvements on interfaces and logging
-
improved interfaces and logging
-
New, Python-based benchmarking tools, which will replace trunk/generic/redlogtest/
-
Work in progress
-
Work in progress
-
Work in progress
-
Work in progress
-
Work in progress
-
Work in progress
-
Work in progress
-
Work in progress
-
Work in progress
-
Work in progress
-
Work in progress
-
Work in progress
-
Work in progress
-
work in progress
-
Work in progress
-
Patch for changed design in the Benchmark tools
-
Work in progress
-
work in progress
-
work in progress
-
Migrating to improved benchmarking
-
Work in progress
-
Work in progress
-
Updated assert.tst and assert.rlg (PSL), but also deactivated the test in package.map. assert_error() in assert.red makes a hard call to backtrace(), but CSL does not give one. I suspect but did not check that the backtrace() output would look slightly different anyway.
-
A python successor for rltestanalyze.sh
-
Towards a more flexible approach, including html output. Worin in progress ...
-
Some layout fixes
-
Work in progress around cl_simplat().
-
Added module rltools/bhashtable.
-
Fixed some very old flaws, where atomic formulas did not get completely simplified. This popped up with the new remember facility of cl_simplat().
-
Work in progress around cl_simplat().
-
Use -td argument of redpsl instead of patching pslmem64.sh. Fixed glitches when $save or .reducerc_$rnd did not exist.
-
Increased hashtable sizes in clsimplat.
-
New submodule clsimplat contains cl_simplat() with a remember feature, and cl_identifyat() using a hash table of the underlying Lisp.
-
Use sfto_fctrf instead of fctrf.
-
Hotfix for errors with smt.tst.
-
Manage .reducerc
-
Added new module cl/clqeenv and moved all cl_qe-specific switches there. Switch rlqeasri went to pasf.red.
-
Renamed reduce-dump-assertions to reduce-get-assertions and made it more tolerant about its arguments.
-
Added Redlog-local test scripts and test files for development of cl/clqenew.
-
Switch assert_procedures is now working properly.
-
Fixed a bug in cl_qe1!-iterate_new(), where unsimplified formulas could enter cl_qevar_new().
-
Improved printing of QeState. Renamed currentTheory to theory.
-
QeCont: Added missing variable declarations
-
Bug fixes in node management in QeCont (node membership and hashing)
-
Fixed time files
-
Updated rlg
-
Split and renamed the data structures for clqenew.
-
Removed "on time" from regression tests
-
New examples
-
Added ioto_printListToString()
-
Two more examples
-
Reorganized existing examples from doi:10.1093/comjnl/36.5.450, and added new ones there.
-
New reference times for Redlog regression tests, obtained 2021-09-19.
-
New script rl_pack_timeupdate.sh repacks nightly timings for installation as the new reference.
-
Reorganization of Redlog tests
-
Proper formatting of longer test names; more robust handling of failed tests
-
Shortened dirname
-
More PSL heap and a deep look into the regressions directory.
1 >