Skip to content

Apron 0.9.15

Latest
Compare
Choose a tag to compare
@antoinemine antoinemine released this 07 Jun 15:37
· 10 commits to master since this release

Apron 0.9.15

  • BREAKING CHANGE FOR OCAML: remove polymorphic compare functions and renamed compare functions that do not implement a total order, documentation clarification (#108)
  • Autodetect library in configure for Mac ARM with Homebrew (#107)
  • Support for PPLite 0.12 [Michele Spotti, Enea Zaffanella] (#105)
  • Disable PPL and PPLite when no C++ compiler is detected (#104)
  • Various fixes (#101, #97, #90)