| 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 |
| Fri, 01 Dec 2023 05:51:18 +0100 |
prepare 16: adapt Refine to variants
|
file | diff | annotate |
| Thu, 30 Nov 2023 08:11:50 +0100 |
some renamings
|
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 |
| Sun, 29 Oct 2023 07:14:14 +0100 |
prepare 13: improved max_variants
|
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, 25 Sep 2023 08:39:43 +0200 |
prepare 8: replace complete_Method by general I_Model.s_make_complete
|
file | diff | annotate |
| Sun, 24 Sep 2023 20:04:41 +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 |
| Mon, 18 Sep 2023 08:38:33 +0200 |
prepare 3: shift new code
|
file | diff | annotate |
| Tue, 20 Jun 2023 06:26:18 +0200 |
prepare 4: narrow I_Model.T -- _TEST
|
file | diff | annotate |
| Tue, 23 May 2023 07:56:29 +0200 |
rollback
|
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 Mar 2023 15:38:23 +0100 |
I_Model.init_TEST provides completion as far as reasonable
|
file | diff | annotate |
| Wed, 22 Feb 2023 18:38:56 +0100 |
PIDE turn 7: prepare for Template.show
|
file | diff | annotate |
| Tue, 21 Feb 2023 15:59:46 +0100 |
PIDE turn 6: feedback with Position.T in MODEL_FOR_INTERACTION
|
file | diff | annotate |
| Sun, 19 Feb 2023 13:03:54 +0100 |
PIDE turn 4: I_Model.init requires other datatype feedback
|
file | diff | annotate |
| Sun, 19 Feb 2023 10:29:58 +0100 |
PIDE turn 3: hints for input format of terms in Model
|
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 |
| Sat, 28 Jan 2023 13:21:39 +0100 |
cleanup parse #1: start eliminate parseNEW
|
file | diff | annotate |
| Thu, 26 Jan 2023 18:54:25 +0100 |
use exclusively some new *.to_string ctxt
|
file | diff | annotate |
| Wed, 27 Jul 2022 14:14:16 +0200 |
polish naming
|
file | diff | annotate |
| Wed, 22 Jun 2022 19:37:56 +0200 |
inspect Formalise.T
|
file | diff | annotate |
| Wed, 22 Jun 2022 19:26:18 +0200 |
inspect SpecificationC.is_complete
|
file | diff | annotate |
| Tue, 21 Jun 2022 16:04:43 +0200 |
rename functions in i-model.sml
|
file | diff | annotate |
| Wed, 03 Jun 2020 13:57:22 +0200 |
unify Pre_Conds.check, partially
|
file | diff | annotate |
| Wed, 27 May 2020 13:42:37 +0200 |
Test_Isac_Short OK with OLD code, Test_Some OK with NEW
|
file | diff | annotate |
| Sun, 24 May 2020 16:05:36 +0200 |
prep.resolve hacks introduced with funpack, part 1
|
file | diff | annotate |
| Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
| Sat, 16 May 2020 12:40:09 +0200 |
shift code from Specification to O_Model
|
file | diff | annotate |
| Fri, 15 May 2020 19:31:04 +0200 |
shift code from Specification to References, separate References_Def
|
file | diff | annotate |
| Thu, 14 May 2020 09:30:40 +0200 |
start renaming Specification -> References;
|
file | diff | annotate |
| Wed, 13 May 2020 11:34:05 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
| Sun, 10 May 2020 13:16:56 +0200 |
investigate I_Model
|
file | diff | annotate |
| Fri, 08 May 2020 18:30:21 +0200 |
cleanup O_Model
|
file | diff | annotate |
| Tue, 05 May 2020 13:33:23 +0200 |
assign code struct.O_Model and I_Model, part 1
|
file | diff | annotate |
| Tue, 05 May 2020 09:07:36 +0200 |
separate struc.Formalise
|
file | diff | annotate |
| Mon, 04 May 2020 18:47:27 +0200 |
separate struct O_Model and I_Model, part 2
|
file | diff | annotate |
| Mon, 04 May 2020 16:25:14 +0200 |
shift code specific for specify-phase to Specify/*
|
file | diff | annotate |