Message2886

Author florian
Recipients florian, gabi, haz, jendrik, malte, silvan
Date 2014-01-06.19:50:12
Content
The check in verify_no_cond_effects() also is no longer valid under the new
semantics (as we discussed offline). I removed it for now. Did we discuss an
alternative that allows to recognize unproblematic special cases?
History
Date User Action Args
2014-01-06 19:50:12floriansetmessageid: <1389034212.19.0.313046467074.issue397@unibas.ch>
2014-01-06 19:50:12floriansetrecipients: + florian, malte, haz, gabi, jendrik, silvan
2014-01-06 19:50:12florianlinkissue397 messages
2014-01-06 19:50:12floriancreate