Skip to content

SMACK v1.9.0
Compare
Choose a tag to compare
@zvonimir zvonimir released this 22 Sep 20:45
v1.9.0
1458fa2

Release notes:

  • switched to LLVM 3.9
  • added regression testing for checking Boogie files and verifier outputs
  • added metadata annotations to distinguish instructions that are only related to verification
  • added a pass that records data useful for security timing analysis
  • better support for dealing with LLVM IR structs
  • implemented portable library models
  • bug fixes
Assets 2
Loading