SMACK v2.0.0

zvonimir released this 16 Jul 03:37

88d7b42

Release notes:

using clang-format to enforce LLVM code style
improved handling of LLVM intrinsics
switched to LLVM 4.0.1
added format characters to __SMACK_code
moved prelude generation into llvm2bpl
bug fixes

Assets 2