Project

General

Profile

Activity

From 11/22/2016 to 12/21/2016

12/21/2016

05:06 PM Revision 59ac5058 (lustrec): Post 1.3 dev
Frederic Boniol
05:04 PM Revision dd74ca16 (lustrec): Document release process
Frederic Boniol
04:55 PM lustrec-1.3-Xia-Zhong-Kang-src.tgz
release 1.3 Xia/Zhong-Kang Frederic Boniol
04:34 PM Revision bf930280 (lustrec): Prepare 1.3 release
Frederic Boniol

12/20/2016

05:51 PM Revision 641493cf (lustrec): Suppress some commented code
Eric NOULARD
04:18 PM Revision ecba3795 (lustrec): add lusi option
Frederic Boniol

12/08/2016

05:55 PM Revision 822f31e1 (lustrec): updating to onera version 30f766a:2016-12-04
Teme Kahsai
05:46 PM Revision 323c5b19 (lustrec): updating to onera version 30f766a:2016-12-04
Teme Kahsai
05:37 PM Revision 3b2bd83d (lustrec): updating to onera version 30f766a:2016-12-04
Teme Kahsai

12/04/2016

03:35 PM Revision 30f766ab (lustrec): Suppress -nowarn argument to find command line.
This is not needed on Linux and it is not supported on Darwin (Mac OS) Eric NOULARD

12/02/2016

11:39 AM Lustrec-Tests Revision 01b56d34 (lustrec-tests): controller folder
Hamza Bourbouh

11/29/2016

12:38 AM Lustrec-Tests Revision af44cb25 (lustrec-tests): update folders
Hamza Bourbouh
12:28 AM Lustrec-Tests Revision 5600dad4 (lustrec-tests): update automata/with_prop folder
Hamza Bourbouh
12:05 AM Lustrec-Tests Revision 79ef5fc5 (lustrec-tests): update Stateflow folder
Hamza Bourbouh
12:04 AM Lustrec-Tests Revision cc6eda98 (lustrec-tests): update adrien folder
Hamza Bourbouh
11:57 PM Lustrec-Tests Revision 0c9457a0 (lustrec-tests): update Simulink folder
Hamza Bourbouh
11:24 PM Lustrec-Tests Revision cac038b0 (lustrec-tests): factorize kind_fmcad08 in one cmake file
Hamza Bourbouh
02:52 AM Lustrec-Tests Revision c79336a0 (lustrec-tests): add strategie 1
Hamza Bourbouh

11/25/2016

04:53 PM Lustrec-Tests Revision 0a169f3b (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
03:07 PM Lustrec-Tests Revision 47714cf4 (lustrec-tests): add safety folder
Hamza Bourbouh
02:53 PM Lustrec-Tests Revision 4f76e5f5 (lustrec-tests): add lusic CMakeLists
Hamza Bourbouh
02:44 PM Lustrec-Tests Revision 4d5a2e6e (lustrec-tests): add mpfr CMakeLists
Hamza Bourbouh

11/24/2016

05:38 PM Lustrec-Tests Revision 7f14b1e1 (lustrec-tests): add mpfr test
Hamza Bourbouh

11/22/2016

07:38 PM Revision 9c734e5f (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Pierre-Loïc Garoche
02:59 PM Lustrec-Tests Revision 3b46acb1 (lustrec-tests): add zustre
Hamza Bourbouh
02:35 PM Lustrec-Tests Revision 059d46aa (lustrec-tests): modify lustre_find
Hamza Bourbouh
02:28 PM Lustrec-Tests Revision b406445c (lustrec-tests): add zustre
Hamza Bourbouh
02:15 PM Lustrec-Tests Revision 07e37d22 (lustrec-tests): add testing script
Hamza Bourbouh
 

Also available in: Atom