Mon, 11 Dec 2023 17:26:30 +0100 |
eliminate the intermediate *_POS
|
file | diff | annotate |
Thu, 07 Dec 2023 17:16:22 +0100 |
prepare 4: refine.sml 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 |
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 |
Wed, 29 Nov 2023 07:51:28 +0100 |
prepare 15: adapt M_Match.by_o_model to varaints
|
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 |
Wed, 20 Sep 2023 11:30:50 +0200 |
prepare 6: I_Model.T(*_TEST*) towards final shape
|
file | diff | annotate |
Tue, 29 Aug 2023 09:04:36 +0200 |
prepare 1 (for PIDE turn 12)
|
file | diff | annotate |
Tue, 29 Aug 2023 08:35:46 +0200 |
followup 4: delete old code
|
file | diff | annotate |
Sun, 27 Aug 2023 17:47:56 +0200 |
rename Refine.*
|
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 |
Sat, 26 Aug 2023 15:14:24 +0200 |
repair Build_Isac (strange error with isac_test)
|
file | diff | annotate |
Sat, 26 Aug 2023 10:51:35 +0200 |
prepare 17: repair Biegelinie formals and accordingly data for Formlise.model
|
file | diff | annotate |
Tue, 15 Aug 2023 12:22:49 +0200 |
prepare 13: Testi_Isac_Short without errors
|
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 Mar 2023 15:38:23 +0100 |
I_Model.init_TEST provides completion as far as reasonable
|
file | diff | annotate |
Mon, 30 Jan 2023 09:47:18 +0100 |
cleanup parse #3: final functions inb ParseC
|
file | diff | annotate |
Sat, 28 Jan 2023 13:21:39 +0100 |
cleanup parse #1: start eliminate parseNEW
|
file | diff | annotate |
Wed, 25 Jan 2023 18:35:02 +0100 |
use exclusively new O_Model.init
|
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 |
Fri, 21 Oct 2022 15:35:50 +0200 |
cleanup *?PIDE 2: finished
|
file | diff | annotate |
Sat, 08 Oct 2022 11:40:48 +0200 |
follow up 5: cleanup
|
file | diff | annotate |
Mon, 26 Sep 2022 10:57:53 +0200 |
follow up 2: Problem.adapt_to_typ on loading by CalcTree, CalcTreeTEST
|
file | diff | annotate |
Fri, 16 Sep 2022 12:13:23 +0200 |
follow up 1a: restrict concept to adaptation of types within pre-compiled terms
|
file | diff | annotate |
Wed, 27 Jul 2022 13:59:58 +0200 |
polish naming
|
file | diff | annotate |
Wed, 22 Jun 2022 16:24:08 +0200 |
rename functions in i-model.sml finished
|
file | diff | annotate |
Tue, 21 Jun 2022 16:04:43 +0200 |
rename functions in i-model.sml
|
file | diff | annotate |
Mon, 20 Jun 2022 18:37:54 +0200 |
rename functions in o-model.sml
|
file | diff | annotate |
Thu, 15 Jul 2021 14:10:18 +0200 |
ewrite.sml + poly.sml + rational.sml: ok, repair rewrite-orders
|
file | diff | annotate |
Thu, 29 Apr 2021 12:43:50 +0200 |
eliminate warnings from src/*, part 2
|
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 |
Sun, 14 Jun 2020 15:39:55 +0200 |
unify code (and replace Specify.by_tactic_input' by Specify.by_Add_)
|
file | diff | annotate |
Wed, 03 Jun 2020 13:57:22 +0200 |
unify Pre_Conds.check, partially
|
file | diff | annotate |
Fri, 15 May 2020 14:22:05 +0200 |
prep. cleanup of Specification
|
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 20:49:27 +0200 |
prep. remove Specify/mstools.sml
|
file | diff | annotate |
Mon, 11 May 2020 12:25:52 +0200 |
introduce Pre_Conds.T
|
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 |