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 |
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 |
Sat, 09 May 2020 11:55:51 +0200 |
shift code to Input_Descript, rename identifiers (+ keep old)
|
file | diff | annotate |
Thu, 07 May 2020 12:15:37 +0200 |
remove double code
|
file | diff | annotate |
Thu, 07 May 2020 11:04:02 +0200 |
test for O_Model.init (was prep_ori)
|
file | diff | annotate |
Tue, 05 May 2020 15:39:20 +0200 |
assign code struct.O_Model and I_Model, part 2: model.sml is clean
|
file | diff | annotate |
Mon, 04 May 2020 17:08:32 +0200 |
separate struct O_Model and I_Model, part 1
|
file | diff | annotate |
Mon, 04 May 2020 16:47:32 +0200 |
prep.to separate struct O_Model and I_Model
|
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 13:27:45 +0200 |
remove unused code
|
file | diff | annotate |
Mon, 04 May 2020 12:38:16 +0200 |
end cleanup Interpret/*, preliminary
|
file | diff | annotate |
Mon, 04 May 2020 11:13:16 +0200 |
cleanup struct.Derive
|
file | diff | annotate |
Mon, 04 May 2020 10:19:16 +0200 |
spearate Specify_Step.add
|
file | diff | annotate |
Mon, 04 May 2020 09:25:51 +0200 |
separate Solve_Step.add, rearrange code, prep. Specify_Step
|
file | diff | annotate |
Sat, 02 May 2020 16:55:14 +0200 |
simplify Specify_Step.chek
|
file | diff | annotate |
Sat, 02 May 2020 12:13:20 +0200 |
remove unused tactics, finish
|
file | diff | annotate |
Sat, 02 May 2020 09:15:39 +0200 |
comment tactics in struct. (only)
|
file | diff | annotate |
Fri, 01 May 2020 17:17:41 +0200 |
unify sequence of tactics
|
file | diff | annotate |
Fri, 01 May 2020 16:06:59 +0200 |
separate Specify_Step.check
|
file | diff | annotate |
Fri, 01 May 2020 15:28:40 +0200 |
separate Solve_Step.check, repair ALL of Test_Isac_Short
|
file | diff | annotate |
Wed, 29 Apr 2020 12:30:51 +0200 |
prep. separation of check Applicable between specify-phase and solve-phase
|
file | diff | annotate |
Wed, 29 Apr 2020 09:03:01 +0200 |
comments on relation between files.
|
file | diff | annotate |
Tue, 28 Apr 2020 15:31:49 +0200 |
assign code from Rtools to appropriate struct.s
|
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 |
Wed, 22 Apr 2020 11:06:48 +0200 |
shift Unsynchronized.ref for tracing to respect.struct.
|
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 12:22:37 +0200 |
rename KEStore to Know_Store, replace respect.part of Celem with Celem1
|
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 15:12:19 +0200 |
prep. take apart struct.Celem
|
file | diff | annotate |
Wed, 15 Apr 2020 18:00:58 +0200 |
collect code in ThyC
|
file | diff | annotate |
Wed, 15 Apr 2020 13:47:56 +0200 |
use "ThyC" for renaming identifiers
|
file | diff | annotate |
Wed, 15 Apr 2020 11:37:43 +0200 |
cleanup
|
file | diff | annotate |
Wed, 15 Apr 2020 10:07:43 +0200 |
use "ThmC" for renaming identifiers
|
file | diff | annotate |
Tue, 14 Apr 2020 15:56:15 +0200 |
use "ThmC_Def" for renaming identifiers
|
file | diff | annotate |
Mon, 13 Apr 2020 18:32:01 +0200 |
reorganise struct. ThmC, part 2
|
file | diff | annotate |
Fri, 10 Apr 2020 18:32:36 +0200 |
use "UnparseC" for renaming identifiers
|
file | diff | annotate |
Fri, 10 Apr 2020 14:46:55 +0200 |
rearrange code for ThmC
|
file | diff | annotate |
Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
Thu, 09 Apr 2020 11:21:53 +0200 |
separate struct. ThmC, Error_Fill_Def; unite error-pattern and fill-pattern
|
file | diff | annotate |
Wed, 08 Apr 2020 16:56:47 +0200 |
separate struct Rewrite_Ord
|
file | diff | annotate |
Wed, 08 Apr 2020 14:24:38 +0200 |
separate struct ThyC
|
file | diff | annotate |
Wed, 08 Apr 2020 13:21:19 +0200 |
separate struct Exec_Def
|
file | diff | annotate |
Wed, 08 Apr 2020 12:32:51 +0200 |
use new struct "Rule_Set" for renaming identifiers
|
file | diff | annotate |
Mon, 06 Apr 2020 11:44:36 +0200 |
use "Rule_Set" for shorter identifiers
|
file | diff | annotate |
Sat, 04 Apr 2020 12:11:32 +0200 |
separate Rule_Set from Rule
|
file | diff | annotate |
Wed, 01 Apr 2020 18:54:03 +0200 |
renaming, cleanup
|
file | diff | annotate |
Wed, 01 Apr 2020 14:14:46 +0200 |
reorganise 2 tests according to fun.defs
|
file | diff | annotate |
Wed, 01 Apr 2020 12:42:39 +0200 |
renaming, cleanup
|
file | diff | annotate |
Wed, 01 Apr 2020 10:24:13 +0200 |
renaming, cleanup
|
file | diff | annotate |
Tue, 31 Mar 2020 15:43:33 +0200 |
renaming, cleanup
|
file | diff | annotate |
Tue, 31 Mar 2020 14:05:10 +0200 |
remove assumptions from Check_Postcond'; these are done by context now
|
file | diff | annotate |
Tue, 31 Mar 2020 13:06:41 +0200 |
avoid contradicting predicates in contexts
|
file | diff | annotate |
Thu, 26 Mar 2020 16:17:21 +0100 |
improve classification of assumptions (True, False, indeterminate)
|
file | diff | annotate |
Tue, 24 Mar 2020 17:01:02 +0100 |
prep. ONE tactic per step VISIBLE in calculation
|
file | diff | annotate |
Fri, 20 Mar 2020 19:31:55 +0100 |
collect code for by_tactic..Check_Postcond'
|
file | diff | annotate |
Wed, 18 Mar 2020 15:23:15 +0100 |
prep. cleanup LItool.resume_prog
|
file | diff | annotate |