Skip to content

SMACK v2.6.0

Compare
Choose a tag to compare
@zvonimir zvonimir released this 05 Sep 23:33

Release notes:

  • updated to LLVM 10.0.1
  • updated CVC4 and SeaDsa