Skip to content

SMACK v1.4.0
Compare
Choose a tag to compare
@zvonimir zvonimir released this 26 Feb 23:32
v1.4.0
ad5b0cd

Release notes:

  • upgraded SMACK to LLVM 3.4
  • implemented support for writing Boogie code directly in C programs, which is convenient for modeling (see https://github.com/smackers/smack/wiki#wiki-writing-boogie-code-directly-in-c-programs)
  • updated SMACK to be a standalone LLVM tool instead of a pass (thanks to Pantazis Deligiannis)
  • support building SMACK with cmake (thanks to Pantazis Deligiannis)
  • improved automatic build scripts to deal with mono/Boogie/Corral discrepancies
  • bug fixes
Assets 2
Loading