Wed, 03 Jun 2020 09:56:24 +0200 |
Walther Neuper |
simplify code, rename
|
changeset |
files
|
Mon, 01 Jun 2020 16:11:05 +0200 |
Walther Neuper |
remove Specify.find_next_step'
|
changeset |
files
|
Mon, 01 Jun 2020 11:49:37 +0200 |
Walther Neuper |
unify code
|
changeset |
files
|
Sat, 30 May 2020 16:18:01 +0200 |
Walther Neuper |
remove hacks, finally
|
changeset |
files
|
Sat, 30 May 2020 16:06:06 +0200 |
Walther Neuper |
revert O_Model.seek_* to 4e6fc3336336
|
changeset |
files
|
Sat, 30 May 2020 15:20:22 +0200 |
Walther Neuper |
cleanup code after resolve hacks
|
changeset |
files
|
Sat, 30 May 2020 14:10:58 +0200 |
Walther Neuper |
resolve hacks finished
|
changeset |
files
|
Fri, 29 May 2020 12:43:41 +0200 |
Walther Neuper |
[errors 4, Test_Isac_Short] resolve hacks, part 4: reapired O_Model.complete_for
|
changeset |
files
|
Thu, 28 May 2020 13:24:47 +0200 |
Walther Neuper |
[errors 3, Short] resolve hacks, part 3: remove hack in Step_Specify.by_tactic
|
changeset |
files
|
Thu, 28 May 2020 12:52:25 +0200 |
Walther Neuper |
resolve hacks, part 2: Specify.find_next_step, Specify.by_tactic_input
|
changeset |
files
|
Wed, 27 May 2020 16:20:06 +0200 |
Walther Neuper |
now Test_Some is OK with NEW code
|
changeset |
files
|
Wed, 27 May 2020 16:14:14 +0200 |
Walther Neuper |
resolve hacks, part 1: NEW O_Model.complete_for_from
|
changeset |
files
|
Wed, 27 May 2020 13:42:37 +0200 |
Walther Neuper |
Test_Isac_Short OK with OLD code, Test_Some OK with NEW
|
changeset |
files
|
Tue, 26 May 2020 11:53:43 +0200 |
Walther Neuper |
prep.resolve hacks introduced with funpack, part 4
|
changeset |
files
|
Mon, 25 May 2020 16:52:38 +0200 |
Walther Neuper |
prep.resolve hacks introduced with funpack, part 3
|
changeset |
files
|
Mon, 25 May 2020 11:14:51 +0200 |
Walther Neuper |
prep.resolve hacks introduced with funpack, part 2
|
changeset |
files
|
Sun, 24 May 2020 17:03:40 +0200 |
Walther Neuper |
shift code from I_Model to O_Model, finished
|
changeset |
files
|
Sun, 24 May 2020 16:27:25 +0200 |
Walther Neuper |
shift code from I_Model to O_Model
|
changeset |
files
|
Sun, 24 May 2020 16:05:36 +0200 |
Walther Neuper |
prep.resolve hacks introduced with funpack, part 1
|
changeset |
files
|
Wed, 20 May 2020 12:52:09 +0200 |
Walther Neuper |
standard format for string lists
|
changeset |
files
|
Tue, 19 May 2020 12:33:35 +0200 |
Walther Neuper |
adapt test/../Specify/* to new files in src/../Specify/*
|
changeset |
files
|
Mon, 18 May 2020 14:21:41 +0200 |
Walther Neuper |
Specify/* removed all warnings, only "handle _" remains
|
changeset |
files
|
Mon, 18 May 2020 14:12:01 +0200 |
Walther Neuper |
cleanup Specification, Specify
|
changeset |
files
|
Mon, 18 May 2020 14:05:46 +0200 |
Walther Neuper |
delete unused code; + see 2adc8406b746
|
changeset |
files
|
Mon, 18 May 2020 14:02:54 +0200 |
Walther Neuper |
sprep.cleanup Specification, Specify
|
changeset |
files
|
Mon, 18 May 2020 11:58:55 +0200 |
Walther Neuper |
delete unused code; + see 554030065b5b
|
changeset |
files
|
Mon, 18 May 2020 11:48:27 +0200 |
Walther Neuper |
shift code from Specification to Specify
|
changeset |
files
|
Sat, 16 May 2020 16:54:39 +0200 |
Walther Neuper |
shift code from Specification to P_Model, rename ids
|
changeset |
files
|
Sat, 16 May 2020 16:23:24 +0200 |
Walther Neuper |
shift code from Specification to I_Model, rename ids
|
changeset |
files
|
Sat, 16 May 2020 14:04:35 +0200 |
Walther Neuper |
shift code (O_Model, M_Match, Model_Pattern)
|
changeset |
files
|
Sat, 16 May 2020 12:40:09 +0200 |
Walther Neuper |
shift code from Specification to O_Model
|
changeset |
files
|
Fri, 15 May 2020 19:31:04 +0200 |
Walther Neuper |
shift code from Specification to References, separate References_Def
|
changeset |
files
|
Fri, 15 May 2020 14:22:05 +0200 |
Walther Neuper |
prep. cleanup of Specification
|
changeset |
files
|
Fri, 15 May 2020 11:46:43 +0200 |
Walther Neuper |
shift code from Specification to appropriate locations
|
changeset |
files
|
Thu, 14 May 2020 16:58:33 +0200 |
Walther Neuper |
shift code from P_Specific --> CAS_Cmd
|
changeset |
files
|
Thu, 14 May 2020 16:08:41 +0200 |
Walther Neuper |
shift code Specification --> Calc
|
changeset |
files
|
Thu, 14 May 2020 15:06:18 +0200 |
Walther Neuper |
Test_Isac_Short works with P_Specific
|
changeset |
files
|
Thu, 14 May 2020 14:49:13 +0200 |
Walther Neuper |
analogous naming P_Specific .. P_Model
|
changeset |
files
|
Thu, 14 May 2020 13:48:45 +0200 |
Walther Neuper |
rename to Specification, contiued
|
changeset |
files
|
Thu, 14 May 2020 13:33:47 +0200 |
Walther Neuper |
rename Specification -> References, contiued
|
changeset |
files
|
Thu, 14 May 2020 09:30:40 +0200 |
Walther Neuper |
start renaming Specification -> References;
|
changeset |
files
|
Thu, 14 May 2020 08:49:08 +0200 |
Walther Neuper |
shift 2 preliminary hacks close to usage
|
changeset |
files
|
Wed, 13 May 2020 18:16:35 +0200 |
Walther Neuper |
shift code from Specify to Ptool; Specify is ready to be re-filled
|
changeset |
files
|
Wed, 13 May 2020 16:10:22 +0200 |
Walther Neuper |
shift code from Specify to Problem, Method, Test_Tool
|
changeset |
files
|
Wed, 13 May 2020 12:14:49 +0200 |
Walther Neuper |
Test_Isac_Short repaired
|
changeset |
files
|
Wed, 13 May 2020 11:34:05 +0200 |
Walther Neuper |
shift code from struct.Specify to appropriate locations
|
changeset |
files
|
Tue, 12 May 2020 17:42:29 +0200 |
Walther Neuper |
shift code from struct.Specify to appropriate locations
|
changeset |
files
|
Tue, 12 May 2020 16:22:00 +0200 |
Walther Neuper |
cleanup struct.O_Model, P_Model
|
changeset |
files
|
Tue, 12 May 2020 10:14:09 +0200 |
Walther Neuper |
distribute code from old Specify/ptyps.sml
|
changeset |
files
|
Tue, 12 May 2020 07:27:21 +0200 |
Walther Neuper |
remove Specify/mstools.sml
|
changeset |
files
|
Tue, 12 May 2020 06:37:04 +0200 |
Walther Neuper |
--- we manually open (min.4) imports in Test_Isac_Short.thy
|
changeset |
files
|
Mon, 11 May 2020 20:49:27 +0200 |
Walther Neuper |
prep. remove Specify/mstools.sml
|
changeset |
files
|
Mon, 11 May 2020 18:06:24 +0200 |
Walther Neuper |
strange ERROR in imports of Test_Isac_Short.thy
|
changeset |
files
|
Mon, 11 May 2020 12:25:52 +0200 |
Walther Neuper |
introduce Pre_Conds.T
|
changeset |
files
|
Mon, 11 May 2020 11:38:52 +0200 |
Walther Neuper |
error -> raise ERROR
|
changeset |
files
|
Mon, 11 May 2020 11:22:46 +0200 |
Walther Neuper |
cover types from struct. *_Def
|
changeset |
files
|
Mon, 11 May 2020 11:07:19 +0200 |
Walther Neuper |
separate struct.Refine, Pre_Conds.
|
changeset |
files
|
Sun, 10 May 2020 17:26:36 +0200 |
Walther Neuper |
cleanup generate.sml, model.sml
|
changeset |
files
|
Sun, 10 May 2020 15:55:30 +0200 |
Walther Neuper |
collect code for struct.I_Model
|
changeset |
files
|
Sun, 10 May 2020 13:16:56 +0200 |
Walther Neuper |
investigate I_Model
|
changeset |
files
|