On Oct 3, 2013, at 5:36 PM, Tom Stellard wrote:
> Unfortunately, we cannot enable the machine verifier on tests that have
> branches, because the way IF and ELSE instructions are selected leaves us
> with a copy instruction following the IF and ELSE terminators, which
> violates one of the verif
On Apr 10, 2013, at 6:48 AM, Tobias Grosser wrote:
> On 04/10/2013 02:51 PM, Michel Dänzer wrote:
>> On Mit, 2013-04-10 at 12:59 +0200, Christian König wrote:
>>> Am 10.04.2013 12:21, schrieb Michel Dänzer:
On Mit, 2013-04-10 at 12:07 +0200, Christian König wrote:
> Am 10.04.2013 11:46,
