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

lustrec-tests/regression_tests/lustre_files/success/kind_fmcad08 @ 82c328c1

Name	Size	Revision	Age	Author	Comment
large		b745c1a8	over 4 years	Pierre-Loïc Garoche	Renamed main node as top
memory1		bd3f748f	over 4 years	Pierre-Loïc Garoche	guarantee(s)
memory2		bd3f748f	over 4 years	Pierre-Loïc Garoche	guarantee(s)
misc		bd3f748f	over 4 years	Pierre-Loïc Garoche	guarantee(s)
protocol		bd3f748f	over 4 years	Pierre-Loïc Garoche	guarantee(s)
simulation		bd3f748f	over 4 years	Pierre-Loïc Garoche	guarantee(s)
CMakeLists.txt	2.68 KB	82c328c1	about 4 years	Pierre-Loïc Garoche	seal target

#	Date	Author	Comment
82c328c1	11/22/2019 03:09 AM	Pierre-Loïc Garoche	seal target
b745c1a8	07/04/2019 05:14 PM	Pierre-Loïc Garoche	Renamed main node as top
e45f370e	03/22/2019 01:46 AM	hbourbou	add case where emf order is not good
bd3f748f	03/21/2019 05:12 PM	Pierre-Loïc Garoche	guarantee(s)
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

Also available in: Atom