| Mon, 01 Jan 2024 11:31:16 +0100 |
wneuper |
Doc/Specify_Phase 4: start use antiquotations from isar-ref
default tip
|
changeset |
files
|
| Sun, 31 Dec 2023 15:13:39 +0100 |
wneuper |
Doc/Specify_Phase 3: use antiquotations from Lucas_Interpreter
|
changeset |
files
|
| Sun, 31 Dec 2023 09:42:27 +0100 |
wneuper |
Doc/Specify_Phase 2: copy finished
|
changeset |
files
|
| Sat, 30 Dec 2023 17:52:03 +0100 |
wneuper |
Doc/Specify_Phase 1: first part copied from ThEdu'23 paper
|
changeset |
files
|
| Sat, 30 Dec 2023 16:49:50 +0100 |
wneuper |
bind Doc/Lucas_Interpreter and Doc/Specify_Phase into Test_Isac
|
changeset |
files
|
| Sat, 30 Dec 2023 07:07:58 +0100 |
wneuper |
update Lucas_Interpreter.thy
|
changeset |
files
|
| Sat, 30 Dec 2023 06:22:52 +0100 |
wneuper |
more TODO
|
changeset |
files
|
| Mon, 11 Dec 2023 17:26:30 +0100 |
wneuper |
eliminate the intermediate *_POS
|
changeset |
files
|
| Mon, 11 Dec 2023 16:18:42 +0100 |
wneuper |
repair settings ISABELLE_ISAC_TEST
|
changeset |
files
|
| Mon, 11 Dec 2023 16:12:53 +0100 |
wneuper |
PIDE turn 15: I_Model.T(_POS) stores Position.T for Specification
|
changeset |
files
|
| Mon, 11 Dec 2023 12:14:28 +0100 |
wneuper |
rollback
|
changeset |
files
|
| Mon, 11 Dec 2023 09:24:02 +0100 |
wneuper |
prepare 1: delete old code with I_Model.T (without Position.T)
|
changeset |
files
|
| Sun, 10 Dec 2023 17:35:07 +0100 |
wneuper |
PIDE turn 14: ALL src/* (except Ctree) with I_Model.T_POS exclusively
|
changeset |
files
|
| Sun, 10 Dec 2023 07:56:02 +0100 |
wneuper |
prepare 5: whole directory Specify/* with I_Model.T_POS exclusively
|
changeset |
files
|
| Thu, 07 Dec 2023 17:16:22 +0100 |
wneuper |
prepare 4: refine.sml with I_Model.T_POS exclusively
|
changeset |
files
|
| Thu, 07 Dec 2023 16:14:32 +0100 |
wneuper |
prepare 3: Tactic.T with I_Model.T_POS
|
changeset |
files
|
| Thu, 07 Dec 2023 11:54:42 +0100 |
wneuper |
prepare 2: p-spec.sml in Specify/ with I_Model.T_POS
|
changeset |
files
|
| Tue, 05 Dec 2023 18:15:45 +0100 |
wneuper |
prepare 1: towards I_Model.T_POS in Specify/ (and no I_Model.T)
|
changeset |
files
|
| Fri, 01 Dec 2023 06:08:22 +0100 |
wneuper |
PIDE turn 13: rename ALL(?) code already handling Position.T from *_TEST to *_POS
|
changeset |
files
|
| Fri, 01 Dec 2023 05:51:18 +0100 |
wneuper |
prepare 16: adapt Refine to variants
|
changeset |
files
|
| Thu, 30 Nov 2023 08:11:50 +0100 |
wneuper |
some renamings
|
changeset |
files
|
| Wed, 29 Nov 2023 07:51:28 +0100 |
wneuper |
prepare 15: adapt M_Match.by_o_model to varaints
|
changeset |
files
|
| Sat, 25 Nov 2023 15:33:14 +0100 |
wneuper |
followup 4: cleanup new code
|
changeset |
files
|
| Fri, 24 Nov 2023 15:34:07 +0100 |
wneuper |
followup 3: repair new fill_from_o, uncomment maximum of tests
|
changeset |
files
|
| Mon, 20 Nov 2023 10:49:54 +0100 |
wneuper |
followup 2: un-comment / investigate tests, part.review TODO.md
|
changeset |
files
|
| Sun, 19 Nov 2023 07:51:41 +0100 |
wneuper |
followup 1: improve new code
|
changeset |
files
|
| Thu, 16 Nov 2023 08:15:46 +0100 |
wneuper |
prepare 14: improved item_to_add
|
changeset |
files
|
| Sun, 29 Oct 2023 07:14:14 +0100 |
wneuper |
prepare 13: improved max_variants
|
changeset |
files
|
| Thu, 26 Oct 2023 10:29:17 +0200 |
wneuper |
tuned
|
changeset |
files
|
| Wed, 25 Oct 2023 12:34:12 +0200 |
wneuper |
prepare 12: M_Model.match_itms_oris takes Position.T and new max_mariants
|
changeset |
files
|
| Tue, 03 Oct 2023 16:33:54 +0200 |
wneuper |
umpdate TODO.md
|
changeset |
files
|
| Tue, 03 Oct 2023 16:31:59 +0200 |
wneuper |
prepare 11: eliminate intermediate I_Model.of_max_variant
|
changeset |
files
|
| Mon, 02 Oct 2023 15:39:22 +0200 |
wneuper |
prepare 11: clean up new code 1
|
changeset |
files
|
| Mon, 02 Oct 2023 12:02:59 +0200 |
wneuper |
prepare 10: check completeness of Specification regards variants and Position.T
|
changeset |
files
|
| Wed, 27 Sep 2023 12:17:44 +0200 |
wneuper |
prepare 9: I_Model.complete* all replaced by I_Model.s_make_complete
|
changeset |
files
|
| Tue, 26 Sep 2023 15:57:12 +0200 |
wneuper |
rollback
|
changeset |
files
|
| Mon, 25 Sep 2023 08:39:43 +0200 |
wneuper |
prepare 8: replace complete_Method by general I_Model.s_make_complete
|
changeset |
files
|
| Sun, 24 Sep 2023 20:04:41 +0200 |
wneuper |
rollback
|
changeset |
files
|
| Wed, 20 Sep 2023 16:51:08 +0200 |
wneuper |
prepare 7: separate test for I_Model.s_make_complete
|
changeset |
files
|
| Wed, 20 Sep 2023 11:30:50 +0200 |
wneuper |
prepare 6: I_Model.T(*_TEST*) towards final shape
|
changeset |
files
|
| Wed, 20 Sep 2023 08:27:21 +0200 |
wneuper |
prepare 5: improve new code
|
changeset |
files
|
| Mon, 18 Sep 2023 10:26:35 +0200 |
wneuper |
prepare 4: shift new code (previous CS was: intermediate I_Model.complete_method)
|
changeset |
files
|
| Mon, 18 Sep 2023 08:38:33 +0200 |
wneuper |
prepare 3: shift new code
|
changeset |
files
|
| Wed, 30 Aug 2023 06:37:56 +0200 |
wneuper |
prepare 2: I_Model.of_max_variant ready for use in I_Model.complete
|
changeset |
files
|
| Tue, 29 Aug 2023 09:04:36 +0200 |
wneuper |
prepare 1 (for PIDE turn 12)
|
changeset |
files
|
| Tue, 29 Aug 2023 08:35:46 +0200 |
wneuper |
followup 4: delete old code
|
changeset |
files
|
| Sun, 27 Aug 2023 17:56:50 +0200 |
wneuper |
update TODO.md
|
changeset |
files
|
| Sun, 27 Aug 2023 17:47:56 +0200 |
wneuper |
rename Refine.*
|
changeset |
files
|
| Sun, 27 Aug 2023 16:48:03 +0200 |
wneuper |
followup 3: rename Pre_Conds.* and I_Model.* (eliminate *_TEST as much as possible)
|
changeset |
files
|
| Sun, 27 Aug 2023 16:09:04 +0200 |
wneuper |
followup 2: delete old code
|
changeset |
files
|
| Sun, 27 Aug 2023 11:19:14 +0200 |
wneuper |
followup 1 (to PIDE turn 11a): eliminate penv
|
changeset |
files
|
| Sat, 26 Aug 2023 15:14:24 +0200 |
wneuper |
repair Build_Isac (strange error with isac_test)
|
changeset |
files
|
| Sat, 26 Aug 2023 11:37:16 +0200 |
wneuper |
PIDE turn 11a: specify-phase works with 3 new environments from max_variant
|
changeset |
files
|
| Sat, 26 Aug 2023 10:51:35 +0200 |
wneuper |
prepare 17: repair Biegelinie formals and accordingly data for Formlise.model
|
changeset |
files
|
| Sun, 20 Aug 2023 08:54:01 +0200 |
wneuper |
rollback
|
changeset |
files
|
| Sat, 19 Aug 2023 05:06:55 +0200 |
wneuper |
PIDE turn 11: Test_Isac_Short works on env_mode, type env_subst and type env_eval
|
changeset |
files
|
| Fri, 18 Aug 2023 18:51:18 +0200 |
wneuper |
prepare 16: delete old code 2, shift feedback_to_string Pre_Conds -> I_Model
|
changeset |
files
|
| Thu, 17 Aug 2023 08:01:45 +0200 |
wneuper |
prepare 15: delete old code 1, repair Pre_Conds.check_envs_TEST and check_pos
|
changeset |
files
|
| Tue, 15 Aug 2023 17:44:56 +0200 |
wneuper |
Test_Isac_Short without errors
|
changeset |
files
|
| Tue, 15 Aug 2023 17:39:06 +0200 |
wneuper |
prepare 14: eliminate Pre_Conds.check in test/*
|
changeset |
files
|