Package apron.v0.9.15 - Githubissues

ocaml / opam-repository

Main public package repository for opam, the source package manager of OCaml.

https://opam.ocaml.org

Creative Commons Zero v1.0 Universal

509 stars 1.1k forks source link

Package apron.v0.9.15 #26174

Closed antoinemine closed 19 hours ago

antoinemine commented 3 days ago

`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

:camel: Pull-request generated by opam-publish v2.3.0

antoinemine commented 3 days ago

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 commented 2 days ago

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 commented 19 hours ago

Thanks, the revdeps are fixed separately