| Sat, 22 Jun 2019 13:15:52 +0200 |
funpack: repair remaining test/../partial_fractions.sml, inverse_z_transform.sml
|
file | diff | annotate |
| Sat, 01 Jun 2019 11:09:19 +0200 |
[-Test_Isac] funpack: repair errors in test, spot remaining errors
|
file | diff | annotate |
| Mon, 27 May 2019 19:43:52 +0200 |
Test_Some: exception Size raised (line 169 of "./basis/LibrarySupport.sml")
|
file | diff | annotate |
| Mon, 27 May 2019 19:28:40 +0200 |
funpack: failed trial to generalise handling of meths which extend the model of a probl
|
file | diff | annotate |
| Wed, 08 May 2019 18:45:25 +0200 |
funpack: adapted Inverse_Z_Transform
|
file | diff | annotate |
| Tue, 09 Apr 2019 11:38:26 +0200 |
improve handling of new variable on rhs; open problem with Inverse_Z_Transform
|
file | diff | annotate |
| Mon, 08 Apr 2019 16:10:07 +0200 |
tuned
|
file | diff | annotate |
| Wed, 20 Mar 2019 15:27:46 +0100 |
[-Test_Isac] unify TermC.coeff_in with occurs_in
|
file | diff | annotate |
| Mon, 11 Mar 2019 16:02:27 +0100 |
show_pt_tac, a new tool for checking tests
|
file | diff | annotate |
| Thu, 07 Mar 2019 17:29:30 +0100 |
[-Test_Isac] funpack: Const AA enforces care with thys for parsing
|
file | diff | annotate |
| Fri, 01 Mar 2019 13:24:08 +0100 |
funpack: replace free variables by constants for partial_function
|
file | diff | annotate |
| Tue, 19 Feb 2019 19:35:12 +0100 |
[-Test_Isac] funpack: cp program code to partial_function
|
file | diff | annotate |
| Wed, 21 Nov 2018 12:32:54 +0100 |
update to new Isabelle conventions: {*...*} to \<open>...\<close>
|
file | diff | annotate |
| Fri, 08 Aug 2014 17:08:10 +0200 |
see xmldata https://intra.ist.tugraz.at/hg/isac/rev/5b222a649390
|
file | diff | annotate |
| Mon, 21 Oct 2013 10:44:08 +0200 |
cleaned notes on tests and todos
|
file | diff | annotate | base |