Activity
From 04/06/2019 to 05/05/2019
05/03/2019
04/30/2019
04/29/2019
- 10:29 PM Revision dc732cf2 (lustrec): Solved scopes print order
- 01:53 PM Revision 05f85b44 (lustrec): Ada: Start cleaning Ada to prepare for why beckend
04/19/2019
- 12:55 PM Revision c1f565cd (lustrec): Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
- 12:47 PM Revision 173a2a8f (lustrec): Ada: Lot of specification is exported in Ada. We use ghost code to store all states,
- we generate the transition pridicate but also the invariant. But two problems, occured.
The first one is a visibility...
04/17/2019
- 02:27 AM Revision 6f3a65e2 (lustrec): No need for open lustrec_math inside simulink_math_fcn. It creates an error when they are both imported in the same lustre file.
- 02:27 AM Bug #77 (Closed): lustrec-seal branch failed to compile a valid lustre file (compiled by master branch)
- lustrec -version
Lustrec compiler, version 1.7-1031-lustrec-seal (Xia/Huai-dev)
Attached is a lustre file that is... - 01:50 AM Bug #71 (Closed): C code generation failed
- every operator was using a boolean expression instead of a bool clock variable. Solved by creating local variable of ...
04/11/2019
Also available in: Atom