SMACK 2.10.0

Highlights

• Upgraded LLVM/Clang support from 13.0.1 to 14.0.0.
• Updated Rust support to nightly-2022-08-12.
• Updated SeaDsa to upstream dev14 and switched the submodule URL to upstream.
• Updated CI and Docker builds to Ubuntu 24.04.
• Refreshed GitHub Actions versions for current GitHub runner support.
• Added Ubuntu 24.04 installation support.
• Fixed LLVM 14 translation issues, including MergeGEP handling and pointer-to-integer rewriting preparation.
• Improved floating-point handling:
  • Conservatively handles constrained floating-point intrinsics.
  • Adds support for the LLVM copysign intrinsic.
  • Moves rounding-mode initialization into the fenv model.
• Fixed vector bitwise and comparison translation.
• Made NormalizeLoops a loop pass.
• Avoided redundant split aggregate memory checks.
• Fixed README CI badge endpoints.
• Fixed Rise4Fun examples by including assert.h.

Compatibility Notes

• The expected LLVM version is now 14.0.0.
• The expected Rust nightly is now nightly-2022-08-12.
• Docker images now build from Ubuntu 24.04.

Full Changelog: v2.9.0...v2.10.0