Author florian
Recipients florian, gabi, haz, jendrik, malte, silvan
Date 2014-01-06.19:50:12
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?
Date User Action Args
2014-01-06 19:50:12floriansetmessageid: <>
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