update adrien folder
update Simulink folder
factorize kind_fmcad08 in one cmake file
add strategie 1
add safety folder
add lusic CMakeLists
add mpfr CMakeLists
add mpfr test
add linear_ctl
add lego_robot folder to tests
update clockes examples
add clocks folder to tests
add automata folder to tests
add adrien test folder
add kind/simulation tests
add kind/protocol tests
add kind/misc tests
add memory2 tests
add kind/memory1 test
change kind folder
add targets
compare Zustre xml with lustrec binary
clean repo
add kind_fmcad08/large to tests
add horn option for Stateflow
add Simulink
add ctest for Stateflow
compare C binary with reference outputs
add regression tests with cmake