From 04/06/2019 to 05/05/2019


11:54 AM Revision fbe52313 (lustrec): Correction d'import
Claude Sodokin


02:09 PM Revision 9213bd21 (lustrec): Merge branch 'unstable' of into vhdl
Arnaud Dieumegard


10:29 PM Revision dc732cf2 (lustrec): Solved scopes print order
Pierre-Loïc Garoche
01:53 PM Revision 05f85b44 (lustrec): Ada: Start cleaning Ada to prepare for why beckend
Guillaume DAVY


12:55 PM Revision c1f565cd (lustrec): Merge branch 'ada' of into ada
Guillaume DAVY
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...
Guillaume DAVY


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...
Hamza Bourbouh
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 ... Hamza Bourbouh


03:57 PM Revision 1d95f425 (lustrec): Debug en cours sur les calculs Salsa
Pierre-Loïc Garoche
03:16 PM Revision 325f07c0 (lustrec): doc: use SVG format instead of PNG for dependency graph
Christophe Garion
03:09 PM Revision aa85bd44 (lustrec): Doc: update rule and remove old module in odocl
Guillaume DAVY

Also available in: Atom