Package apron.v0.9.15

[antoinemine]

apron.v0.9.15

APRON numerical abstract domain library
Apron is a library to represent properties of numeric variables, such as variable bounds or linear relations between variables, and to manipulate these properties through semantic operations, such as variable assignments, tests, conjunctions, entailment. Apron is intended to be used in static program analyzers, in order to infer invariants of numeric variables, i.e., properties that hold for all executions of a program. It is based on the theory of Abstract Interpretation.

---

• Homepage: https://antoinemine.github.io/Apron/doc/
• Source repo: git+https://github.com/antoinemine/apron.git
• Bug tracker: https://github.com/antoinemine/apron/issues

---

🐫 Pull-request generated by opam-publish v2.3.0

[antoinemine]

This seems to be OK to me.

CI reports failure for Windows and opensuse-tumbleweed due to dependencies (ez-conf-lib and conf-gmp-paths, respectively), but it seems unrelated to this package and I'm not sure what we can do about it.

This version now works on ARM Macs, which is a reason I wanted to publish a new version in opam.

I've informed revdeps authors of the new failures (caused by a small breaking but necessary API change in Apron) and I'm confident they can patch their project to make it work again once this new version of Apron is merged in opam.

[mseri]

The CI has some issues these days, so I cannot yet see the revdeps failures. I'd like to add upper bounds where needed before merging.

Nothing needs to be done from your side on this PR concerning windows and opensuse

[mseri]

Thanks, the revdeps are fixed separately