Walther Neuper <walther.neuper@jku.at> [Mon, 10 Feb 2020 17:01:49 +0100] rev 59802
replace Prog. in prep_rls by Auto_Prog.gen, which generates Prog. on the fly
Note: introduction of funpack (see repository Jun 2019) enforced string encoded as char list;
since then (recursive) storing programs in rls (almost) blew up Build_Thydata.
Walther Neuper <walther.neuper@jku.at> [Sun, 09 Feb 2020 16:55:41 +0100] rev 59801
cleanup TODO
Walther Neuper <walther.neuper@jku.at> [Sun, 09 Feb 2020 16:21:26 +0100] rev 59800
cleanup TODO, reactivate unused tests
Walther Neuper <walther.neuper@jku.at> [Sun, 09 Feb 2020 12:48:18 +0100] rev 59799
cleanup TODOs
Walther Neuper <walther.neuper@jku.at> [Sat, 08 Feb 2020 17:00:37 +0100] rev 59798
replace Chead.calcstate' by Calc.T once
note: much respective work postponed
Walther Neuper <walther.neuper@jku.at> [Sat, 08 Feb 2020 16:33:27 +0100] rev 59797
step separated wrt Solve .. Specify
Walther Neuper <walther.neuper@jku.at> [Sat, 08 Feb 2020 15:18:23 +0100] rev 59796
LI: cleanup and reorder code
Walther Neuper <walther.neuper@jku.at> [Sat, 08 Feb 2020 14:44:24 +0100] rev 59795
LI: locat_input_term has signature as required
Walther Neuper <walther.neuper@jku.at> [Sat, 08 Feb 2020 12:41:27 +0100] rev 59794
LI: prep. test to re-build locate_input_term
Walther Neuper <walther.neuper@jku.at> [Fri, 07 Feb 2020 13:03:11 +0100] rev 59793
LI: Test_Isac_Short OK also for test from last changeset