Skip to content

Apron 0.9.12

Pre-release
Pre-release
Compare
Choose a tag to compare
@antoinemine antoinemine released this 10 Nov 14:40
· 174 commits to master since this release
v0.9.12
720a18a
  • GitHub hosting
  • Documentation hosted on GitHub Pages
  • New installation instructions for Windows
  • Opam package (ocaml)
  • Added a function to get the version number
  • Java compilation uses javac -h instead of javah for Java >= 11
  • Several bugs corrected
Assets 2
Loading