Skip to content

KeY-2.2.1 (2014-05-27)

Choose a tag to compare

View all tags
@wadoon wadoon released this 30 Jan 13:13
· 14265 commits to main since this release
KeY-2.2.1
2cff144
  • Test case generation using bounded SMT (requires Z3, OpenJML)
  • Bug fixes
Assets 2
Loading