Sat, 04 Feb 2023 17:00:25 +0100 |
eliminate use of Thy_Info 22: eliminate UnparseC.term, rename "_in_ctxt" -> ""
|
file | diff | annotate |
Tue, 31 Jan 2023 16:29:53 +0100 |
eliminate use of Thy_Info 15: UnparseC.terms --> terms_in_ctxt, only test/*
|
file | diff | annotate |
Tue, 31 Jan 2023 12:29:42 +0100 |
eliminate use of Thy_Info 13: eliminate UnparseC.term in test/
|
file | diff | annotate |
Tue, 31 Jan 2023 10:49:17 +0100 |
cleanup parse #6: eliminate TermC.parseNEW
|
file | diff | annotate |
Mon, 30 Jan 2023 09:47:18 +0100 |
cleanup parse #3: final functions inb ParseC
|
file | diff | annotate |
Sun, 09 Oct 2022 07:44:22 +0200 |
eliminate term2str in test/*
|
file | diff | annotate |
Sat, 30 Jul 2022 16:47:45 +0200 |
eliminate global flag Rewrite.trace_on
|
file | diff | annotate |
Thu, 16 Sep 2021 17:23:54 +0200 |
separate realpow constant, with additional cases not covered by Transcendental.powr;
|
file | diff | annotate |
Sun, 08 Aug 2021 15:21:33 +0200 |
repair fun is_ratpolyexp
|
file | diff | annotate |
Fri, 06 Aug 2021 18:27:05 +0200 |
cleanup files on GCD/gcd
|
file | diff | annotate |
Fri, 06 Aug 2021 12:09:06 +0200 |
repair fun order overwritten by previous tests
|
file | diff | annotate |
Wed, 04 Aug 2021 10:15:55 +0200 |
repair test broken with "repair addition with zero polynomial"
|
file | diff | annotate |
Tue, 03 Aug 2021 19:40:02 +0200 |
outcomment test broken with "repair cancellation with zero polynomial"
|
file | diff | annotate |
Tue, 03 Aug 2021 19:16:27 +0200 |
repair cancellation with zero polynomial
|
file | diff | annotate |
Mon, 19 Jul 2021 17:29:35 +0200 |
introduce ALL valid const_name in test/*
|
file | diff | annotate |
Sat, 17 Jul 2021 14:05:28 +0200 |
replace "-*" by "- *" for numerals "*" in test/*
|
file | diff | annotate |
Fri, 16 Jul 2021 06:57:34 +0200 |
separate rational-1 /-2.sml
|
file | diff | annotate |