| Mon, 11 Dec 2023 09:24:02 +0100 |
prepare 1: delete old code with I_Model.T (without Position.T)
|
file | diff | annotate |
| Sun, 10 Dec 2023 07:56:02 +0100 |
prepare 5: whole directory Specify/* with I_Model.T_POS exclusively
|
file | diff | annotate |
| Thu, 07 Dec 2023 16:14:32 +0100 |
prepare 3: Tactic.T with I_Model.T_POS
|
file | diff | annotate |
| Thu, 07 Dec 2023 11:54:42 +0100 |
prepare 2: p-spec.sml in Specify/ with I_Model.T_POS
|
file | diff | annotate |
| Tue, 05 Dec 2023 18:15:45 +0100 |
prepare 1: towards I_Model.T_POS in Specify/ (and no I_Model.T)
|
file | diff | annotate |
| Fri, 01 Dec 2023 06:08:22 +0100 |
PIDE turn 13: rename ALL(?) code already handling Position.T from *_TEST to *_POS
|
file | diff | annotate |
| Thu, 30 Nov 2023 08:11:50 +0100 |
some renamings
|
file | diff | annotate |
| Wed, 29 Nov 2023 07:51:28 +0100 |
prepare 15: adapt M_Match.by_o_model to varaints
|
file | diff | annotate |
| Sat, 25 Nov 2023 15:33:14 +0100 |
followup 4: cleanup new code
|
file | diff | annotate |
| Fri, 24 Nov 2023 15:34:07 +0100 |
followup 3: repair new fill_from_o, uncomment maximum of tests
|
file | diff | annotate |
| Thu, 16 Nov 2023 08:15:46 +0100 |
prepare 14: improved item_to_add
|
file | diff | annotate |
| Wed, 25 Oct 2023 12:34:12 +0200 |
prepare 12: M_Model.match_itms_oris takes Position.T and new max_mariants
|
file | diff | annotate |
| Tue, 03 Oct 2023 16:31:59 +0200 |
prepare 11: eliminate intermediate I_Model.of_max_variant
|
file | diff | annotate |
| Mon, 02 Oct 2023 12:02:59 +0200 |
prepare 10: check completeness of Specification regards variants and Position.T
|
file | diff | annotate |
| Tue, 26 Sep 2023 15:57:12 +0200 |
rollback
|
file | diff | annotate |
| Wed, 20 Sep 2023 11:30:50 +0200 |
prepare 6: I_Model.T(*_TEST*) towards final shape
|
file | diff | annotate |
| Mon, 18 Sep 2023 10:26:35 +0200 |
prepare 4: shift new code (previous CS was: intermediate I_Model.complete_method)
|
file | diff | annotate |
| Wed, 30 Aug 2023 06:37:56 +0200 |
prepare 2: I_Model.of_max_variant ready for use in I_Model.complete
|
file | diff | annotate |
| Sun, 27 Aug 2023 16:48:03 +0200 |
followup 3: rename Pre_Conds.* and I_Model.* (eliminate *_TEST as much as possible)
|
file | diff | annotate |
| Sun, 27 Aug 2023 11:19:14 +0200 |
followup 1 (to PIDE turn 11a): eliminate penv
|
file | diff | annotate |
| Fri, 18 Aug 2023 18:51:18 +0200 |
prepare 16: delete old code 2, shift feedback_to_string Pre_Conds -> I_Model
|
file | diff | annotate |
| Tue, 15 Aug 2023 17:39:06 +0200 |
prepare 14: eliminate Pre_Conds.check in test/*
|
file | diff | annotate |
| Tue, 15 Aug 2023 12:22:49 +0200 |
prepare 13: Testi_Isac_Short without errors
|
file | diff | annotate |
| Fri, 04 Aug 2023 23:07:04 +0200 |
//prepare 12: Test_Theory/100-init-.. and 150a-add-.. both work with src/*
|
file | diff | annotate |
| Tue, 04 Apr 2023 10:54:12 +0200 |
PIDE turn 10> new handling of variants, Pre_Conds.check_OLD/_TEST, I_Model.is_complete_OLD/_TEST
|
file | diff | annotate |
| Fri, 31 Mar 2023 12:07:52 +0200 |
//new Pre_Conds.check/_TEST breaks tests, need new signature
|
file | diff | annotate |
| Tue, 07 Feb 2023 17:25:09 +0100 |
eliminate use of Thy_Info 23: ThyC.get_theory ctxt is mandadory
|
file | diff | annotate |
| Sat, 04 Feb 2023 17:00:25 +0100 |
eliminate use of Thy_Info 22: eliminate UnparseC.term, rename "_in_ctxt" -> ""
|
file | diff | annotate |
| Sun, 29 Jan 2023 14:31:56 +0100 |
cleanup parse #2: repair error hidden by parse NONE in I_Model.check_single
|
file | diff | annotate |
| Thu, 10 Nov 2022 14:25:38 +0100 |
make Minisubplb/200-start-method independent from Thy_Info #1
|
file | diff | annotate |
| Mon, 07 Nov 2022 19:58:01 +0100 |
rename KEstore_Elems to Know_Store
|
file | diff | annotate |
| Mon, 07 Nov 2022 17:37:20 +0100 |
rename fields in Method_Def.T
|
file | diff | annotate |
| Mon, 31 Oct 2022 18:28:36 +0100 |
rename fields in Probl_Def.T
|
file | diff | annotate |
| Tue, 25 Oct 2022 16:15:47 +0200 |
follow up 6: eliminate use of Thy_Info.get_theory, part 1
|
file | diff | annotate |