SMACK v2.8.0

Release notes:

• updated to LLVM 12.0.1
• updated Boogie and Z3
• switched to main branch instead of master
• support for adding assertions after loops (to catch not unrolling enough)
• improved error trace generation
• cleanup of Rust panic
• bug fixes

SMACK v2.7.1

Release notes:

• support for externalizing of entry points
• updated Boogie and Corral verifiers
• improved error trace generation
• removed virtual SMACK installation option
• targeted function checking
• bug fixes

SMACK v2.7.0

Release notes:

• updated to LLVM 11.1.0
• modeling of Rust's memory functions
• GitHub actions are now creating Docker images
• supporting Rust cargo compilation flow
• refactored warning messages
• bug fixes

SMACK v2.6.3

Release notes:

• switched to using GitHub Actions for CI
• bug fixes
• improved SVCOMP heuristics

SMACK v2.6.2

Release notes:

• minor fix to modeling of bit-wise operations using integers

SMACK v2.6.1

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

SMACK v2.6.0

Release notes:

• updated to LLVM 10.0.1
• updated CVC4 and SeaDsa

SMACK v2.5.0

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

SMACK v2.4.1

Release notes:

• replaced LLVM's old DSA with SeaDSA
• made allocation to be atomic
• upgraded to Python 3
• modularized Corral and Boogie dependencies
• integrated Rust regressions into the test folder
• refactored regressions into separate folders based on input language

SMACK v2.4.0

Release notes:

• updated to LLVM 8.0.1
• updated Vagrant and Docker to Ubuntu 18.04