Skip to content

v1.12.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Oct 15:06
· 211 commits to main since this release
v1.12.0
91027fc
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • test: share callLit/l2Count harness; drop covered duplicate cases by @wmzy in #166
  • Add @nudo:assume lemmas, fix 38 differential bugs, P4 class diagnostics by @wmzy in #167
  • Fix/issue 129 by @wmzy in #168
  • Version Packages by @github-actions[bot] in #169

Full Changelog: v1.11.3...v1.12.0

Contributors

wmzy and nudo
Assets 3
Loading