Thu, 28 May 2020 13:24:47 +0200 |
[errors 3, Short] resolve hacks, part 3: remove hack in Step_Specify.by_tactic
|
file | diff | annotate |
Thu, 28 May 2020 12:52:25 +0200 |
resolve hacks, part 2: Specify.find_next_step, Specify.by_tactic_input
|
file | diff | annotate |
Tue, 26 May 2020 11:53:43 +0200 |
prep.resolve hacks introduced with funpack, part 4
|
file | diff | annotate |
Mon, 25 May 2020 16:52:38 +0200 |
prep.resolve hacks introduced with funpack, part 3
|
file | diff | annotate |
Mon, 25 May 2020 11:14:51 +0200 |
prep.resolve hacks introduced with funpack, part 2
|
file | diff | annotate |
Sun, 24 May 2020 16:05:36 +0200 |
prep.resolve hacks introduced with funpack, part 1
|
file | diff | annotate |
Mon, 18 May 2020 14:21:41 +0200 |
Specify/* removed all warnings, only "handle _" remains
|
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:23:24 +0200 |
shift code from Specification to I_Model, rename ids
|
file | diff | annotate |
Sat, 16 May 2020 14:04:35 +0200 |
shift code (O_Model, M_Match, Model_Pattern)
|
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 14:22:05 +0200 |
prep. cleanup of Specification
|
file | diff | annotate |
Fri, 15 May 2020 11:46:43 +0200 |
shift code from Specification to appropriate locations
|
file | diff | annotate |
Thu, 14 May 2020 16:08:41 +0200 |
shift code Specification --> Calc
|
file | diff | annotate |
Thu, 14 May 2020 13:33:47 +0200 |
rename Specification -> References, contiued
|
file | diff | annotate |
Thu, 14 May 2020 09:30:40 +0200 |
start renaming Specification -> References;
|
file | diff | annotate |
Thu, 14 May 2020 08:49:08 +0200 |
shift 2 preliminary hacks close to usage
|
file | diff | annotate |
Wed, 13 May 2020 11:34:05 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
Tue, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
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 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 15:55:30 +0200 |
collect code for struct.I_Model
|
file | diff | annotate |
Fri, 08 May 2020 18:30:21 +0200 |
cleanup O_Model
|
file | diff | annotate |
Thu, 07 May 2020 14:11:03 +0200 |
collect code for O_Model (+ old locations)
|
file | diff | annotate |
Thu, 07 May 2020 12:15:37 +0200 |
remove double code
|
file | diff | annotate |
Tue, 05 May 2020 09:07:36 +0200 |
separate struc.Formalise
|
file | diff | annotate |
Mon, 04 May 2020 16:25:14 +0200 |
shift code specific for specify-phase to Specify/*
|
file | diff | annotate |
Mon, 04 May 2020 10:19:16 +0200 |
spearate Specify_Step.add
|
file | diff | annotate |
Sat, 02 May 2020 17:39:04 +0200 |
prep. new Solve_Step.add
|
file | diff | annotate |
Sat, 02 May 2020 11:36:13 +0200 |
remove Init_Proof, is NOT a tactic
|
file | diff | annotate |
Wed, 22 Apr 2020 14:36:27 +0200 |
use "Spec", "Problem", "Method" for renaming identifiers
|
file | diff | annotate |
Wed, 22 Apr 2020 11:23:30 +0200 |
rename file according to struct.; start renaming with "Spec"
|
file | diff | annotate |
Tue, 21 Apr 2020 15:42:50 +0200 |
replace Celem. with new struct.s in BaseDefinitions/
|
file | diff | annotate |
Sun, 19 Apr 2020 11:07:02 +0200 |
switch "activate for Test_Isac .." back to Build_Isac
|
file | diff | annotate |
Fri, 17 Apr 2020 18:47:29 +0200 |
Test_Isac_Short OK (except the 2 strange errors)
|
file | diff | annotate |
Wed, 15 Apr 2020 18:00:58 +0200 |
collect code in ThyC
|
file | diff | annotate |
Wed, 15 Apr 2020 16:46:41 +0200 |
use "ThyC" for renaming identifiers finished, cleanup
|
file | diff | annotate |
Wed, 15 Apr 2020 13:47:56 +0200 |
use "ThyC" for renaming identifiers
|
file | diff | annotate |
Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
Wed, 08 Apr 2020 14:24:38 +0200 |
separate struct ThyC
|
file | diff | annotate |
Wed, 01 Apr 2020 12:42:39 +0200 |
renaming, cleanup
|
file | diff | annotate |
Wed, 04 Mar 2020 17:48:37 +0100 |
cleanup ctxt: ctxt_specify goes via cappend_problem
|
file | diff | annotate |
Thu, 20 Feb 2020 18:02:00 +0100 |
prep. cleanup istate/ctxt in Ctree, part 4
|
file | diff | annotate |
Thu, 20 Feb 2020 17:09:24 +0100 |
prep. cleanup istate/ctxt in Ctree, part 3
|
file | diff | annotate |
Sun, 16 Feb 2020 16:26:05 +0100 |
introduce Step.by_tactic, part 3, finished, Test_Isac_Short OK
|
file | diff | annotate |
Fri, 07 Feb 2020 12:36:08 +0100 |
LI: rename Lucin to LI
|
file | diff | annotate |
Tue, 04 Feb 2020 17:11:54 +0100 |
lucin: rename central structure to Lucin
|
file | diff | annotate |
Fri, 17 Jan 2020 14:10:10 +0100 |
tuned
|
file | diff | annotate |
Mon, 23 Dec 2019 15:41:36 +0100 |
separate Step_Specify, Step_Solve, Step for do_next and by_tactic
|
file | diff | annotate |
Sat, 21 Dec 2019 18:05:13 +0100 |
lucin: unify do_next postponed
|
file | diff | annotate |
Thu, 19 Dec 2019 12:40:17 +0100 |
lucin: various investigations (a chaos change set)
|
file | diff | annotate |
Wed, 18 Dec 2019 15:33:27 +0100 |
prep. intro. of Step
|
file | diff | annotate |