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

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

Name	Size	Revision	Age	Author	Comment
with_properties		b5c4cae5	about 6 years	Pierre-Loïc Garoche	Moved to cocospec contract
without_properties		7a4e6825	over 7 years	Pierre-Loïc Garoche	conditional use of zustre
CMakeLists.txt	183 Bytes	b56f648d	about 8 years	Hamza Bourbouh	add clocks folder to tests

#	Date	Author	Comment
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