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 13:06:41 +0200 |
avoid contradicting predicates in contexts
|
file | diff | annotate |
Wed, 25 Mar 2020 09:17:05 +0100 |
ONE tactic per step VISIBLE in calculation
|
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 |
Wed, 18 Mar 2020 14:51:58 +0100 |
reduce access to deprecated field in Ctree
|
file | diff | annotate |
Sat, 07 Mar 2020 17:11:55 +0100 |
cleanup LItool, begin
|
file | diff | annotate |
Sat, 07 Mar 2020 15:37:37 +0100 |
further separate specify- and solve-phase
|
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 |
Thu, 20 Feb 2020 11:55:29 +0100 |
prep. cleanup istate/ctxt in Ctree
|
file | diff | annotate |
Sat, 08 Feb 2020 17:00:37 +0100 |
replace Chead.calcstate' by Calc.T once
|
file | diff | annotate |
Sat, 08 Feb 2020 16:33:27 +0100 |
step separated wrt Solve .. Specify
|
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 |
Fri, 17 Jan 2020 12:37:21 +0100 |
lucin: renaming
|
file | diff | annotate |
Mon, 23 Dec 2019 11:12:24 +0100 |
lucin: unify signatures of Step*
|
file | diff | annotate |
Sat, 21 Dec 2019 16:45:10 +0100 |
lucin: unify do_next, partially
|
file | diff | annotate |
Sat, 21 Dec 2019 16:07:18 +0100 |
lucin: unify Step_Solve.by_tactic -- Lucin(NEW).by_tactic, partially
|
file | diff | annotate |
Sat, 21 Dec 2019 15:17:46 +0100 |
lucin: prep. unify Step_Solve.by_tactic -- Lucin(NEW).by_tactic
|
file | diff | annotate |
Sat, 21 Dec 2019 13:04:56 +0100 |
lucin: prep. unify Step_Solve.by_tactic -- Lucin(NEW).by_tactic
|
file | diff | annotate |
Fri, 20 Dec 2019 09:57:45 +0100 |
cleanup code
|
file | diff | annotate |
Thu, 19 Dec 2019 17:37:25 +0100 |
lucin: unify fun.ids. for locate_input_tactic
|
file | diff | annotate |
Thu, 19 Dec 2019 16:41:57 +0100 |
cleanup fun solve, shift from Solve --> Step_Solve
|
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 |