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

Name	Size	Revision	Age	Author	Comment
Simulink		8451150a	almost 2 years	hbourbou	add output references
Stateflow		9b45f3df	almost 2 years	Pierre-Loïc Garoche	renamed mode as mode_ to avoid collision with t...
adrien		cc6eda98	almost 4 years	Hamza Bourbouh	update adrien folder
automata		b5c4cae5	almost 2 years	Pierre-Loïc Garoche	Moved to cocospec contract
clocks		a603f261	over 2 years	Pierre-Loïc Garoche	More tests
kind_fmcad08		9b45f3df	almost 2 years	Pierre-Loïc Garoche	renamed mode as mode_ to avoid collision with t...
lego_robot		01b56d34	almost 4 years	Hamza Bourbouh	controller folder
linear_ctl		8451150a	almost 2 years	hbourbou	add output references
lusic		4f76e5f5	almost 4 years	Hamza Bourbouh	add lusic CMakeLists
machine_types		2d37a1e1	about 2 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
mpfr		8451150a	almost 2 years	hbourbou	add output references
safety		47714cf4	almost 4 years	Hamza Bourbouh	add safety folder
CMakeLists.txt	366 Bytes	a603f261	over 2 years	Pierre-Loïc Garoche	More tests

#	Date	Author	Comment
8451150a	11/15/2018 08:49 PM	hbourbou	add output references
9b45f3df	11/15/2018 07:40 PM	Pierre-Loïc Garoche	renamed mode as mode_ to avoid collision with the mode keyword of cocospec.
f4893943	11/15/2018 07:33 AM	Pierre-Loïc Garoche	Script now compare the output with ones compiled with the same options
b5c4cae5	11/14/2018 06:40 PM	Pierre-Loïc Garoche	Moved to cocospec contract
94da9360	11/14/2018 06:39 PM	Pierre-Loïc Garoche	Restructured mpfr folder tests to rely on highlevel strategies
72e9ca2d	11/14/2018 06:35 PM	Pierre-Loïc Garoche	Renamed math in lustrec_math
2d37a1e1	10/08/2018 04:49 PM	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guarantees Will require the latest cocospec branch to compile (before it is integrated in the unstable/master branches)
1fd649ea	06/22/2018 10:28 PM	Pierre-Loïc Garoche	Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
2e549261	06/22/2018 08:33 PM	Bourbouh	add Kind2Results
4b18af93	06/22/2018 08:56 AM	Pierre-Loïc Garoche	Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests

CristalCaveGem » LustreC » Lustrec-Tests