SMACK v2.6.1

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

Assets 2