Tue, 04 Feb 2020 17:11:54 +0100 |
lucin: rename central structure to Lucin
|
file | diff | annotate |
Thu, 23 Jan 2020 11:12:09 +0100 |
repair last changeset, rename set_skip -> set_found (according last change)
|
file | diff | annotate |
Thu, 23 Jan 2020 10:48:57 +0100 |
lucin: renaming due to simpler scanning (Istate .. found_accept)
|
file | diff | annotate |
Wed, 22 Jan 2020 17:32:45 +0100 |
lucin: simpler Lucin.scan_up works, but ERROR "LI.find_next_step without result" outcommented
|
file | diff | annotate |
Tue, 21 Jan 2020 09:09:11 +0100 |
lucin: towards simplifying Lucin.scan*
|
file | diff | annotate |
Fri, 17 Jan 2020 13:47:19 +0100 |
lucin: cleanup code
|
file | diff | annotate |
Fri, 17 Jan 2020 12:37:21 +0100 |
lucin: renaming
|
file | diff | annotate |
Wed, 15 Jan 2020 13:50:16 +0100 |
lucin: rename completed
|
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 16:58:36 +0100 |
shift code from mathengine-stateless.sml to Step.do_next
|
file | diff | annotate |
Mon, 23 Dec 2019 16:38:09 +0100 |
rm code replaced in previous change set
|
file | diff | annotate |
Sat, 21 Dec 2019 18:05:13 +0100 |
lucin: unify do_next postponed
|
file | diff | annotate |
Sat, 21 Dec 2019 16:45:10 +0100 |
lucin: unify do_next, partially
|
file | diff | annotate |
Fri, 20 Dec 2019 10:24:52 +0100 |
ok again Test_Isac_Short since last 2 change sets
|
file | diff | annotate |
Fri, 20 Dec 2019 09:41:11 +0100 |
remove unused fun mk_tac'_, get_form
|
file | diff | annotate |
Thu, 19 Dec 2019 17:37:25 +0100 |
lucin: unify fun.ids. for locate_input_tactic
|
file | diff | annotate |
Thu, 19 Dec 2019 16:41:57 +0100 |
cleanup fun solve, shift from Solve --> Step_Solve
|
file | diff | annotate |
Wed, 18 Dec 2019 11:31:31 +0100 |
lucin: plan for new identifiers of steps
|
file | diff | annotate |
Tue, 17 Dec 2019 16:31:46 +0100 |
lucin: shift Istate into Interpret/ from MathEngBasic
|
file | diff | annotate |
Mon, 16 Dec 2019 14:03:16 +0100 |
lucin: re-build determine_next_tactic, "ONE ERROR" outcommented
|
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 |
Tue, 26 Nov 2019 17:37:17 +0100 |
lucin: improve readability
|
file | diff | annotate |
Mon, 25 Nov 2019 16:39:52 +0100 |
lucin: renaming in scanning the parse-tree
|
file | diff | annotate |
Thu, 21 Nov 2019 15:31:32 +0100 |
lucin: shift datatype, rename
|
file | diff | annotate |
Tue, 19 Nov 2019 14:19:44 +0100 |
lucin: improve naming for constructors in scans
|
file | diff | annotate |
Wed, 13 Nov 2019 16:47:34 +0100 |
lucin: remove step-construction by Rrls
|
file | diff | annotate |
Wed, 13 Nov 2019 15:52:03 +0100 |
lucin: renaming in structure Istate
|
file | diff | annotate |
Wed, 13 Nov 2019 10:21:51 +0100 |
separate structure Pos: POSITION
|
file | diff | annotate |
Thu, 07 Nov 2019 11:49:00 +0100 |
lucin: remove step-construction by Rrls
|
file | diff | annotate |
Thu, 07 Nov 2019 10:43:32 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
Thu, 07 Nov 2019 09:22:05 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
Thu, 07 Nov 2019 07:39:58 +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 |
Mon, 04 Nov 2019 09:04:23 +0100 |
[Test_Isac] lucin: reorganise args of appy, assy & Co
|
file | diff | annotate |
Thu, 31 Oct 2019 13:38:25 +0100 |
[Test_Isac] lucin: make istate a record for pattern matching
|
file | diff | annotate |
Thu, 31 Oct 2019 10:42:39 +0100 |
save forgotten files
|
file | diff | annotate |
Thu, 31 Oct 2019 10:41:42 +0100 |
lucin: extend Pstate with an additional flag
|
file | diff | annotate |
Wed, 30 Oct 2019 11:02:41 +0100 |
lucin: extend istate with rule-set vor evaluation
|
file | diff | annotate |
Fri, 25 Oct 2019 15:06:08 +0200 |
lucin: remove old args in appy & Co
|
file | diff | annotate |
Tue, 22 Oct 2019 17:35:50 +0200 |
lucin: prep. tests for appy & Co with interpretere-state
|
file | diff | annotate |
Sat, 19 Oct 2019 18:19:16 +0200 |
lucin: introduce interpreter-state to appy & Co
|
file | diff | annotate |
Sat, 19 Oct 2019 15:05:02 +0200 |
renaming
|
file | diff | annotate |
Sat, 19 Oct 2019 14:59:09 +0200 |
lucin: assimilate signatures
|
file | diff | annotate |
Fri, 18 Oct 2019 16:18:14 +0200 |
lucin: cleanup args in lucas-interpreter, preps 2
|
file | diff | annotate |
Wed, 16 Oct 2019 16:20:21 +0200 |
lucin: cleanup return values of locate_input_tactic
|
file | diff | annotate |
Tue, 01 Oct 2019 10:47:25 +0200 |
lucin: drop unused bool argument in tactic Rewrite*Inst
|
file | diff | annotate |
Fri, 13 Sep 2019 18:35:51 +0200 |
lucin: cleanup thys in ProgLang, in particular Aut_Prog.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 |
Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
Thu, 22 Aug 2019 15:56:48 +0200 |
lucin: pair relevant args. in associate
|
file | diff | annotate |
Thu, 22 Aug 2019 12:18:58 +0200 |
lucin: renaming from "script" to "program"
|
file | diff | annotate |
Thu, 22 Aug 2019 11:26:14 +0200 |
lucin: clarify initialisation of ctxt by ContextC.initialise, initialise'
|
file | diff | annotate |
Tue, 13 Aug 2019 09:19:33 +0200 |
[Text_Isac/../inverse_z_transform.sml] lucin: prep. "fun associate" for sig. locate_input_tactic
|
file | diff | annotate |
Wed, 24 Jul 2019 15:28:11 +0200 |
lucin: rename assod --> associate
|
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 |