| Mon, 27 Jan 2014 21:49:27 +0100 |
cleanup, naming: 'KEStore_Elems' in Tests now 'Test_KEStore_Elems', 'store_pbts' now 'add_pbts'
|
file | diff | annotate |
| Sun, 26 Jan 2014 01:37:36 +0100 |
ad 967c8a1eb6b1 (2b): for 'ptyps' add functions accessing Theory_Data in parallel to old ones for 'Unsynchronized.ref' in 'test' folder.
|
file | diff | annotate |
| Thu, 12 Dec 2013 14:37:15 +0100 |
Isabelle2013-1 --> 2013-2: merged TUG/isa into TUM/isabelle
|
file | diff | annotate |
| Thu, 12 Dec 2013 14:14:25 +0100 |
Isabelle2013-1 --> 2013-2: finished 2013-1
|
file | diff | annotate |
| Wed, 20 Nov 2013 11:01:08 +0100 |
Isabelle2013 --> 2013-1: finished 2013
|
file | diff | annotate |
| Wed, 13 Nov 2013 15:10:21 +0100 |
restored tests on Polynomials, cf 11557b906ac1
|
file | diff | annotate |
| Wed, 13 Nov 2013 12:45:24 +0000 |
~~/src/Tools/isac/Knowledge/GCD_Poly{,_FP} was reloaded by Test_Isac.thy
|
file | diff | annotate |
| Mon, 21 Oct 2013 10:44:08 +0200 |
cleaned notes on tests and todos
|
file | diff | annotate |
| Mon, 21 Oct 2013 09:03:50 +0200 |
"axiomatization" replaces "axioms" preparing for Isabelle2013-1
|
file | diff | annotate |
| Sun, 29 Sep 2013 18:27:37 +0200 |
collected updates since changeset 9690a8d5f1c
|
file | diff | annotate |
| Sun, 22 Sep 2013 18:17:25 +0200 |
narrow behaviour of Theory_Data and "ruleset' = Unsynchronized.ref"
|
file | diff | annotate |
| Thu, 19 Sep 2013 13:37:26 +0200 |
added some existing tests
|
file | diff | annotate |
| Thu, 19 Sep 2013 12:04:38 +0200 |
tuned
|
file | diff | annotate |
| Tue, 17 Sep 2013 18:59:56 +0200 |
test file for parallelizing math-engine
|
file | diff | annotate |
| Mon, 16 Sep 2013 12:27:20 +0200 |
review of examples for non-termination of rls norm_Rational
|
file | diff | annotate |
| Mon, 16 Sep 2013 12:20:00 +0200 |
Test_Isac works again, perfectly ..
|
file | diff | annotate |
| Fri, 13 Sep 2013 18:57:11 +0200 |
Test_Theory without session Isac has limitations
|
file | diff | annotate |
| Mon, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
| Mon, 26 Aug 2013 11:20:41 +0200 |
Test_Isac doesn't work anymore
|
file | diff | annotate |
| Mon, 26 Aug 2013 10:52:54 +0200 |
GCD_Poly_ML: deleted unused code for cancellation and add.of.fract
|
file | diff | annotate |
| Sat, 24 Aug 2013 17:41:40 +0200 |
GCD_Poly_ML: integrated tests, reactivated test/../rational.sml
|
file | diff | annotate |
| Wed, 14 Aug 2013 14:32:18 +0200 |
tuned
|
file | diff | annotate |
| Thu, 25 Jul 2013 07:36:31 +0200 |
restructured files concerning "fun gcd_poly"
|
file | diff | annotate |
| Sun, 21 Jul 2013 15:11:01 +0200 |
merged
|
file | diff | annotate |
| Thu, 18 Jul 2013 14:31:58 +0200 |
tuned
|
file | diff | annotate |
| Sun, 21 Jul 2013 15:08:31 +0200 |
a bulky chunk of changes
|
file | diff | annotate |
| Thu, 18 Jul 2013 14:26:49 +0200 |
GCD_Poly trials with naive Euclidean Algorithm
|
file | diff | annotate |
| Thu, 11 Jul 2013 16:58:31 +0200 |
end of improving tests for isac on Isabelle2012
|
file | diff | annotate |
| Sun, 30 Jun 2013 17:27:34 +0200 |
Test_Isac.thy without errors on Isabelle2012, calchead.sml:
|
file | diff | annotate |
| Fri, 21 Jun 2013 11:19:18 +0200 |
Test_Isac.thy without errors on Isabelle2012, intermediate
|
file | diff | annotate |
| Fri, 21 Jun 2013 08:06:16 +0200 |
plans for isac's transitions Isabelle2011-->12 in more detail; errors in tests
|
file | diff | annotate |
| Fri, 21 Jun 2013 06:51:11 +0200 |
irrelevant cleaning
|
file | diff | annotate |
| Tue, 18 Jun 2013 17:56:09 +0200 |
tuned
|
file | diff | annotate |
| Tue, 18 Jun 2013 17:51:36 +0200 |
Test_Isac.thy started in Isabelle2012
|
file | diff | annotate |
| Sun, 16 Jun 2013 13:18:10 +0200 |
tuned
|
file | diff | annotate |
| Sun, 16 Jun 2013 13:10:32 +0200 |
Isabelle2011 --> 2012 intermediate: find appropriate Isac binary
|
file | diff | annotate |
| Thu, 24 Jan 2013 17:17:03 +0100 |
GCD_Poly ML-->Isabelle: until fun %-%
|
file | diff | annotate |
| Mon, 06 Aug 2012 16:38:37 +0200 |
added test --- UC errpat, fillpat step to Rewrite_Set ---
|
file | diff | annotate |
| Mon, 06 Aug 2012 10:38:11 +0200 |
PROVISIONALLY MADE TESTS RUN with Unsynchronized.ref
|
file | diff | annotate |
| Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
| Wed, 16 May 2012 15:47:22 +0200 |
extended "type met" with errpats
|
file | diff | annotate |
| Fri, 04 May 2012 17:33:31 +0200 |
prep met ["SignalProcessing", "Z_Transform", "Inverse_sub"]
|
file | diff | annotate |
| Fri, 04 May 2012 08:51:42 +0200 |
made 3 exps SignalProcessing run
|
file | diff | annotate |
| Tue, 10 Apr 2012 09:31:21 +0200 |
xml-files created from Knowledge (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Thu, 05 Apr 2012 11:31:56 +0200 |
thydata created (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Tue, 20 Mar 2012 15:32:17 +0100 |
intermed. fun the_hier, build thy-hierarchy
|
file | diff | annotate |
| Sat, 17 Mar 2012 13:43:24 +0100 |
tuned
|
file | diff | annotate |
| Sat, 17 Mar 2012 13:33:25 +0100 |
uncomment test/../simplify,atools.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Sat, 17 Mar 2012 12:52:30 +0100 |
uncomment test/../root,equation,poly.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Sat, 17 Mar 2012 11:06:46 +0100 |
uncomment test/../rateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Wed, 14 Mar 2012 17:12:43 +0100 |
uncomment test/../rootrateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Wed, 14 Mar 2012 11:11:54 +0100 |
Test_Isac.thy had ad typo.
|
file | diff | annotate |
| Wed, 14 Mar 2012 10:59:36 +0100 |
uncomment test/../eqsystem.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Tue, 13 Mar 2012 15:04:09 +0100 |
uncomment test/../ptyps.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Sat, 10 Mar 2012 09:41:09 +0100 |
uncomment test/../biegelinie (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Tue, 06 Mar 2012 14:25:08 +0100 |
intermed. test/../biegelinie.sml
|
file | diff | annotate |
| Sun, 19 Feb 2012 10:03:51 +0100 |
protocol dmeindl, decomment Test_Isac
|
file | diff | annotate |
| Sat, 07 Jan 2012 10:06:06 +0100 |
invisible changes in calculations are possible now.
|
file | diff | annotate |
| Fri, 14 Oct 2011 16:12:50 +0200 |
begin repair test/../intergrate.sml
|
file | diff | annotate |
| Fri, 14 Oct 2011 14:33:25 +0200 |
end repair test/../polyeq.sml
|
file | diff | annotate |