Skip to content

SMACK v2.4.1
Compare
Choose a tag to compare
@zvonimir zvonimir released this 10 Apr 16:39
v2.4.1
212bbdb

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
Assets 2
Loading