| Sun, 09 Feb 2020 12:48:18 +0100 |
cleanup TODOs
|
file | diff | annotate |
| Sat, 08 Feb 2020 16:33:27 +0100 |
step separated wrt Solve .. Specify
|
file | diff | annotate |
| Sat, 08 Feb 2020 12:41:27 +0100 |
LI: prep. test to re-build locate_input_term
|
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 |
| 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 |
| Wed, 22 Jan 2020 11:44:56 +0100 |
lucin: Accept_Tac sets to Skip_ (later: found = true) instead of AppUndef_ (later false)
|
file | diff | annotate |
| Wed, 22 Jan 2020 11:20:54 +0100 |
lucin: tests towards simpl. Lucin.scan*
|
file | diff | annotate |
| Tue, 21 Jan 2020 09:09:11 +0100 |
lucin: towards simplifying Lucin.scan*
|
file | diff | annotate |
| Mon, 20 Jan 2020 14:38:46 +0100 |
determine structure for TODO.thy
|
file | diff | annotate |
| Mon, 20 Jan 2020 11:48:59 +0100 |
postpone separation of Tactic
|
file | diff | annotate |
| Mon, 20 Jan 2020 11:11:56 +0100 |
lucin: cleanup Istate (doubled code in Istate_Def)
|
file | diff | annotate |
| Fri, 17 Jan 2020 14:10:10 +0100 |
tuned
|
file | diff | annotate |
| Fri, 17 Jan 2020 13:47:19 +0100 |
lucin: cleanup code
|
file | diff | annotate |
| Fri, 17 Jan 2020 13:14:11 +0100 |
lucin: introduce Calc.T and Program.T
|
file | diff | annotate |
| Fri, 17 Jan 2020 12:37:21 +0100 |
lucin: renaming
|
file | diff | annotate |
| Thu, 16 Jan 2020 15:17:06 +0100 |
just notes
|
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 |
| Wed, 15 Jan 2020 11:47:38 +0100 |
preps for IJCAR paper
|
file | diff | annotate |
| Mon, 23 Dec 2019 16:38:09 +0100 |
rm code replaced in previous change set
|
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 |
| Mon, 23 Dec 2019 11:12:24 +0100 |
lucin: unify signatures of Step*
|
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 |
| Thu, 19 Dec 2019 17:37:25 +0100 |
lucin: unify fun.ids. for locate_input_tactic
|
file | diff | annotate |
| Thu, 19 Dec 2019 16:53:52 +0100 |
lucin: update TODO
|
file | diff | annotate |
| Thu, 19 Dec 2019 16:41:57 +0100 |
cleanup fun solve, shift from Solve --> Step_Solve
|
file | diff | annotate |
| Thu, 19 Dec 2019 12:40:17 +0100 |
lucin: various investigations (a chaos change set)
|
file | diff | annotate |
| Wed, 18 Dec 2019 14:48:43 +0100 |
cleanup, unify code for Check_Postcond'
|
file | diff | annotate |
| Wed, 18 Dec 2019 11:34:10 +0100 |
tuned
|
file | diff | annotate |
| Wed, 18 Dec 2019 11:31:31 +0100 |
lucin: plan for new identifiers of steps
|
file | diff | annotate |
| Wed, 18 Dec 2019 11:02:32 +0100 |
hack until review of Specify
|
file | diff | annotate |
| Tue, 17 Dec 2019 17:52:48 +0100 |
revert previous changeset, see TODO.thy
|
file | diff | annotate |
| Tue, 17 Dec 2019 16:33:24 +0100 |
tuned
|
file | diff | annotate |
| Mon, 16 Dec 2019 15:56:20 +0100 |
rollback
|
file | diff | annotate |
| Mon, 16 Dec 2019 14:03:16 +0100 |
lucin: re-build determine_next_tactic, "ONE ERROR" outcommented
|
file | diff | annotate |
| Sat, 14 Dec 2019 13:36:40 +0100 |
remove tracing, which interfere with current investigations
|
file | diff | annotate |
| Fri, 13 Dec 2019 15:56:10 +0100 |
lucin: prep.re-build of determine_next_tactic in Test_Some.thy: return values used
|
file | diff | annotate |
| Thu, 12 Dec 2019 10:09:29 +0100 |
lucin: cleanup fun interpret_leaf
|
file | diff | annotate |
| Sat, 30 Nov 2019 17:03:49 +0100 |
lucin: code cleanup
|
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 16:12:25 +0100 |
[Test_Isac] lucin: revise Pstate {or, ...}, see TODO.thy
|
file | diff | annotate |
| Wed, 13 Nov 2019 15:27:17 +0100 |
renaming in structure Env
|
file | diff | annotate |
| Wed, 13 Nov 2019 12:06:40 +0100 |
lucin: suppose determine_next_tactic unnecessary in solve Apply_Method'
|
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 |
| Wed, 30 Oct 2019 11:02:41 +0100 |
lucin: extend istate with rule-set vor evaluation
|
file | diff | annotate |
| Sun, 27 Oct 2019 12:10:57 +0100 |
lucin: replace Istate.safe by Istate.appy_
|
file | diff | annotate |
| Fri, 25 Oct 2019 10:11:55 +0200 |
lucin: appy & Co with istate + old args works
|
file | diff | annotate |
| Sat, 19 Oct 2019 15:05:02 +0200 |
renaming
|
file | diff | annotate |
| Fri, 18 Oct 2019 16:18:14 +0200 |
lucin: cleanup args in lucas-interpreter, preps 2
|
file | diff | annotate |
| Thu, 17 Oct 2019 13:17:48 +0200 |
lucin: cleanup args in lucas-interpreter, preps
|
file | diff | annotate |
| Thu, 10 Oct 2019 19:54:51 +0200 |
[Test_Isac] NEW locate_input_tactic works except 3 tests in Knowledge/polyminus.sml
|
file | diff | annotate |
| Mon, 07 Oct 2019 11:11:32 +0200 |
tuned
|
file | diff | annotate |
| Wed, 02 Oct 2019 16:02:17 +0200 |
lucin: use #> in Program in analogy to #> in Isabelle/ML
|
file | diff | annotate |
| Wed, 02 Oct 2019 15:14:51 +0200 |
lucin: generalise bound variable in Prog_Tac.Rewrite*Inst
|
file | diff | annotate |
| Tue, 01 Oct 2019 10:47:25 +0200 |
lucin: drop unused bool argument in tactic Rewrite*Inst
|
file | diff | annotate |
| Thu, 26 Sep 2019 17:47:10 +0200 |
adaptations for paper lucin-isa.tex
|
file | diff | annotate |