/regression_tests/lustre_files/success - Repository - Lustrec-Tests

lustrec-tests/regression_tests/lustre_files/success @ a3c5526d

Name	Size	Revision	Age	Author	Comment
Simulink		a3c5526d	over 8 years	Hamza Bourbouh	add targets
Stateflow		a3c5526d	over 8 years	Hamza Bourbouh	add targets
kind_fmcad08		a3c5526d	over 8 years	Hamza Bourbouh	add targets
CMakeLists.txt	125 Bytes	fa9e78e5	over 8 years	Hamza Bourbouh	add kind_fmcad08/large to tests

#	Date	Author	Comment
a3c5526d	11/18/2016 05:00 PM	Hamza Bourbouh	add targets
2d6a9bb3	11/18/2016 01:55 AM	Hamza Bourbouh	compare Zustre xml with lustrec binary
7d3c8bd3	11/17/2016 10:23 AM	Hamza Bourbouh	clean repo
fa9e78e5	11/17/2016 12:34 AM	Hamza Bourbouh	add kind_fmcad08/large to tests
b2b5e09a	11/15/2016 01:49 AM	Hamza Bourbouh	add horn option for Stateflow
6c3ea955	11/14/2016 05:53 PM	Hamza Bourbouh	add Simulink
6304ff63	11/13/2016 03:47 AM	Hamza Bourbouh	add ctest for Stateflow
270fffd4	11/12/2016 03:35 AM	Hamza Bourbouh	compare C binary with reference outputs
eb639349	11/10/2016 06:08 PM	Hamza Bourbouh	add regression tests with cmake

Also available in: Atom