SMACK v1.5.1

zvonimir released this 09 Apr 16:23

454e8b6

Release notes:

support for bit vector operations and reasoning
precise handling of byte-level memory accesses
portable build using Vagrant
refactored regression system
switched to using SVCOMP-like __VERIFIER_XXX helper functions
support for running SMACK on projects with multiple files
bug fixes

Assets 2