Renaminig lustre contracts from ensures to guaranteesWill require the latest cocospec branch to compile (before it is integrated in the unstable/master branches)
Improving integration with CDash
Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
add Kind2Results
Updates some expected outputs
add zustre results
add helpful_functions to the modules folder
More functions
More tests
New machine types related test cases
add json example for SF IR
MPFR and EMF checks
EMF validation
- cmake compare becomes regular diff so output is printed- updated reference value to default 15 digits
Improved zustre output comparison
Improving Zustre output check
conditional use of zustre
hints to drive search of lustrec binary
- no Zustre does not interrupt test, it just disable horn related tests- commit to cavale cdash(board) instead of my.cdash.org
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