Project

General

Profile

Activity

From 01/24/2015 to 02/22/2015

02/18/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
Pierre-Loïc Garoche

02/17/2015

02:05 AM Revision 29f59e36 (lustrec): Recopie de la branche simu dans le trunk lustrec. Reste a modifier l...
Pierre-Loïc Garoche

02/16/2015

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... Pierre-Loïc Garoche
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... Pierre-Loïc Garoche
 

Also available in: Atom