Skip to content

v1.1.1
Compare
Choose a tag to compare
@Bo-Yuan-Huang Bo-Yuan-Huang released this 14 Jul 04:06
· 53 commits to master since this release
v1.1.1
71fbdab
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 pass SimplifySyntactic
  • ILAtor support for initial condition setup using SMT queries
  • ILAtor bug fix in cascaded conditional memory update
  • Unroller support external interpretation of uninterpreted function
  • Redesign expression node hashing (ExprMngr)
Assets 2
Loading