Skip to content

SMACK v1.9.1
Compare
Choose a tag to compare
@zvonimir zvonimir released this 05 Oct 16:09
v1.9.1
eddee91

Release notes:

  • experimental support for multi- and cross-language verification (Fortran, Objective-C, D, etc.)
  • prototype verification of Rust programs
  • extended support for handling of floating-points, including modeling of C math library
  • improved memory safety checking
  • support for modeling of vector instructions
  • modeling of C string library
  • bug fixes
Assets 2
Loading