Smackers Smack Versions Save

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

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

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

Release notes:

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

Release notes:

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

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

Release notes:

• updated to LLVM 10.0.1
• updated CVC4 and SeaDsa

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

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

Release notes:

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