Project

General

Profile

Activity

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

05/03/2019

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

04/30/2019

02:09 PM Revision 9213bd21 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into vhdl
Arnaud Dieumegard

04/29/2019

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

04/19/2019

12:55 PM Revision c1f565cd (lustrec): Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec 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

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.
hbourbou
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

04/11/2019

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