SMACK v2.7.1

zvonimir released this 08 Sep 19:49

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

Assets 2