Skip to content

SMACK v2.4.0

Compare
Choose a tag to compare
@zvonimir zvonimir released this 07 Aug 18:18

Release notes:

  • updated to LLVM 8.0.1
  • updated Vagrant and Docker to Ubuntu 18.04