CristalCaveGem » LustreC » Lustrec-Tests

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

11/14/2016

05:53 PM Revision 6c3ea955 (lustrec-tests): add Simulink

Hamza Bourbouh

11/13/2016

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

Hamza Bourbouh

11/12/2016

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

Hamza Bourbouh

11/10/2016

06:10 PM Revision 90aa60de (lustrec-tests): add README

Hamza Bourbouh

06:08 PM Revision eb639349 (lustrec-tests): add regression tests with cmake

Hamza Bourbouh

11/09/2016

09:14 AM Revision 46fa5a52 (lustrec-tests): Cex of unschedulable node

Pierre-Loïc Garoche