Activity
From 11/04/2016 to 12/03/2016
12/02/2016
- 11:39 AM Lustrec-Tests Revision 01b56d34 (lustrec-tests): controller folder
11/30/2016
- 12:38 AM Lustrec-Tests Revision af44cb25 (lustrec-tests): update folders
- 12:28 AM Lustrec-Tests Revision 5600dad4 (lustrec-tests): update automata/with_prop folder
- 12:05 AM Lustrec-Tests Revision 79ef5fc5 (lustrec-tests): update Stateflow folder
- 12:04 AM Lustrec-Tests Revision cc6eda98 (lustrec-tests): update adrien folder
11/29/2016
- 11:57 PM Lustrec-Tests Revision 0c9457a0 (lustrec-tests): update Simulink folder
- 11:24 PM Lustrec-Tests Revision cac038b0 (lustrec-tests): factorize kind_fmcad08 in one cmake file
- 02:52 AM Lustrec-Tests Revision c79336a0 (lustrec-tests): add strategie 1
11/25/2016
- 04:53 PM Lustrec-Tests Revision 0a169f3b (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 03:07 PM Lustrec-Tests Revision 47714cf4 (lustrec-tests): add safety folder
- 02:53 PM Lustrec-Tests Revision 4f76e5f5 (lustrec-tests): add lusic CMakeLists
- 02:44 PM Lustrec-Tests Revision 4d5a2e6e (lustrec-tests): add mpfr CMakeLists
11/24/2016
- 05:38 PM Lustrec-Tests Revision 7f14b1e1 (lustrec-tests): add mpfr test
11/22/2016
- 07:38 PM Revision 9c734e5f (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
- 02:59 PM Lustrec-Tests Revision 3b46acb1 (lustrec-tests): add zustre
- 02:35 PM Lustrec-Tests Revision 059d46aa (lustrec-tests): modify lustre_find
- 02:28 PM Lustrec-Tests Revision b406445c (lustrec-tests): add zustre
- 02:15 PM Lustrec-Tests Revision 07e37d22 (lustrec-tests): add testing script
11/21/2016
- 10:20 PM Lustrec-Tests Revision 4ce7401e (lustrec-tests): add linear_ctl
- 04:57 PM Lustrec-Tests Revision 26c58229 (lustrec-tests): add module helpfull functions
- 04:45 PM Lustrec-Tests Revision de6ea8a2 (lustrec-tests): add lego_robot folder to tests
- 04:27 PM Lustrec-Tests Revision 5c5b60f4 (lustrec-tests): update clockes examples
- 03:42 PM Lustrec-Tests Revision b56f648d (lustrec-tests): add clocks folder to tests
- 03:29 PM Lustrec-Tests Revision 02d89bbb (lustrec-tests): add automata folder to tests
11/20/2016
- 02:15 AM Lustrec-Tests Revision 55ea7210 (lustrec-tests): add adrien test folder
11/19/2016
- 09:33 PM Lustrec-Tests Revision b14ec4fb (lustrec-tests): add kind/simulation tests
- 07:30 PM Lustrec-Tests Revision e91600dd (lustrec-tests): add kind/protocol tests
- 07:21 PM Lustrec-Tests Revision 8aaf9f57 (lustrec-tests): add kind/misc tests
- 07:07 PM Lustrec-Tests Revision f833854b (lustrec-tests): add memory2 tests
- 06:27 PM Lustrec-Tests Revision b7026160 (lustrec-tests): add kind/memory1 test
11/18/2016
- 05:14 PM Lustrec-Tests Revision b8dc00eb (lustrec-tests): change kind folder
- 05:00 PM Lustrec-Tests Revision a3c5526d (lustrec-tests): add targets
- 01:55 AM Lustrec-Tests Revision 2d6a9bb3 (lustrec-tests): compare Zustre xml with lustrec binary
11/17/2016
- 10:23 AM Lustrec-Tests Revision 7d3c8bd3 (lustrec-tests): clean repo
- 12:34 AM Lustrec-Tests Revision fa9e78e5 (lustrec-tests): add kind_fmcad08/large to tests
11/15/2016
- 01:49 AM Lustrec-Tests Revision b2b5e09a (lustrec-tests): add horn option for Stateflow
11/14/2016
- 05:53 PM Lustrec-Tests Revision 6c3ea955 (lustrec-tests): add Simulink
11/13/2016
- 03:47 AM Lustrec-Tests Revision 6304ff63 (lustrec-tests): add ctest for Stateflow
11/12/2016
- 03:35 AM Lustrec-Tests Revision 270fffd4 (lustrec-tests): compare C binary with reference outputs
11/10/2016
- 06:10 PM Lustrec-Tests Revision 90aa60de (lustrec-tests): add README
- 06:08 PM Lustrec-Tests Revision eb639349 (lustrec-tests): add regression tests with cmake
11/09/2016
- 09:14 AM Lustrec-Tests Revision 46fa5a52 (lustrec-tests): Cex of unschedulable node
- 07:11 AM Revision 6eb92970 (lustrec): explaining our automaton
Also available in: Atom