SMACK v1.6.0

zvonimir released this 03 Sep 04:47

fd8e9e5

Release notes:

implemented checking of memory safety
switched to LLVM 3.6
removed GNU make based build
created documentation folder
implemented a script for running SMACK from a virtual machine
bug fixes

Assets 2