| 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
|
| Thu, 28 Feb 2019 12:38:15 +0100 |
Walther Neuper |
remove test, which is unused in demos
|
changeset |
files
|
| Thu, 28 Feb 2019 12:14:32 +0100 |
Walther Neuper |
funpack: outcomment partial_function, further preps required
|
changeset |
files
|
| Tue, 19 Feb 2019 19:35:12 +0100 |
Walther Neuper |
[-Test_Isac] funpack: cp program code to partial_function
|
changeset |
files
|
| Fri, 15 Feb 2019 16:52:05 +0100 |
Walther Neuper |
funpack: relate body_of, formal_args to prep_program
|
changeset |
files
|
| Fri, 15 Feb 2019 14:41:40 +0100 |
Walther Neuper |
funpack: prep_program for partial_function
|
changeset |
files
|
| Thu, 14 Feb 2019 20:12:32 +0100 |
Walther Neuper |
funpack: preview to body_of, formal_args for partial_function
|
changeset |
files
|
| Thu, 14 Feb 2019 19:47:37 +0100 |
Walther Neuper |
funpack: Compare program terms: from old parsing | from partial_function
|
changeset |
files
|
| Tue, 22 Jan 2019 12:08:32 +0100 |
Walther Neuper |
funpack: Test_Isac ok with string constants in programs and tactics
|
changeset |
files
|
| Tue, 22 Jan 2019 11:21:08 +0100 |
Walther Neuper |
[-Test_Isac] funpack: Test_Isac ok until Knowledge
|
changeset |
files
|
| Tue, 22 Jan 2019 09:33:11 +0100 |
Walther Neuper |
[-Test_Isac] funpack: in programs and spec.terms replace bdv by ''bdv''
|
changeset |
files
|
| Mon, 14 Jan 2019 18:29:57 +0100 |
Walther Neuper |
[-Test_Isac] funpack: repaired test/../ctree.sml
|
changeset |
files
|
| Mon, 14 Jan 2019 18:18:54 +0100 |
Walther Neuper |
tuned
|
changeset |
files
|
| Mon, 14 Jan 2019 18:15:19 +0100 |
Walther Neuper |
[-Test_Isac] funpack: repaired test/../rewtools.sml
|
changeset |
files
|
| Fri, 11 Jan 2019 15:45:55 +0100 |
Walther Neuper |
[-Test_Isac] add test to Minisubpbl for interSteps
|
changeset |
files
|
| Thu, 10 Jan 2019 18:17:48 +0100 |
Walther Neuper |
[-Test_Isac] funpack: adapt substitution to type "char string"
|
changeset |
files
|
| Mon, 31 Dec 2018 14:49:16 +0100 |
Walther Neuper |
[-Test_Isac] add an overlooked structure
|
changeset |
files
|
| Mon, 31 Dec 2018 14:15:19 +0100 |
Walther Neuper |
[-Test_Isac] funpack: repaired test/../scrtools.sml
|
changeset |
files
|