Skip to content

Release v1.1.2 - unified SMT interface
Compare
Choose a tag to compare
@Bo-Yuan-Huang Bo-Yuan-Huang released this 21 Jul 02:35
· 37 commits to master since this release
v1.1.2
e294b7d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • New SmtShim to provide a unified interface for both z3 and smt-switch.
  • Update smt-switch interface for their new releases.
  • New pass SanityCheckAndFix for checking instruction set completeness and determinism (hierarchically).
  • Unify ExprFuse and ast_fuse into namespace asthub
Assets 2
Loading