update automata/with_prop folder
factorize kind_fmcad08 in one cmake file
add strategie 1
add mpfr test
add zustre
modify lustre_find
add testing script
add linear_ctl
add module helpfull functions
update clockes examples
add automata folder to tests
add adrien test folder
add memory2 tests
add targets
compare Zustre xml with lustrec binary
add kind_fmcad08/large to tests
add horn option for Stateflow
add Simulink
compare C binary with reference outputs
add regression tests with cmake