| 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 |