Skip to content

SMACK v2.6.1

Compare
Choose a tag to compare
@zvonimir zvonimir released this 28 Nov 07:28

Release notes:

  • added support for Ubuntu 20.04
  • updated Boogie, Corral, and Z3
  • cleaned up SVCOMP heuristics
  • implemented support for Rust cargo
  • model bit-wise operations as integer operations when possible
  • cleaned up SVCOMP witness generation