Mon, 22 Jun 2015 08:27:30 +0200 |
PIDE: mini-test started
|
file | diff | annotate |
Mon, 18 May 2015 14:08:09 +0200 |
outcomment parallelism for simplifying integration of libisabelle
|
file | diff | annotate |
Fri, 08 May 2015 16:16:39 +0200 |
Isabelle2013-2 --> 2014: Test_Isac is perfect again
|
file | diff | annotate |
Fri, 08 May 2015 13:31:53 +0200 |
=== isabelle tty --> libisabelle: test example for isac-java's migration
|
file | diff | annotate |
Thu, 23 Oct 2014 16:58:03 +0200 |
tuned
|
file | diff | annotate |
Thu, 23 Oct 2014 16:44:32 +0200 |
reactivated tests for context_thy
|
file | diff | annotate |
Fri, 13 Jun 2014 12:42:15 +0200 |
autoCalculate now parallelized
|
file | diff | annotate |
Thu, 12 Jun 2014 21:59:15 +0200 |
calls to ML_Context.the_generic_context removed from KEStore.thy because they did not work when called from within a future. However, there are still five instances in other locations yet to be removed.
|
file | diff | annotate |
Wed, 04 Jun 2014 17:41:09 +0200 |
ad 967c8a1eb6b1 (1): adapted tests partially
|
file | diff | annotate |
Mon, 17 Mar 2014 15:20:15 +0100 |
re-establish tests for thehier
|
file | diff | annotate |
Sun, 02 Feb 2014 02:43:04 +0100 |
ad 967c8a1eb6b1 (2): added missing analog for 'insert_errpats' with 'mets' Theory_Data
|
file | diff | annotate |
Sun, 02 Feb 2014 01:15:13 +0100 |
ad 967c8a1eb6b1 (2b): in tests, add functions accessing Theory_Data in parallel to those accessing 'mets = Unsynchronized.ref'
|
file | diff | annotate |
Tue, 28 Jan 2014 08:21:45 +0100 |
adapted test setup for test
|
file | diff | annotate |
Tue, 28 Jan 2014 07:37:27 +0100 |
tuned e8d9d194a96f
|
file | diff | annotate |
Tue, 28 Jan 2014 07:04:48 +0100 |
adapted test setup for tests restored in e8d9d194a96f
|
file | diff | annotate |
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 |