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

lustrec-tests/regression_tests/lustre_files/success/machine_types/kind_fmcad @ 2d37a1e1

Name	Size	Revision	Age	Author	Comment
two_counters.lus	540 Bytes	2d37a1e1	over 6 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
two_counters_top__output_values	1.07 KB	8af9a0b9	over 7 years	Pierre-Loïc Garoche	New machine types related test cases
two_counters_top_input_values	200 Bytes	8af9a0b9	over 7 years	Pierre-Loïc Garoche	New machine types related test cases

#			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)
8af9a0b9			01/31/2018 06:13 AM	Pierre-Loïc Garoche	New machine types related test cases

Also available in: Atom