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

Name	Size	Revision	Age	Author	Comment
Simulink		c34a50ff	about 6 years	Pierre-Loïc Garoche	Better naming
Stateflow		16400d02	about 6 years	Pierre-Loïc Garoche	Updated ref output
adrien		cc6eda98	about 8 years	Hamza Bourbouh	update adrien folder
automata		b5c4cae5	about 6 years	Pierre-Loïc Garoche	Moved to cocospec contract
clocks		c34a50ff	about 6 years	Pierre-Loïc Garoche	Better naming
include		b03d5034	about 6 years	hbourbou	add include test
kind_fmcad08		6f6af7b8	about 6 years	hbourbou	update zustre reference
lego_robot		01b56d34	about 8 years	Hamza Bourbouh	controller folder
linear_ctl		8451150a	about 6 years	hbourbou	add output references
lusic		4f76e5f5	about 8 years	Hamza Bourbouh	add lusic CMakeLists
machine_types		c34a50ff	about 6 years	Pierre-Loïc Garoche	Better naming
mpfr		16400d02	about 6 years	Pierre-Loïc Garoche	Updated ref output
safety		47714cf4	about 8 years	Hamza Bourbouh	add safety folder
CMakeLists.txt	366 Bytes	a603f261	almost 7 years	Pierre-Loïc Garoche	More tests

CristalCaveGem » LustreC » Lustrec-Tests

#	Date	Author	Comment
b03d5034	11/21/2018 03:44 AM	hbourbou	add include test
6f6af7b8	11/16/2018 09:53 PM	hbourbou	update zustre reference
16400d02	11/16/2018 04:13 AM	Pierre-Loïc Garoche	Updated ref output
58eac50a	11/16/2018 12:54 AM	Pierre-Loïc Garoche	Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
c34a50ff	11/16/2018 12:49 AM	Pierre-Loïc Garoche	Better naming
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