Walther Neuper <walther.neuper@jku.at> [Wed, 01 Apr 2020 19:20:05 +0200] rev 59849
separate Rule_Def from Rule
Walther Neuper <walther.neuper@jku.at> [Wed, 01 Apr 2020 18:54:03 +0200] rev 59848
renaming, cleanup
Walther Neuper <walther.neuper@jku.at> [Wed, 01 Apr 2020 14:14:46 +0200] rev 59847
reorganise 2 tests according to fun.defs
Walther Neuper <walther.neuper@jku.at> [Wed, 01 Apr 2020 12:42:39 +0200] rev 59846
renaming, cleanup
Walther Neuper <walther.neuper@jku.at> [Wed, 01 Apr 2020 10:24:13 +0200] rev 59845
renaming, cleanup
Walther Neuper <walther.neuper@jku.at> [Tue, 31 Mar 2020 15:43:33 +0200] rev 59844
renaming, cleanup
Walther Neuper <walther.neuper@jku.at> [Tue, 31 Mar 2020 14:05:10 +0200] rev 59843
remove assumptions from Check_Postcond'; these are done by context now
Walther Neuper <walther.neuper@jku.at> [Tue, 31 Mar 2020 13:06:41 +0200] rev 59842
avoid contradicting predicates in contexts
note 1: this also solves the old problem with conflicting results
from subproblems in equation solving
note 2: there are still two spurious errors "unknown fact .."
Walther Neuper <walther.neuper@jku.at> [Thu, 26 Mar 2020 16:17:21 +0100] rev 59841
improve classification of assumptions (True, False, indeterminate)
Walther Neuper <walther.neuper@jku.at> [Wed, 25 Mar 2020 11:01:02 +0100] rev 59840
remove unused field in Ctree, finish