SMACK v1.5.2

zvonimir released this 24 Dec 21:00

bf5b9eb

Release notes:

improved handling of function pointers and functions with variable number of arguments
experimental support for pthreads
refactored SMACK scripts
refactored memory models
improved support for code contracts (preconditions, postconditions, loop invariants)
competing in SVCOMP 2016
bug fixes

Assets 2