CoCoSim first tagged release
Pre-release
Pre-release
This is the first tag of CoCoSim. It contains the following features:
- Support for Stateflow
- Support for backend solvers Kind2 and JKind
- Fix for a lot of bugs
- Limited support for emebedded matlab