| Wed, 15 Apr 2020 11:37:43 +0200 |
cleanup
|
file | diff | annotate |
| Fri, 10 Apr 2020 15:02:50 +0200 |
rename directory CalcElements to BaseDefinitions
|
file | diff | annotate |
| Fri, 10 Apr 2020 14:46:55 +0200 |
rearrange code for ThmC
|
file | diff | annotate |
| Thu, 09 Apr 2020 11:21:53 +0200 |
separate struct. ThmC, Error_Fill_Def; unite error-pattern and fill-pattern
|
file | diff | annotate |
| Wed, 01 Apr 2020 18:54:03 +0200 |
renaming, cleanup
|
file | diff | annotate |
| Wed, 01 Apr 2020 10:24:13 +0200 |
renaming, cleanup
|
file | diff | annotate |
| Sat, 07 Mar 2020 17:11:55 +0100 |
cleanup LItool, begin
|
file | diff | annotate |
| Sat, 07 Mar 2020 15:37:37 +0100 |
further separate specify- and solve-phase
|
file | diff | annotate |
| Sat, 07 Mar 2020 11:54:13 +0100 |
cleanup ctxt: replace Ctree.update_ctxt by Ctree.cupdate_problem
|
file | diff | annotate |
| Wed, 04 Mar 2020 15:38:06 +0100 |
unify copy&paste-code in Sub_Problem.prog_to_tac
|
file | diff | annotate |
| Mon, 24 Feb 2020 17:51:26 +0100 |
prep.: add test-code and test, cleanup
|
file | diff | annotate |
| Fri, 07 Feb 2020 12:36:08 +0100 |
LI: rename Lucin to LI
|
file | diff | annotate |
| Tue, 04 Feb 2020 17:11:54 +0100 |
lucin: rename central structure to Lucin
|
file | diff | annotate |
| Wed, 22 Jan 2020 11:20:54 +0100 |
lucin: tests towards simpl. Lucin.scan*
|
file | diff | annotate |
| Fri, 17 Jan 2020 13:14:11 +0100 |
lucin: introduce Calc.T and Program.T
|
file | diff | annotate |
| Wed, 15 Jan 2020 12:12:44 +0100 |
lucin: rename fun *2 to fun * with expectation to unify fun * with fun *1
|
file | diff | annotate |
| Mon, 23 Dec 2019 15:41:36 +0100 |
separate Step_Specify, Step_Solve, Step for do_next and by_tactic
|
file | diff | annotate |
| Sat, 30 Nov 2019 15:43:14 +0100 |
lucin: prep. next_tactic_result, Accept_Tac2 takes ctxt in addition
|
file | diff | annotate |
| Fri, 29 Nov 2019 15:22:29 +0100 |
lucin: fun determine_next_tactic gets envisaged arguments
|
file | diff | annotate |
| Wed, 27 Nov 2019 18:47:26 +0100 |
lucin: push ctxt further into interpreter
|
file | diff | annotate |
| Thu, 07 Nov 2019 10:43:32 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
| Wed, 06 Nov 2019 15:08:27 +0100 |
lucin: args of appy, assy & Co reorganised
|
file | diff | annotate |
| Sat, 26 Oct 2019 13:03:16 +0200 |
separate common base for Specify and Interpret
|
file | diff | annotate |
| Thu, 17 Oct 2019 13:17:48 +0200 |
lucin: cleanup args in lucas-interpreter, preps
|
file | diff | annotate |
| Wed, 18 Sep 2019 16:28:49 +0200 |
tests run in Test_Isac with ML_system_64 = "true"
|
file | diff | annotate |
| Wed, 18 Sep 2019 12:15:59 +0200 |
tests run in Test_Isac with ML_system_64 = "true", still exception Size
|
file | diff | annotate |
| Tue, 17 Sep 2019 10:25:24 +0200 |
tests run in Text_Isac_Short.thy in x86_64_32 mode of Poly/ML 5.8
|
file | diff | annotate |
| Mon, 16 Sep 2019 20:40:33 +0200 |
[Test_Isac] notes and out-commenting in tests
|
file | diff | annotate |
| Fri, 13 Sep 2019 18:35:51 +0200 |
lucin: cleanup thys in ProgLang, in particular Aut_Prog.thy
|
file | diff | annotate |
| Thu, 12 Sep 2019 14:42:53 +0200 |
/----- finish update Isabelle2018 --> Isabelle2019 for Test_Isac.thy
|
file | diff | annotate |
| Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
| Thu, 29 Aug 2019 10:59:57 +0200 |
separate Prog_Tac.thy
|
file | diff | annotate |
| Wed, 28 Aug 2019 11:21:26 +0200 |
reorganised MathEngine/ BridgeLibisabelle/
|
file | diff | annotate |
| Tue, 27 Aug 2019 11:59:48 +0200 |
separate Specify/ from Interpret/
|
file | diff | annotate |
| Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
| Fri, 09 Aug 2019 14:04:13 +0200 |
separater structure ContextC
|
file | diff | annotate |
| Wed, 24 Jul 2019 11:30:59 +0200 |
lucin: separate interpreter-state and improve type-identifier
|
file | diff | annotate |
| Wed, 24 Jul 2019 10:35:19 +0200 |
lucin: improve type-identifiers for signatures
|
file | diff | annotate |
| Wed, 24 Jul 2019 09:32:17 +0200 |
lucin: improve signature of "fun locate_input_tactic"
|
file | diff | annotate |
| Thu, 04 Jul 2019 15:13:30 +0200 |
lucin: tuned
|
file | diff | annotate |
| Tue, 25 Jun 2019 16:21:18 +0200 |
lucin: adapt tests to new file src/../lucas-interpreter.sml
|
file | diff | annotate |
| Tue, 25 Jun 2019 12:48:24 +0200 |
lucin: rename 3 main functions of lucase-interpreter.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, 27 Mar 2019 11:20:43 +0100 |
[-Test_Isac] adapt add_fractions_p to AA
|
file | diff | annotate |
| Thu, 21 Mar 2019 17:51:18 +0100 |
[-Test_Isac] extend "is_polyexp (Const _) = true" for AA
|
file | diff | annotate |
| Thu, 28 Feb 2019 12:14:32 +0100 |
funpack: outcomment partial_function, further preps required
|
file | diff | annotate |
| Fri, 11 Jan 2019 15:45:55 +0100 |
[-Test_Isac] add test to Minisubpbl for interSteps
|
file | diff | annotate |
| Thu, 10 Jan 2019 18:17:48 +0100 |
[-Test_Isac] funpack: adapt substitution to type "char string"
|
file | diff | annotate |
| Mon, 31 Dec 2018 14:49:16 +0100 |
[-Test_Isac] add an overlooked structure
|
file | diff | annotate |
| Wed, 12 Dec 2018 19:39:51 +0100 |
[-Test_Isac] funpack: Minisubpbl/250-Rewrite_Set-from-method works again
|
file | diff | annotate |
| Tue, 11 Dec 2018 12:17:12 +0100 |
[-Test_Isac] funpack: Minisubpbl/200-start-method works again
|
file | diff | annotate |
| Wed, 21 Nov 2018 12:32:54 +0100 |
update to new Isabelle conventions: {*...*} to \<open>...\<close>
|
file | diff | annotate |
| Wed, 29 Aug 2018 11:27:22 +0200 |
------ finish update Isabelle2017 --> Isabelle2018 for Test_Isac.thy
|
file | diff | annotate |
| Tue, 28 Aug 2018 13:34:22 +0200 |
Isabelle2017->18: adapt to more rigorous session handling
|
file | diff | annotate |
| Mon, 27 Aug 2018 17:14:23 +0200 |
Isabelle2017->18: Test_Isac.thy for request at isabelle-users@
|
file | diff | annotate |
| Mon, 27 Aug 2018 15:57:45 +0200 |
sabelle2017->18: for Test_Isac.thy minor changes
|
file | diff | annotate |
| Fri, 24 Aug 2018 13:05:00 +0200 |
Isabelle2017->18: for Test_Isac.thy adapt new form of imports
|
file | diff | annotate |
| Wed, 22 Aug 2018 12:47:25 +0200 |
final isabisac17 on Isabelle2017
|
file | diff | annotate |
| 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 |