Activity

From 02/16/2015 to 03/17/2015

11:09 AM Revision ea1c2906 (lustrec): Changed the option horntraces to a general traces option: This annotation phases would have to be moved in optimization of normalized code
git-svn-id: https://cavale.enseeih... Pierre-Loïc Garoche
11:09 AM Revision c065827c (lustrec): Changed the option horntraces to a general traces option: This annotation phases would have to be moved in optimization of normalized code Pierre-Loïc Garoche

11:48 PM Revision 3ca6d126 (lustrec): Reactivated the generation of traceability information: Changed the test-compile to use the horn-traces and the horn-queries option
git-svn-id: https://cavale.enseeiht.fr/... Pierre-Loïc Garoche
11:48 PM Revision e9c64a30 (lustrec): Reactivated the generation of traceability information: Changed the test-compile to use the horn-traces and the horn-queries option Pierre-Loïc Garoche

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 Teme Kahsai
09:10 PM Revision 56d3f3e1 (lustrec): README.md edited online with Bitbucket: Teme Kahsai
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 Teme Kahsai
09:10 PM Revision f133f964 (lustrec): added invariants: Teme Kahsai
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 Teme Kahsai
09:10 PM Revision ea94d58f (lustrec): including invariants: Teme Kahsai
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 Teme Kahsai
09:10 PM Revision 3c862628 (lustrec): Fixed horn backend to make query for properties. More work needed for cex: Teme Kahsai

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:05 AM Revision 29f59e36 (lustrec): Recopie de la branche simu dans le trunk lustrec. Reste a modifier le machine code: 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
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

Also available in: Atom

CristalCaveGem » LustreC