Activity
From 02/02/2015 to 03/03/2015
03/03/2015
- 09:10 PM Revision 8b34da11 (lustrec): README.md edited online with Bitbucket
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@413 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 09:10 PM Revision 56d3f3e1 (lustrec): README.md edited online with Bitbucket
- 09:10 PM Revision 7d9df109 (lustrec): added invariants
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@412 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 09:10 PM Revision f133f964 (lustrec): added invariants
- 09:10 PM Revision 8d4fddd8 (lustrec): including invariants
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@411 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 09:10 PM Revision ea94d58f (lustrec): including invariants
- 09:10 PM Revision 5cf953ec (lustrec): Fixed horn backend to make query for properties. More work needed for cex
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@410 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 09:10 PM Revision 3c862628 (lustrec): Fixed horn backend to make query for properties. More work needed for cex
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