CoCoSim v.0.3

• Fix bugs
• A Gui based interaction
• Enabled Pre-processing by default
• Fixed bugs and various issues

CoCoSim v.0.2

• A Gui based interaction
• Enabled Pre-processing by default
• Fixed bugs and various issues

CoCoSim v.0.15

• Added support for CoCoSpec (after a safe property, a contract is generated)
• New version of Zustre and Kind2
• Fixed lots of bugs

CoCoSim first tagged 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