SMACK v1.3.0

zvonimir released this 21 Oct 23:20

f377011

Release notes:

splitting memory based on the results of alias analysis (DSA)
handling static global initialization
supporting Corral as another back-end verifier
upgraded to LLVM 3.3
bug fixes

Assets 2