stateflow: add unit tests for JSON parser
Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
seal target
Seal targets
Added function pure real
add lm challenges
array example with spec
Clock issue
add simpler triplex example
New folder for extraction testing
add ada_diff.py
Renamed main node as top
Missing dep for ADA targets
Solving issue in the ADA test cases
rapport de stage modèle word
base3_correct intégré et simulé ous vivado
Added some vhdl examples for vhdl->lustre translation and a first proposition of encoding
Premier exemple de code VHDL
add case where emf order is not good
add examples with clock
Updated scripts (emf->json)
Top level contracts are comments
Also available in: Atom