/regression_tests/lustre_files - Repository - Lustrec-Tests

lustrec-tests/regression_tests/lustre_files @ 2d37a1e1

Name	Size	Revision	Age	Author	Comment
failed		af44cb25	over 8 years	Hamza Bourbouh	update folders
success		2d37a1e1	over 6 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
CMakeLists.txt	65 Bytes	eb639349	over 8 years	Hamza Bourbouh	add regression tests with cmake

#	Date	Author	Comment
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
4f47032a	06/22/2018 08:54 AM	Pierre-Loïc Garoche	Updates some expected outputs
ddc8cb0f	06/22/2018 08:51 AM	Bourbouh	add zustre results
a603f261	01/31/2018 09:58 AM	Pierre-Loïc Garoche	More tests
8af9a0b9	01/31/2018 06:13 AM	Pierre-Loïc Garoche	New machine types related test cases
b9724665	12/19/2017 02:24 AM	Bourbouh	add json example for SF IR
67d911bc	12/13/2017 05:32 PM	Pierre-Loïc Garoche	MPFR and EMF checks

Also available in: Atom