Skip to content

Kind 2 v2.1.1
Compare
Choose a tag to compare
@github-actions github-actions released this 26 Dec 22:11
· 518 commits to develop since this release
v2.1.1
78a693d

This release includes some minor improvements and various fixes. Notably:

  • Fix soundness bug in IC3IA engine.
  • Allow variables with subrange types in the interface of a contract node.
  • Accept new versions of cvc5 for proof production (up to 1.1.0).
Assets 6
Loading