| Tue, 19 May 2020 12:33:35 +0200 |
adapt test/../Specify/* to new files in src/../Specify/*
|
file | diff | annotate |
| Tue, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
| Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
| Sun, 10 May 2020 17:26:36 +0200 |
cleanup generate.sml, model.sml
|
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 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 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 17:39:04 +0200 |
prep. new Solve_Step.add
|
file | diff | annotate |
| Sat, 02 May 2020 16:34:42 +0200 |
Solve_Check: postpone parsing input to _ option
|
file | diff | annotate |
| Sat, 02 May 2020 15:41:27 +0200 |
simplify Solve_Step.check, remove CAScmd (is not a tactic)
|
file | diff | annotate |
| Sat, 02 May 2020 12:13:20 +0200 |
remove unused tactics, finish
|
file | diff | annotate |
| Sat, 02 May 2020 10:57:04 +0200 |
remove unused tactics, part 1
|
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 |