Project

General

Profile

Activity

From 10/22/2016 to 11/20/2016

11/20/2016

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

11/19/2016

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

11/18/2016

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

11/17/2016

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

11/15/2016

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

11/14/2016

05:53 PM Lustrec-Tests Revision 6c3ea955 (lustrec-tests): add Simulink
Hamza Bourbouh

11/13/2016

03:47 AM Lustrec-Tests Revision 6304ff63 (lustrec-tests): add ctest for Stateflow
Hamza Bourbouh

11/12/2016

03:35 AM Lustrec-Tests Revision 270fffd4 (lustrec-tests): compare C binary with reference outputs
Hamza Bourbouh

11/10/2016

06:10 PM Lustrec-Tests Revision 90aa60de (lustrec-tests): add README
Hamza Bourbouh
06:08 PM Lustrec-Tests Revision eb639349 (lustrec-tests): add regression tests with cmake
Hamza Bourbouh

11/09/2016

09:14 AM Lustrec-Tests Revision 46fa5a52 (lustrec-tests): Cex of unschedulable node
Pierre-Loïc Garoche
07:11 AM Revision 6eb92970 (lustrec): explaining our automaton
Pierre-Loïc Garoche
 

Also available in: Atom