wneuper <Walther.Neuper@jku.at> [Wed, 30 Aug 2023 06:37:56 +0200] rev 60746
prepare 2: I_Model.of_max_variant ready for use in I_Model.complete
wneuper <Walther.Neuper@jku.at> [Tue, 29 Aug 2023 09:04:36 +0200] rev 60745
prepare 1 (for PIDE turn 12)
wneuper <Walther.Neuper@jku.at> [Tue, 29 Aug 2023 08:35:46 +0200] rev 60744
followup 4: delete old code
wneuper <Walther.Neuper@jku.at> [Sun, 27 Aug 2023 17:56:50 +0200] rev 60743
update TODO.md
wneuper <Walther.Neuper@jku.at> [Sun, 27 Aug 2023 17:47:56 +0200] rev 60742
rename Refine.*
wneuper <Walther.Neuper@jku.at> [Sun, 27 Aug 2023 16:48:03 +0200] rev 60741
followup 3: rename Pre_Conds.* and I_Model.* (eliminate *_TEST as much as possible)
wneuper <Walther.Neuper@jku.at> [Sun, 27 Aug 2023 16:09:04 +0200] rev 60740
followup 2: delete old code
wneuper <Walther.Neuper@jku.at> [Sun, 27 Aug 2023 11:19:14 +0200] rev 60739
followup 1 (to PIDE turn 11a): eliminate penv
Note: this was the buggy predecessor of env_subst and env_eval.
wneuper <Walther.Neuper@jku.at> [Sat, 26 Aug 2023 15:14:24 +0200] rev 60738
repair Build_Isac (strange error with isac_test)
wneuper <Walther.Neuper@jku.at> [Sat, 26 Aug 2023 11:37:16 +0200] rev 60737
PIDE turn 11a: specify-phase works with 3 new environments from max_variant