Skip to content

SMACK v1.7.2

Choose a tag to compare

View all tags
@zvonimir zvonimir released this 08 Jan 06:26
v1.7.2
01aaa6e

Release notes:

  • improved support for precise reasoning about floating-point numbers
  • fine-tuned SV-COMP 2017 heuristics
  • bug fixes
Assets 2
Loading