Wed, 11 Apr 2018 14:44:46 +0200 |
partial_function: start cleaning programs, biegelinie for paper
|
file | diff | annotate |
Wed, 04 Apr 2018 12:41:03 +0200 |
clean theory dependencies, finished: Test_Isac ok
|
file | diff | annotate |
Mon, 26 Mar 2018 16:25:01 +0200 |
LibraryC: clean source file done
|
file | diff | annotate |
Mon, 26 Mar 2018 09:20:09 +0200 |
Rule: Test_Isac works completely
|
file | diff | annotate |
Sat, 24 Mar 2018 14:34:47 +0100 |
Celem: Test_Isac works completely
|
file | diff | annotate |
Fri, 23 Mar 2018 10:14:39 +0100 |
Celem: Test_Isac partially
|
file | diff | annotate |
Thu, 15 Mar 2018 15:48:52 +0100 |
Celem: tests within imports work, except All_Ctxt
|
file | diff | annotate |
Tue, 13 Mar 2018 14:41:02 +0100 |
TermC: clean test files, Test_Isac OK
|
file | diff | annotate |
Tue, 13 Mar 2018 09:09:14 +0100 |
TermC: num_str was lost; re-established more than necessary; Test_Isac works
|
file | diff | annotate |
Sat, 10 Mar 2018 17:20:15 +0100 |
TermC: clean tests, partially
|
file | diff | annotate |
Thu, 08 Mar 2018 12:30:46 +0100 |
TermC: prep. comparing tests isabisac <--> isabisac15
|
file | diff | annotate |
Thu, 08 Mar 2018 07:52:06 +0100 |
TermC: error caused by broken test shows: get_theory "Pure" ...
|
file | diff | annotate |
Thu, 08 Mar 2018 07:28:17 +0100 |
TermC: push struct to tests, 3 broken and collected in Test_Isac.
|
file | diff | annotate |
Sun, 25 Feb 2018 16:31:17 +0100 |
Calc: cleanup test file
|
file | diff | annotate |
Sun, 25 Feb 2018 10:19:18 +0100 |
Rewrite: clean tests
|
file | diff | annotate |
Wed, 14 Feb 2018 15:59:00 +0100 |
prep. opening LTool for test/
|
file | diff | annotate |
Wed, 14 Feb 2018 10:54:53 +0100 |
/----- finish update Isabelle2015 --> Isabelle2017
|
file | diff | annotate |
Wed, 14 Feb 2018 10:50:12 +0100 |
Isabelle2015->17: "biegelinie" is broken
|
file | diff | annotate |
Wed, 14 Feb 2018 06:06:27 +0100 |
Isabelle2015->17: completed "normalise" cf. fb6f5ef2c647
|
file | diff | annotate |
Tue, 13 Feb 2018 16:17:59 +0100 |
Isabelle2015->17: simplification of rationals changed
|
file | diff | annotate |
Tue, 13 Feb 2018 15:25:16 +0100 |
Isabelle2015->17: fix not checked with PCD_Poly_ML.thy
|
file | diff | annotate |
Tue, 13 Feb 2018 15:14:55 +0100 |
Isabelle2015->17: "normalize" as identifier causes type clash now, etc
|
file | diff | annotate |
Sat, 10 Feb 2018 16:21:12 +0100 |
Isabelle2015->17: fix error introduced by 'session identifiers' 172b53399454
|
file | diff | annotate |
Fri, 09 Feb 2018 12:12:25 +0100 |
Isabelle2015->17: imports of Text_Isac work again
|
file | diff | annotate |
Fri, 09 Feb 2018 12:00:21 +0100 |
Isabelle2015->17: Minisubpbl works due to previous fixes
|
file | diff | annotate |
Fri, 09 Feb 2018 11:57:24 +0100 |
Isabelle2015->17: tests work down to Minisubpbl
|
file | diff | annotate |
Fri, 09 Feb 2018 11:45:53 +0100 |
Isabelle2015->17: applied 172b53399454 (on src/) on test/ too
|
file | diff | annotate |
Thu, 08 Feb 2018 13:20:40 +0100 |
Isabelle2015->17: test setup for calculate
|
file | diff | annotate |
Thu, 08 Feb 2018 12:49:52 +0100 |
Isabelle2015->17: thm changed
|
file | diff | annotate |
Wed, 07 Feb 2018 15:00:37 +0100 |
Isabelle2015->17: new negation "~ " --> "<not> "
|
file | diff | annotate |
Wed, 07 Feb 2018 13:06:27 +0100 |
Isabelle2015->17: test setup for ADDTESTS/All_Ctxt, fst error in "ProgLang/termC.sml"
|
file | diff | annotate |
Fri, 19 Jan 2018 12:52:09 +0100 |
merged
|
file | diff | annotate |
Thu, 18 Jan 2018 15:17:59 +0100 |
store the current working directory
|
file | diff | annotate |
Wed, 17 Jan 2018 17:25:26 +0100 |
comments on Isac's test setup
|
file | diff | annotate |
Thu, 18 Jan 2018 15:25:39 +0100 |
comments on test setup
|
file | diff | annotate |
Wed, 31 May 2017 14:58:38 +0200 |
fun scala_of_term for testing proto4
|
file | diff | annotate |
Tue, 07 Feb 2017 08:57:42 +0100 |
separate structure Model : MODEL
|
file | diff | annotate |
Sat, 04 Feb 2017 07:20:39 +0100 |
separate structure Stool : SPECIFY_TOOL
|
file | diff | annotate |
Sat, 21 Jan 2017 11:30:18 +0100 |
prep 2 for structure Tac : TACTIC
|
file | diff | annotate |
Sat, 21 Jan 2017 10:25:19 +0100 |
prep 1 for structure Tac : TACTIC
|
file | diff | annotate |
Mon, 09 Jan 2017 14:47:24 +0100 |
--- Test_Isac fails, restart stepwise
|
file | diff | annotate |
Wed, 28 Dec 2016 13:07:17 +0100 |
replaced ctree.sml by basic-ctree.sml before separation
|
file | diff | annotate |
Thu, 22 Dec 2016 10:25:49 +0100 |
--- closed structure Ctree
|
file | diff | annotate |
Wed, 21 Dec 2016 09:21:26 +0100 |
added structure Solve INTERMEDIATELY
|
file | diff | annotate |
Wed, 21 Dec 2016 08:57:47 +0100 |
added structure Applicable INTERMEDIATELY
|
file | diff | annotate |
Sun, 18 Dec 2016 16:27:41 +0100 |
added structure Specify : MODEL_SPECIFY
|
file | diff | annotate |
Wed, 14 Dec 2016 09:37:01 +0100 |
added structure Ctree : CALC_TREE
|
file | diff | annotate |
Mon, 12 Dec 2016 18:08:13 +0100 |
added structure Chead : CALC_HEAD
|
file | diff | annotate |
Wed, 30 Nov 2016 12:09:24 +0100 |
added structure Rtools : REWRITE_TOOLS
|
file | diff | annotate |
Thu, 24 Nov 2016 14:33:42 +0100 |
added structure Inform : INPUT_FORMULAS
|
file | diff | annotate |
Tue, 22 Nov 2016 10:42:21 +0100 |
added structure Math_Engine : MATH_ENGINE
|
file | diff | annotate |
Mon, 21 Nov 2016 12:47:02 +0100 |
added structure Kernel: KERNEL
|
file | diff | annotate |
Thu, 17 Nov 2016 16:40:27 +0100 |
close structures again after Test_Isac
|
file | diff | annotate |
Mon, 14 Nov 2016 15:51:10 +0100 |
LUCAS_INTERPRETER works in tests
|
file | diff | annotate |
Tue, 18 Oct 2016 12:05:03 +0200 |
back-track after desing error in previous changeset
|
file | diff | annotate |
Wed, 05 Oct 2016 13:09:54 +0200 |
cleaned tests from autoCalculate' (removed ')
|
file | diff | annotate |
Thu, 25 Aug 2016 14:57:58 +0200 |
insertion sort RUNs by rewriting
|
file | diff | annotate |
Tue, 12 Jan 2016 19:47:59 +0100 |
tuned
|
file | diff | annotate |
Mon, 21 Dec 2015 13:58:02 +0100 |
Isabelle2014-->2015: dropped tests not required any more
|
file | diff | annotate |
Tue, 06 Oct 2015 09:34:43 +0200 |
PIDE: (Knowledge-)Context works also for met
|
file | diff | annotate |