add more contracts examples
Cocospec files
Updates some expected outputs
stopwatch
Simple test to show cex with zustre
Improved zustre output comparison
Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
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
add strategie 1
add lusic CMakeLists
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