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

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 @ 6f6af7b8

Name	Size	Revision	Age	Author	Comment
large		6f6af7b8	almost 2 years	hbourbou	update zustre reference
memory1		2d37a1e1	about 2 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
memory2		2d37a1e1	about 2 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
misc		6f6af7b8	almost 2 years	hbourbou	update zustre reference
protocol		6f6af7b8	almost 2 years	hbourbou	update zustre reference
simulation		6f6af7b8	almost 2 years	hbourbou	update zustre reference
CMakeLists.txt	2.5 KB	c34a50ff	almost 2 years	Pierre-Loïc Garoche	Better naming

#	Date	Author	Comment
6f6af7b8	11/16/2018 09:53 PM	hbourbou	update zustre reference
c34a50ff	11/16/2018 12:49 AM	Pierre-Loïc Garoche	Better naming
9b45f3df	11/15/2018 07:40 PM	Pierre-Loïc Garoche	renamed mode as mode_ to avoid collision with the mode keyword of cocospec.
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

Also available in: Atom