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

lustrec-tests / regression_tests / lustre_files / success / automata @ b745c1a8

Name	Size	Revision	Age	Author	Comment
with_properties		bd3f748f	about 2 years	Pierre-Loïc Garoche	guarantee(s)
without_properties		7a4e6825	almost 4 years	Pierre-Loïc Garoche	conditional use of zustre
CMakeLists.txt	183 Bytes	b56f648d	over 4 years	Hamza Bourbouh	add clocks folder to tests

#	Date	Author	Comment
bd3f748f	03/21/2019 05:12 PM	Pierre-Loïc Garoche	guarantee(s)
b5c4cae5	11/14/2018 06:40 PM	Pierre-Loïc Garoche	Moved to cocospec contract
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)
7a4e6825	05/05/2017 10:24 PM	Pierre-Loïc Garoche	conditional use of zustre
af44cb25	11/30/2016 12:38 AM	Hamza Bourbouh	update folders
5600dad4	11/30/2016 12:28 AM	Hamza Bourbouh	update automata/with_prop folder
b56f648d	11/21/2016 03:42 PM	Hamza Bourbouh	add clocks folder to tests
02d89bbb	11/21/2016 03:29 PM	Hamza Bourbouh	add automata folder to tests

Also available in: Atom