Activity - Lustrec-Tests

Activity

From 11/15/2016 to 12/14/2016

12/02/2016

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

11/30/2016

12:38 AM Revision af44cb25 (lustrec-tests): update folders: Hamza Bourbouh
12:28 AM Revision 5600dad4 (lustrec-tests): update automata/with_prop folder: Hamza Bourbouh
12:05 AM Revision 79ef5fc5 (lustrec-tests): update Stateflow folder: Hamza Bourbouh
12:04 AM Revision cc6eda98 (lustrec-tests): update adrien folder: Hamza Bourbouh

11/29/2016

11:57 PM Revision 0c9457a0 (lustrec-tests): update Simulink folder: Hamza Bourbouh
11:24 PM Revision cac038b0 (lustrec-tests): factorize kind_fmcad08 in one cmake file: Hamza Bourbouh
02:52 AM Revision c79336a0 (lustrec-tests): add strategie 1: Hamza Bourbouh

11/25/2016

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

11/24/2016

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

11/22/2016

02:59 PM Revision 3b46acb1 (lustrec-tests): add zustre: Hamza Bourbouh
02:35 PM Revision 059d46aa (lustrec-tests): modify lustre_find: Hamza Bourbouh
02:28 PM Revision b406445c (lustrec-tests): add zustre: Hamza Bourbouh
02:15 PM Revision 07e37d22 (lustrec-tests): add testing script: Hamza Bourbouh

11/21/2016

10:20 PM Revision 4ce7401e (lustrec-tests): add linear_ctl: Hamza Bourbouh
04:57 PM Revision 26c58229 (lustrec-tests): add module helpfull functions: Hamza Bourbouh
04:45 PM Revision de6ea8a2 (lustrec-tests): add lego_robot folder to tests: Hamza Bourbouh
04:27 PM Revision 5c5b60f4 (lustrec-tests): update clockes examples: Hamza Bourbouh
03:42 PM Revision b56f648d (lustrec-tests): add clocks folder to tests: Hamza Bourbouh
03:29 PM Revision 02d89bbb (lustrec-tests): add automata folder to tests: Hamza Bourbouh

11/20/2016

02:15 AM Revision 55ea7210 (lustrec-tests): add adrien test folder: Hamza Bourbouh

11/19/2016

09:33 PM Revision b14ec4fb (lustrec-tests): add kind/simulation tests: Hamza Bourbouh
07:30 PM Revision e91600dd (lustrec-tests): add kind/protocol tests: Hamza Bourbouh
07:21 PM Revision 8aaf9f57 (lustrec-tests): add kind/misc tests: Hamza Bourbouh
07:07 PM Revision f833854b (lustrec-tests): add memory2 tests: Hamza Bourbouh
06:27 PM Revision b7026160 (lustrec-tests): add kind/memory1 test: Hamza Bourbouh

11/18/2016

05:14 PM Revision b8dc00eb (lustrec-tests): change kind folder: Hamza Bourbouh
05:00 PM Revision a3c5526d (lustrec-tests): add targets: Hamza Bourbouh
01:55 AM Revision 2d6a9bb3 (lustrec-tests): compare Zustre xml with lustrec binary: Hamza Bourbouh

11/17/2016

10:23 AM Revision 7d3c8bd3 (lustrec-tests): clean repo: Hamza Bourbouh
12:34 AM Revision fa9e78e5 (lustrec-tests): add kind_fmcad08/large to tests: Hamza Bourbouh

11/15/2016

01:49 AM Revision b2b5e09a (lustrec-tests): add horn option for Stateflow: Hamza Bourbouh

Also available in: Atom