Skip to content

SMACK v2.5.0

Compare
Choose a tag to compare
@zvonimir zvonimir released this 14 Aug 21:24

Release notes:

  • updated to LLVM 9.0.1
  • implemented sound modeling of integer wrapping
  • refactored integer modeling flags
  • check Python formatting during CI
  • reformatted Python scripts
  • updated Z3, Boogie, Corral