Skip to content

CoCoSim v.0.15
Compare
Choose a tag to compare
@lememta lememta released this 21 Feb 05:02
· 64 commits to master since this release
v.0.15
6a33e43
  • Added support for CoCoSpec (after a safe property, a contract is generated)
  • New version of Zustre and Kind2
  • Fixed lots of bugs
Assets 3
Loading