stopwatch
Simple test to show cex with zustre
More functions
More tests
New machine types related test cases
add new format
add json example for SF IR
Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
MPFR and EMF checks
EMF validation
Add stateflow json example
- 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
Added Jack and John's example: rendezvous maneuver
Example of integration of S-function code into Lustre.
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
Cex of unschedulable node
added example in automata/restart_example.lus
tawoa
Generated file in Horn
new version
more details
microwave basic
mini automata
Import tests in fresh repo