Skip to content

SMACK v1.7.0
Compare
Choose a tag to compare
@zvonimir zvonimir released this 16 Dec 18:02
v1.7.0
46ccd17

Release notes:

  • improved checking of memory safety
  • implemented support for precise reasoning about floating-point numbers
  • switched to LLVM 3.7
  • bug fixes
Assets 2
Loading