Skip to content

SMACK v2.7.0

Compare
Choose a tag to compare
@zvonimir zvonimir released this 30 Mar 03:53

Release notes:

  • updated to LLVM 11.1.0
  • modeling of Rust's memory functions
  • GitHub actions are now creating Docker images
  • supporting Rust cargo compilation flow
  • refactored warning messages
  • bug fixes