| Thu, 04 Jul 2019 16:13:03 +0200 |
Walther Neuper |
lucin: adapt signature of "fun determine_next_tactic", postponed (see Test_Some, TODO.thy)
|
changeset |
files
|
| Thu, 04 Jul 2019 15:13:30 +0200 |
Walther Neuper |
lucin: tuned
|
changeset |
files
|
| Wed, 03 Jul 2019 17:17:55 +0200 |
Walther Neuper |
lucin: new lucas-interpreter in comments
|
changeset |
files
|
| Wed, 03 Jul 2019 15:30:31 +0200 |
Walther Neuper |
lucin: rename scr --> program
|
changeset |
files
|
| Wed, 03 Jul 2019 15:09:16 +0200 |
Walther Neuper |
lucin: fix Test_Isac, rename aux-funs in lucas-interpreter.
|
changeset |
files
|
| Tue, 25 Jun 2019 16:21:18 +0200 |
Walther Neuper |
lucin: adapt tests to new file src/../lucas-interpreter.sml
|
changeset |
files
|
| Tue, 25 Jun 2019 12:56:54 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Tue, 25 Jun 2019 12:48:24 +0200 |
Walther Neuper |
lucin: rename 3 main functions of lucase-interpreter.sml
|
changeset |
files
|
| Tue, 25 Jun 2019 10:46:20 +0200 |
Walther Neuper |
record hints from Isabelle mailing list
|
changeset |
files
|
| Tue, 25 Jun 2019 10:27:14 +0200 |
Walther Neuper |
lucin: shift "locate input tactic" into lucas-interpreter.sml"
|
changeset |
files
|
| Mon, 24 Jun 2019 15:53:50 +0200 |
Walther Neuper |
repair Test_Isac for previous change set
|
changeset |
files
|
| Mon, 24 Jun 2019 14:44:51 +0200 |
Walther Neuper |
lucin: shift "locate input formula" into lucas-interpreter.sml
|
changeset |
files
|
| Mon, 24 Jun 2019 14:02:39 +0200 |
Walther Neuper |
[-Test_Isac] lucin: shift "find next tactic" into lucas-interpreter.sml
|
changeset |
files
|
| Sun, 23 Jun 2019 14:44:00 +0200 |
Walther Neuper |
introduce Test_Isac_Short.thy
|
changeset |
files
|
| Sun, 23 Jun 2019 14:23:09 +0200 |
Walther Neuper |
funpack: remove remainings of Script, finished.
|
changeset |
files
|
| Sat, 22 Jun 2019 14:34:06 +0200 |
Walther Neuper |
funpack: remove code unnecessary after switch to partial_function, partially
|
changeset |
files
|
| Sat, 22 Jun 2019 13:15:52 +0200 |
Walther Neuper |
funpack: repair remaining test/../partial_fractions.sml, inverse_z_transform.sml
|
changeset |
files
|
| Sat, 01 Jun 2019 11:09:19 +0200 |
Walther Neuper |
[-Test_Isac] funpack: repair errors in test, spot remaining errors
|
changeset |
files
|
| Thu, 30 May 2019 12:39:13 +0200 |
Walther Neuper |
[-Test_Isac] re-use formal_args, cleanup sig
|
changeset |
files
|
| Thu, 30 May 2019 12:04:55 +0200 |
Walther Neuper |
[-Test_Isac] funpack: switch auto-generated programs to partial_function
|
changeset |
files
|
| Wed, 29 May 2019 14:22:31 +0200 |
Walther Neuper |
[-Test_Isac] funpack: switched also fun formal_args
|
changeset |
files
|
| Wed, 29 May 2019 10:36:16 +0200 |
Walther Neuper |
[-Test_Isac] funpack: switch from Script to partial_function
|
changeset |
files
|
| Tue, 28 May 2019 16:52:30 +0200 |
Walther Neuper |
funpack: final check of partial_functions wrt. Scripts
|
changeset |
files
|
| Mon, 27 May 2019 20:20:34 +0200 |
Walther Neuper |
funpack: recover marks in partial_function
|
changeset |
files
|
| Mon, 27 May 2019 19:53:00 +0200 |
Walther Neuper |
Test_Some cleaned
|
changeset |
files
|
| Mon, 27 May 2019 19:43:52 +0200 |
Walther Neuper |
Test_Some: exception Size raised (line 169 of "./basis/LibrarySupport.sml")
|
changeset |
files
|
| Mon, 27 May 2019 19:28:40 +0200 |
Walther Neuper |
funpack: failed trial to generalise handling of meths which extend the model of a probl
|
changeset |
files
|
| Fri, 10 May 2019 15:59:58 +0200 |
Walther Neuper |
funpack: release sequence-relation between method's itm list and partial_function's arg list
|
changeset |
files
|
| Wed, 08 May 2019 18:45:25 +0200 |
Walther Neuper |
funpack: adapted Inverse_Z_Transform
|
changeset |
files
|
| Tue, 09 Apr 2019 11:38:26 +0200 |
Walther Neuper |
improve handling of new variable on rhs; open problem with Inverse_Z_Transform
|
changeset |
files
|
| Mon, 08 Apr 2019 16:10:07 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Mon, 08 Apr 2019 14:52:17 +0200 |
Walther Neuper |
no error in Test_Isac, first time since 4390c9bb03e9.
|
changeset |
files
|
| Fri, 05 Apr 2019 16:40:33 +0200 |
Walther Neuper |
[-Test_Isac] test/../partial_fractions ok
|
changeset |
files
|
| Thu, 04 Apr 2019 17:52:52 +0200 |
Walther Neuper |
[-Test_Isac] code cleanup & tests from previous changeset
|
changeset |
files
|
| Thu, 04 Apr 2019 17:29:00 +0200 |
Walther Neuper |
[-Test_Isac] adapt Rational polynomial to Const ("Partial_Fractions.AA", _)
|
changeset |
files
|
| Wed, 27 Mar 2019 19:14:47 +0100 |
Walther Neuper |
[-Test_Isac] adapt monom_of_term, add_fraction_p_ to AA
|
changeset |
files
|
| Wed, 27 Mar 2019 11:20:43 +0100 |
Walther Neuper |
[-Test_Isac] adapt add_fractions_p to AA
|
changeset |
files
|
| Thu, 21 Mar 2019 17:51:18 +0100 |
Walther Neuper |
[-Test_Isac] extend "is_polyexp (Const _) = true" for AA
|
changeset |
files
|
| Wed, 20 Mar 2019 15:34:43 +0100 |
Walther Neuper |
[-Test_Isac] shift tests to appropriate file
|
changeset |
files
|
| Wed, 20 Mar 2019 15:27:46 +0100 |
Walther Neuper |
[-Test_Isac] unify TermC.coeff_in with occurs_in
|
changeset |
files
|
| Wed, 20 Mar 2019 15:01:08 +0100 |
Walther Neuper |
cleanup theories worked on
|
changeset |
files
|
| Wed, 20 Mar 2019 13:53:40 +0100 |
Walther Neuper |
[-Test_Isac] replace local coeff_inf with TermC.coeff_in
|
changeset |
files
|
| Wed, 20 Mar 2019 12:16:48 +0100 |
Walther Neuper |
[-Test_Isac] correct TermC.coeff_in (revert bool value)
|
changeset |
files
|
| Tue, 19 Mar 2019 17:52:36 +0100 |
Walther Neuper |
[-Test_Isac] cleanup Poly.thy
|
changeset |
files
|
| Tue, 19 Mar 2019 15:42:15 +0100 |
Walther Neuper |
[-Test_Isac] coeff_in used in Poly, transfer respective tests
|
changeset |
files
|
| Wed, 13 Mar 2019 18:59:59 +0100 |
Walther Neuper |
[-Test_Isac] coeff_in adapts to Const ("Partial_Fractions.AA, _), calls come later
|
changeset |
files
|
| Wed, 13 Mar 2019 17:59:02 +0100 |
Walther Neuper |
[-Test_Isac] adapt tests to e62918aaf081, show_pt_tac
|
changeset |
files
|
| Wed, 13 Mar 2019 17:44:30 +0100 |
Walther Neuper |
adapt tests to e504168e7b01, dropped trick
|
changeset |
files
|
| Wed, 13 Mar 2019 17:33:07 +0100 |
Walther Neuper |
.hgignore does NOT handle etc/settings; thus 1 repository can only serve 1 installation
|
changeset |
files
|
| Mon, 11 Mar 2019 16:08:44 +0100 |
Walther Neuper |
[-Test_Isac] tuned
|
changeset |
files
|
| Mon, 11 Mar 2019 16:02:27 +0100 |
Walther Neuper |
show_pt_tac, a new tool for checking tests
|
changeset |
files
|
| Mon, 11 Mar 2019 11:06:27 +0100 |
Walther Neuper |
pbl refinement correctly finds thy for tac Subproblem,
|
changeset |
files
|
| Thu, 07 Mar 2019 18:51:29 +0100 |
Walther Neuper |
[-Test_Isac] funpack: test OK except partial_fractions, inverse_z_transform
|
changeset |
files
|
| Thu, 07 Mar 2019 17:29:30 +0100 |
Walther Neuper |
[-Test_Isac] funpack: Const AA enforces care with thys for parsing
|
changeset |
files
|
| Thu, 07 Mar 2019 17:22:20 +0100 |
Walther Neuper |
[-Test_Isac] funpack: Const ("Partial_Fractions.AA",..) makes trick superfluous
|
changeset |
files
|
| Thu, 07 Mar 2019 16:50:20 +0100 |
Walther Neuper |
settings + version for isabisacREP: why does .hgignore NOT work?
|
changeset |
files
|
| Thu, 07 Mar 2019 16:36:22 +0100 |
Walther Neuper |
settings + version for isabisac333: why does .hgignore NOT work?
|
changeset |
files
|
| Thu, 07 Mar 2019 16:30:17 +0100 |
Walther Neuper |
make settings, distribution independent from installation
|
changeset |
files
|
| Fri, 01 Mar 2019 13:24:08 +0100 |
Walther Neuper |
funpack: replace free variables by constants for partial_function
|
changeset |
files
|
| Thu, 28 Feb 2019 18:27:29 +0100 |
Walther Neuper |
funpack: drop thms generated by partial_function
|
changeset |
files
|