Activity
From 01/24/2015 to 02/22/2015
02/19/2015
- 12:26 AM Revision d9096b25 (lustrec): Merge of the simultion branch into this copy of the trunk
- the all-scopes option is not working
there is a current bug on the naming of variables in stateassign
02/17/2015
02/16/2015
- 11:52 PM Revision f2b1c245 (lustrec): Solved bug found by Teme about asserts.
- Previously assert expression containing -> would lead to unnormalized ite. Now each expression within the assert is n...
- 11:52 PM Revision e42fb618 (lustrec): Solved bug found by Teme about asserts.
- Previously assert expression containing -> would lead to unnormalized ite. Now each expression within the assert is n...
Also available in: Atom