Skip to content

Apron 0.9.14 beta 1

Pre-release
Pre-release
Compare
Choose a tag to compare
@antoinemine antoinemine released this 06 Jul 15:29
· 58 commits to master since this release

Version 0.9.14 beta 1

  • Add support for PPLite 0.11 polyhedra library [Enea Zaffanella] (#71)
  • Add Fppol domain (floating-point polyhedra) [Liqian Chen] (#33)
  • Add Avoct domain (absolute value octagons) [Liqian Chen] (#33)
  • Add OCaml 5.0.0 support
  • Replace quicksort implementation with a new, LGPL one (#87)
  • make install installs non-debug version only, unless -debug is used (#86)
  • Non-debug C libraries are stripped (#86)
  • Compilation and installation fixes (#80, #75, #65, #62, #61, #60, #59, #54, #52, #49, #48, #45, #34)
  • Apple M1 support (#68)
  • Fix some corner cases for boxes and polyhedra (#85, #83, #82, #81, #80, #63, #43, #35)