example of lustre node with external C code
controller folder
update folders
update automata/with_prop folder
update Stateflow folder
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 zustre
modify lustre_find
add testing script
add linear_ctl
add module helpfull functions
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 README
add regression tests with cmake
added example in automata/restart_example.lus
tawoa
new version
more details
microwave basic
mini automata
Import tests in fresh repo