| 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 |