Skip to content

KeY-2.0.2 (2013-09-19)

Choose a tag to compare

View all tags
@wadoon wadoon released this 30 Jan 13:11
· 16758 commits to main since this release
KeY-2.0.2
ccdb7ef
  • Support for latest versions of Z3 and CVC3
  • Windows 8 compatibility
  • Fix a soundness issue with types and heap access
  • Various bug fixes
Assets 2
Loading