Project

General

Profile

Activity

From 12/13/2017 to 01/11/2018

12/20/2017

12:29 AM Revision 9ae027f8 (lustrec): [stateflow] some progress, linking the parsed json to lustrec engine...
Pierre-Loïc Garoche
12:29 AM Revision aa0cc4e8 (lustrec): [general] adding more entry rules for lustre parser to extract expre...
Pierre-Loïc Garoche
03:52 PM Lustrec-Tests Revision 762f339c (lustrec-tests): add new format
Bourbouh

12/19/2017

06:01 PM Revision 50dadc21 (lustrec): [global] reordered local vars, keeping the declared ones before the ...
Pierre-Loïc Garoche
05:51 PM Revision 9b8acef5 (lustrec): [salsa] cleaning verbose logs
Pierre-Loïc Garoche
02:24 AM Lustrec-Tests Revision b9724665 (lustrec-tests): add json example for SF IR
Bourbouh

12/18/2017

09:57 AM Revision 333e3a25 (lustrec): [general] Refactor get_node_eqs to produce (eqs, auts) with automatons
Pierre-Loïc Garoche

12/14/2017

08:57 PM Revision 8b87d0a5 (lustrec): Forcing mpfr status when -real mpfr asked. Default precision is 100 ...
Pierre-Loïc Garoche
11:24 AM Revision e304cd81 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec in...
Xavier Thirioux
09:50 AM Revision 0179e76f (lustrec): add uninstall target in Makefile
Christophe Garion

12/13/2017

05:32 PM Lustrec-Tests Revision 5bed65ad (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
05:32 PM Lustrec-Tests Revision 67d911bc (lustrec-tests): MPFR and EMF checks
Pierre-Loïc Garoche
05:31 PM Lustrec-Tests Revision 29e431d5 (lustrec-tests): EMF validation
Pierre-Loïc Garoche
05:09 PM Revision ea45924c (lustrec): fix conflicts
Christophe Garion
05:08 PM Revision 6b2f1b5d (lustrec): correct install target in Makefile
Christophe Garion
05:03 PM Lustrec-Tests Revision 910349ce (lustrec-tests): Add stateflow json example
Bourbouh
04:08 PM Revision 1292d0aa (lustrec): correct install target in Makefile
Christophe Garion
 

Also available in: Atom