Skip to content

0.5.0

Choose a tag to compare

View all tags
@Saloed Saloed released this 14 Apr 13:42
· 57 commits to main since this release
0.5.0
551cdcf
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

What's Changed

  • Multi indexed arrays in cvc5
  • Uninterpreted sort values
  • Faster array select simplification
  • Context bound default values
  • Nested non-recursive transformers
  • Fix Yices bindings
Assets 14
Loading