SMACK v1.7.1

zvonimir released this 19 Dec 20:21

435044d

Release notes:

improved support for precise reasoning about floating-point numbers
implemented support for memory safety checking of global memory
fine-tuned SV-COMP 2017 heuristics
bug fixes

Assets 2