| Wed, 19 Oct 2022 10:43:04 +0200 |
eliminate term2str in src, Prog_Tac.*_adapt_to_type
|
file | diff | annotate |
| Fri, 07 Oct 2022 20:46:48 +0200 |
follow up 3: MethodC.adapt_to_typ on loading by CalcTree, CalcTreeTEST
|
file | diff | annotate |
| Mon, 26 Sep 2022 10:57:53 +0200 |
follow up 2: Problem.adapt_to_typ on loading by CalcTree, CalcTreeTEST
|
file | diff | annotate |
| Mon, 22 Aug 2022 11:26:20 +0200 |
cleanup test for: push ctxt through LI
|
file | diff | annotate |
| Sun, 21 Aug 2022 16:14:45 +0200 |
prepare test 4 for: push ctxt through LI
|
file | diff | annotate |
| Sun, 21 Aug 2022 11:22:04 +0200 |
//prepare test 3 for: push ctxt through LI (only CAS_Cmd not OK)
|
file | diff | annotate |
| Tue, 26 Jul 2022 22:29:35 +0200 |
cleanup after trials on stepwise input to Example
|
file | diff | annotate |
| Tue, 26 Jul 2022 19:29:09 +0200 |
prepare stepwise input to Example (1)
|
file | diff | annotate |
| Tue, 21 Jun 2022 12:41:52 +0200 |
rename functions in o-model.sml finish
|
file | diff | annotate |
| Mon, 20 Jun 2022 17:36:25 +0200 |
intermed 3
|
file | diff | annotate |
| Mon, 20 Jun 2022 17:22:26 +0200 |
intermed 2
|
file | diff | annotate |
| Mon, 20 Jun 2022 16:58:32 +0200 |
intermed 1
|
file | diff | annotate |
| Mon, 20 Jun 2022 09:56:48 +0200 |
review stepwise Specification in vscode-example.sml
|
file | diff | annotate |
| Sun, 19 Jun 2022 16:55:13 +0200 |
shifts tests to VSCode_Example.thy, vscode-example.sml
|
file | diff | annotate |
| Sun, 19 Jun 2022 16:10:11 +0200 |
remove type error from Fromalise.model
|
file | diff | annotate |
| Sun, 19 Jun 2022 09:35:51 +0200 |
review tests similar to Demo_Example
|
file | diff | annotate |
| Thu, 26 May 2022 12:53:13 +0200 |
tuned
|
file | diff | annotate |
| Wed, 25 May 2022 10:37:35 +0200 |
unify parse 6: TermC.parse eliminated, Test_Isac_Short ok
|
file | diff | annotate |
| Tue, 16 Nov 2021 18:29:23 +0100 |
tuned
|
file | diff | annotate |
| Tue, 16 Nov 2021 18:26:57 +0100 |
unify parse 4: eliminate parse, simple cases
|
file | diff | annotate |
| Mon, 27 Sep 2021 20:24:24 +0200 |
cleanup; all relevant tests work again
|
file | diff | annotate |
| Sat, 25 Sep 2021 21:41:51 +0200 |
more simp rules: 1 is another special case, so (- 1) needs to be treated separately;
|
file | diff | annotate |
| Sat, 25 Sep 2021 13:54:06 +0200 |
\\ uncovered corner case of realpow: (- 1) ? 2
|
file | diff | annotate |
| Fri, 24 Sep 2021 14:18:10 +0200 |
proper simp_ctxt;
|
file | diff | annotate |
| Thu, 23 Sep 2021 13:47:16 +0200 |
\\ realpow is not handled by present Simplifier.rewrite simp_ctxt
|
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 |
| Tue, 14 Sep 2021 16:06:42 +0200 |
\\adopt Isabelles calculation of numerals, "(- 1) ? 2" still missing
|
file | diff | annotate |
| Tue, 14 Sep 2021 12:22:57 +0200 |
\\adopt Isabelles calculation of numerals, some cases are missing
|
file | diff | annotate |
| Sun, 12 Sep 2021 15:40:15 +0200 |
cleanup
|
file | diff | annotate |
| Mon, 23 Aug 2021 14:24:06 +0200 |
repair rule-set reduce_0_1_2
|
file | diff | annotate |
| Mon, 23 Aug 2021 12:33:10 +0200 |
repair fun eval_cancel finished
|
file | diff | annotate |
| Sun, 22 Aug 2021 14:28:38 +0200 |
repair fun adhoc_thm + fun eval_cancel
|
file | diff | annotate |
| Sun, 22 Aug 2021 11:42:55 +0200 |
improve error message for eval_fn
|
file | diff | annotate |
| Sun, 22 Aug 2021 09:43:43 +0200 |
improvement in Rational.thy makes several testfiles run, breaks one.
|
file | diff | annotate |
| Wed, 18 Aug 2021 20:34:41 +0200 |
replace is_const with is_num, ERROR removed
|
file | diff | annotate |
| Wed, 18 Aug 2021 11:35:24 +0200 |
repair test/../root.sml, diff.sml; outcomment NEW errors TOODOO.1
|
file | diff | annotate |
| Mon, 09 Aug 2021 14:20:20 +0200 |
eliminate ThyC.to_ctxt done except 1 error
|
file | diff | annotate |
| Mon, 09 Aug 2021 11:19:25 +0200 |
remove TOODOOs
|
file | diff | annotate |
| Tue, 03 Aug 2021 19:16:27 +0200 |
repair cancellation with zero polynomial
|
file | diff | annotate |
| Mon, 02 Aug 2021 15:30:41 +0200 |
tuned
|
file | diff | annotate |
| Mon, 02 Aug 2021 15:25:49 +0200 |
reapir minus_mult_left, many tests work again
|
file | diff | annotate |
| Mon, 02 Aug 2021 11:38:40 +0200 |
repair thm real_mult_minus1_sym; many newly broken tests
|
file | diff | annotate |
| Sun, 01 Aug 2021 14:39:03 +0200 |
repair ord_make_polynomial_in, est/../integrate.sml works again
|
file | diff | annotate |
| Tue, 27 Jul 2021 12:32:43 +0200 |
//test/../diff.sml works again
|
file | diff | annotate |
| Tue, 27 Jul 2021 11:21:14 +0200 |
revert previous changeset
|
file | diff | annotate |
| Tue, 20 Jul 2021 14:37:56 +0200 |
//reduce the number of TermC.parse*; "//"means: tests broken .
|
file | diff | annotate |
| Mon, 19 Jul 2021 18:29:46 +0200 |
cleanup after "eliminate ThmC.numerals_to_Free"
|
file | diff | annotate |
| Mon, 19 Jul 2021 17:29:35 +0200 |
introduce ALL valid const_name in test/*
|
file | diff | annotate |
| Sun, 18 Jul 2021 21:19:25 +0200 |
Test_Some.the works, too
|
file | diff | annotate |
| Sun, 18 Jul 2021 21:15:21 +0200 |
Test_Isac_Short.thy, Test_Some.the work on new src, new TOODOOs
|
file | diff | annotate |
| Sun, 18 Jul 2021 16:20:32 +0200 |
eliminate ThmC.numerals_to_Free: Test_Isac_Short.thy works with TOODOO s
|
file | diff | annotate |
| Thu, 15 Jul 2021 20:09:44 +0200 |
cleanup Test_Isac_Short.thy
|
file | diff | annotate |
| Thu, 15 Jul 2021 20:02:16 +0200 |
rewrite.sml + poly.sml + rational.sml + polyminus.sml: ok
|
file | diff | annotate |
| Thu, 15 Jul 2021 14:10:18 +0200 |
ewrite.sml + poly.sml + rational.sml: ok, repair rewrite-orders
|
file | diff | annotate |
| Tue, 13 Jul 2021 15:28:43 +0200 |
Test_Some.thy + rewrite.sml + poly.sml + rational.sml: ok
|
file | diff | annotate |
| Tue, 13 Jul 2021 10:43:21 +0200 |
Test_Some.thy + rewrite.sml + poly.sml ok: improve eval_is_atom
|
file | diff | annotate |
| Tue, 13 Jul 2021 09:49:45 +0200 |
Test_Some.thy + rewrite.sml + poly.sml ok: shift code Test_Some.thy --> Poly.thy
|
file | diff | annotate |
| Tue, 13 Jul 2021 08:52:35 +0200 |
Test_Some.thy + rewrite.sml + poly.sml ok: real_mult_minus1_sym works with is_atom
|
file | diff | annotate |
| Mon, 12 Jul 2021 17:21:37 +0200 |
Test_Some.thy + rewrite.sml + poly.sml ok: repair poly_of_term
|
file | diff | annotate |
| Sat, 03 Jul 2021 16:21:07 +0200 |
//test/../rewrite.sml,poly.sml WORK
|
file | diff | annotate |