Thu, 11 Jul 2013 16:58:31 +0200 |
end of improving tests for isac on Isabelle2012
|
file | diff | annotate |
Fri, 21 Jun 2013 11:19:18 +0200 |
Test_Isac.thy without errors on Isabelle2012, intermediate
|
file | diff | annotate |
Mon, 24 Sep 2012 09:20:21 +0200 |
meeting dmeindl: Test_Isac.thy ok
|
file | diff | annotate |
Thu, 20 Sep 2012 10:07:02 +0200 |
added error-pattern "addition-of-fractions"
|
file | diff | annotate |
Mon, 06 Aug 2012 16:38:37 +0200 |
added test --- UC errpat, fillpat step to Rewrite_Set ---
|
file | diff | annotate |
Mon, 30 Jul 2012 16:41:08 +0200 |
findFillpatterns: repaired signature
|
file | diff | annotate |
Sun, 29 Jul 2012 16:29:04 +0200 |
prepare for stepToErrorPattern
|
file | diff | annotate |
Fri, 27 Jul 2012 08:24:25 +0200 |
thms for Rational.thy
|
file | diff | annotate |
Wed, 13 Jun 2012 07:28:39 +0200 |
first dialog sequence for error patterns
|
file | diff | annotate |
Fri, 25 May 2012 16:30:15 +0200 |
added "fun inputFillFormula"
|
file | diff | annotate |
Tue, 22 May 2012 13:40:06 +0200 |
added "fun requestFillformula"
|
file | diff | annotate |
Mon, 21 May 2012 16:56:01 +0200 |
added fun FindFillpatterns
|
file | diff | annotate |
Sat, 17 Mar 2012 11:06:46 +0100 |
uncomment test/../rateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Sun, 19 Feb 2012 10:03:51 +0100 |
protocol dmeindl, decomment Test_Isac
|
file | diff | annotate |
Fri, 14 Oct 2011 16:12:50 +0200 |
begin repair test/../intergrate.sml
|
file | diff | annotate |
Sat, 10 Sep 2011 10:37:24 +0200 |
method ["PolyEq", "solve_d2_polyeq_pq_equation"] works for jrocnik
|
file | diff | annotate |
Thu, 28 Jul 2011 11:37:05 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
Thu, 28 Jul 2011 11:27:04 +0200 |
completed praktikum
|
file | diff | annotate |
Wed, 27 Jul 2011 16:56:45 +0200 |
tuned
|
file | diff | annotate |
Wed, 27 Jul 2011 16:48:12 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
Thu, 21 Jul 2011 12:01:56 +0200 |
merged
|
file | diff | annotate |
Thu, 21 Jul 2011 11:55:38 +0200 |
finished test/../interface.sml
|
file | diff | annotate |
Thu, 21 Jul 2011 11:19:01 +0200 |
tuned
|
file | diff | annotate |
Thu, 21 Jul 2011 11:13:48 +0200 |
tuned
|
file | diff | annotate |
Thu, 21 Jul 2011 10:51:48 +0200 |
tuned
|
file | diff | annotate |
Thu, 21 Jul 2011 09:20:37 +0200 |
intermed: uncomment test/../interface
|
file | diff | annotate |
Thu, 21 Jul 2011 08:41:28 +0200 |
intermed: uncomment test/../interface
|
file | diff | annotate |
Wed, 20 Jul 2011 16:53:39 +0200 |
intermed: uncomment test/../interface No Errors
|
file | diff | annotate |
Wed, 20 Jul 2011 14:55:29 +0200 |
removed error in some PolyEq.program
|
file | diff | annotate |
Wed, 20 Jul 2011 11:47:32 +0200 |
start chuber
|
file | diff | annotate |
Wed, 20 Jul 2011 09:33:20 +0200 |
demo: step into error
|
file | diff | annotate |
Tue, 19 Jul 2011 17:03:02 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
Tue, 19 Jul 2011 14:01:27 +0200 |
test/../* "equality (1+-1*2+x=0)" --> "equality (1+-1*2+x=(0::real))",
|
file | diff | annotate |
Tue, 19 Jul 2011 13:07:28 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
Tue, 19 Jul 2011 09:53:30 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
Tue, 19 Jul 2011 09:43:01 +0200 |
intermed: uncomment tests with CompleteCalc
|
file | diff | annotate |
Mon, 18 Jul 2011 17:21:21 +0200 |
intermed: test/../Frontend/interface.sml
|
file | diff | annotate |
Tue, 28 Jun 2011 15:14:00 +0200 |
intermed: make autocalc..CompleteCalc run with x+1=2
|
file | diff | annotate |
Thu, 23 Jun 2011 10:17:04 +0200 |
intermed: update test/..Frontend/interface.sml
|
file | diff | annotate |
Mon, 20 Jun 2011 17:33:06 +0200 |
intermed: bakk msteger
|
file | diff | annotate |
Tue, 03 May 2011 16:23:07 +0200 |
tuned
|
file | diff | annotate |
Tue, 03 May 2011 16:20:55 +0200 |
provided all "x+1=2" with typeconstraint real ("equality" is just bool)
|
file | diff | annotate |
Mon, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
file | diff | annotate |
Thu, 10 Mar 2011 17:05:09 +0100 |
intermed.update Isabelle2011: Not --> HOL.Not
|
file | diff | annotate |
Wed, 03 Nov 2010 11:54:53 +0100 |
----- final tests go through (test/../interface.sml)
|
file | diff | annotate |
Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
Sun, 10 Oct 2010 14:15:43 +0200 |
update finished for test/../integrate.sml
|
file | diff | annotate |
Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |