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

Name	Size	Revision	Age	Author	Comment
large		2d37a1e1	over 6 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
memory1		2d37a1e1	over 6 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
memory2		2d37a1e1	over 6 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
misc		2d37a1e1	over 6 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
protocol		2d37a1e1	over 6 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
simulation		2d37a1e1	over 6 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
CMakeLists.txt	2.44 KB	a603f261	about 7 years	Pierre-Loïc Garoche	More tests

#	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)
2e549261	06/22/2018 08:33 PM	Bourbouh	add Kind2Results
ddc8cb0f	06/22/2018 08:51 AM	Bourbouh	add zustre results
a603f261	01/31/2018 09:58 AM	Pierre-Loïc Garoche	More tests
7a4e6825	05/05/2017 10:24 PM	Pierre-Loïc Garoche	conditional use of zustre
0c9457a0	11/29/2016 11:57 PM	Hamza Bourbouh	update Simulink folder
cac038b0	11/29/2016 11:24 PM	Hamza Bourbouh	factorize kind_fmcad08 in one cmake file
c79336a0	11/29/2016 02:52 AM	Hamza Bourbouh	add strategie 1
02d89bbb	11/21/2016 03:29 PM	Hamza Bourbouh	add automata folder to tests
b14ec4fb	11/19/2016 09:33 PM	Hamza Bourbouh	add kind/simulation tests

CristalCaveGem » LustreC » Lustrec-Tests