/regression_tests/lustre_files/success/kind_fmcad08/CMakeLists.txt - Changes - Lustrec-Tests

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / CMakeLists.txt @ 2d37a1e1

History | View | Annotate | Download (2.44 KB)

#	Date	Author	Comment
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
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
e91600dd	11/19/2016 07:30 PM	Hamza Bourbouh	add kind/protocol tests
8aaf9f57	11/19/2016 07:21 PM	Hamza Bourbouh	add kind/misc tests
f833854b	11/19/2016 07:07 PM	Hamza Bourbouh	add memory2 tests
b7026160	11/19/2016 06:27 PM	Hamza Bourbouh	add kind/memory1 test
7d3c8bd3	11/17/2016 10:23 AM	Hamza Bourbouh	clean repo