Mon, 11 Dec 2023 17:26:30 +0100 |
eliminate the intermediate *_POS
|
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 |
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 |
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 |
Mon, 02 Oct 2023 15:39:22 +0200 |
prepare 11: clean up new code 1
|
file | diff | annotate |
Tue, 29 Aug 2023 09:04:36 +0200 |
prepare 1 (for PIDE turn 12)
|
file | diff | annotate |
Fri, 31 Mar 2023 12:07:52 +0200 |
//new Pre_Conds.check/_TEST breaks tests, need new signature
|
file | diff | annotate |
Wed, 22 Feb 2023 18:38:56 +0100 |
PIDE turn 7: prepare for Template.show
|
file | diff | annotate |
Mon, 20 Feb 2023 12:33:23 +0100 |
PIDE turn 5: more structure
|
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 |
Wed, 15 Feb 2023 15:56:09 +0100 |
PIDE turn 1: model's terms show syntax error
|
file | diff | annotate |
Mon, 13 Feb 2023 15:50:53 +0100 |
PIDE turn 0: setup for Outer_Syntax.command \<^command_keyword>?Test_Example?
|
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, 03 Dec 2022 19:09:51 +0100 |
follow-up Makarius #4b: clarify type model_out
|
file | diff | annotate |
Sat, 26 Nov 2022 22:28:33 +0100 |
follow-up Makarius #4: prepare implementation of template for Specification
|
file | diff | annotate |
Mon, 07 Nov 2022 17:37:20 +0100 |
rename fields in Method_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 |
Sun, 23 Oct 2022 16:08:27 +0200 |
follow up 6a: eliminate Thy_Inof.get_thoery for Minisubplb/100-init-rootpbl.sml independent -- src only, rollback
|
file | diff | annotate |
Sun, 29 May 2022 11:27:34 +0200 |
start Calculation by use of Makarius' "problem" as boilerplate
|
file | diff | annotate |
Wed, 21 Apr 2021 11:47:30 +0200 |
check remaining "for tests only" wrt. \<^isac_test>CARTOUCHE
|
file | diff | annotate |
Sun, 18 Apr 2021 23:37:59 +0200 |
conditional compilation via system option "isac_test" and antiquotation \<^isac_test>CARTOUCHE:
|
file | diff | annotate |
Wed, 25 Nov 2020 12:44:43 +0100 |
adapt initialise Calculation to PIDE
|
file | diff | annotate |
Mon, 18 May 2020 11:48:27 +0200 |
shift code from Specification to Specify
|
file | diff | annotate |
Sat, 16 May 2020 16:54:39 +0200 |
shift code from Specification to P_Model, rename ids
|
file | diff | annotate |
Tue, 12 May 2020 16:22:00 +0200 |
cleanup struct.O_Model, P_Model
|
file | diff | annotate |
Tue, 12 May 2020 10:14:09 +0200 |
distribute code from old Specify/ptyps.sml
|
file | diff | annotate |
Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
Mon, 11 May 2020 11:07:19 +0200 |
separate struct.Refine, Pre_Conds.
|
file | diff | annotate |
Sun, 10 May 2020 17:26:36 +0200 |
cleanup generate.sml, model.sml
|
file | diff | annotate | base |