Project

General

Profile

Activity

From 03/22/2019 to 04/20/2019

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

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

04/05/2019

04:37 PM Revision b5b745fb (lustrec): Ada: First support for transition predicate generation.
Guillaume DAVY
04:36 PM Revision 867276c9 (lustrec): Machine_code: Make a correction in the arrow machine creation :
use the same polymorphic type in variables and values. Guillaume DAVY

04/04/2019

04:11 PM Revision 2477d634 (lustrec): Ada: Correct some errors in printing
Guillaume DAVY
02:14 PM Revision 230b168e (lustrec): Ada: Refactor Ada Backend to reduce redundancy, make it more modular and
more simple. Guillaume DAVY

03/22/2019

01:51 PM Revision 2eee868b (lustrec): Merge branch 'lustrec-seal' into ada
Guillaume DAVY
01:50 PM Revision 826063db (lustrec): Ada: Correct ada main to handle statelles top level node
Guillaume DAVY
02:16 AM Revision 9fb1ab37 (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
Garoche
02:15 AM Revision 75a7b65b (lustrec): install notes
Garoche
02:05 AM Revision a4c3d888 (lustrec): rev machines in emf
Pierre-Loïc Garoche
01:46 AM Lustrec-Tests Revision e45f370e (lustrec-tests): add case where emf order is not good
hbourbou
01:40 AM Lustrec-Tests Revision 160ddb22 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
hbourbou
01:39 AM Lustrec-Tests Revision b58cc410 (lustrec-tests): add examples with clock
hbourbou
01:02 AM Revision 1f868027 (lustrec): JSON EMF
Pierre-Loïc Garoche
12:45 AM Lustrec-Tests Revision 9ca1404d (lustrec-tests): Updated scripts (emf->json)
Pierre-Loïc Garoche
 

Also available in: Atom