add output references
renamed mode as mode_ to avoid collision with the mode keyword of cocospec.
Script now compare the output with ones compiled with the same options
Moved to cocospec contract
Restructured mpfr folder tests to rely on highlevel strategies
Improved the diff tests: a new option allow to use the java test parameterized by epsilon (precision). Default bnehavior is using regular diff on files
Renamed math in lustrec_math
Improved ctest configuration
Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
Update of makefile
Update of test cases with new version of Linty VHDL parser
Added makefile to launch tests
Scheduling issue
Renaminig lustre contracts from ensures to guaranteesWill require the latest cocospec branch to compile (before it is integrated in the unstable/master branches)
Cocospec
add more contracts examples
Correct version of the two_counters exported json file
Cocospec files
Added two_counters example
Counters, programmable pulse, d-latch VHDL examples
Improving integration with CDash
Update of d-latch sample
Added test laucher for lustre generation
Continue even if generation fails
Makefile update for new version of lustrei with command line parameters
Test file update for typo
Added example from some courses
Updated tests for lustrei vhdl import
Added tests for vhdl import and export (pp)
Tiny example for zustre debugging
add Kind2Results
Updates some expected outputs
add zustre results
add json regression tests
add helpful_functions to the modules folder
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
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