History | View | Annotate | Download (2.44 KB)
More tests
conditional use of zustre
update Simulink folder
factorize kind_fmcad08 in one cmake file
add automata folder to tests
add kind/simulation tests
add kind/protocol tests
add kind/misc tests
add memory2 tests
add kind/memory1 test
clean repo