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

lustrec-tests/regression_tests/lustre_files/success/machine_types @ b03d5034

Name	Size	Revision	Age	Author	Comment
kind_fmcad		2d37a1e1	over 6 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
simple		8af9a0b9	almost 7 years	Pierre-Loïc Garoche	New machine types related test cases
CMakeLists.txt	2.5 KB	c34a50ff	about 6 years	Pierre-Loïc Garoche	Better naming

#	Date	Author	Comment
c34a50ff	11/16/2018 12:49 AM	Pierre-Loïc Garoche	Better naming
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)
8af9a0b9	01/31/2018 06:13 AM	Pierre-Loïc Garoche	New machine types related test cases

Also available in: Atom