Project

General

Profile

Activity

From 04/10/2019 to 05/09/2019

05/09/2019

10:19 AM Revision e5d77428 (lustrec): Solved issue btw mpfr and conv functions (int_to_real was not handled)
Pierre-Loïc Garoche

05/07/2019

09:44 AM Lustrec-Tests Revision 5616240d (lustrec-tests): Added some vhdl examples for vhdl->lustre translation and a fi...
Arnaud Dieumegard

05/06/2019

05:06 PM Revision 722a2cb6 (lustrec): Merge lustrec-salsa
Arnaud Dieumegard
02:46 PM Lustrec-Tests Revision 35f264d8 (lustrec-tests): Premier exemple de code VHDL
Claude SODOKIN

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 in...
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 s...
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 a...
hbourbou
02:27 AM Bug #77 (Closed): lustrec-seal branch failed to compile a valid lustre file (compiled by master b...
lustrec -version
Lustrec compiler, version 1.7-1031-lustrec-seal (Xia/Huai-dev)
Attached is a lustre file that is...
Hamza Bourbouh

04/16/2019

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