apron

apron copied to clipboard

PPLite version 0.12 no longer depends on gmpxx (the C++ interface of GMP). Note: we also applied a minor renaming to newpolka matrix_* type and functions (adding prefix "pk_") so...

ezaffanella

Regression in 0.9.14: illegal option -- -

3

``` gmake[2]: Entering directory '/usr/ports/math/apron/work/apron-0.9.14/itv' /usr/bin/install -d /usr/ports/math/apron/work/stage/usr/local/include /usr/ports/math/apron/work/stage/usr/local/lib /usr/bin/install itv.h itv_fun.h itv_config.h itv_linexpr.h itv_linearize.h /usr/ports/math/apron/work/stage/usr/local/include for i in libitvIl.a libitvIll.a libitvRl.a libitvRll.a libitvMPZ.a libitvMPQ.a libitvD.a libitvMPFR.a libitv.a libitvDl.a; do...

yurivict

Integer division of `n/d` where `n = [-1, 1], d = -1` yields bottom

4

Originally encountered by @svenkeidel, I'm providing an OCaml MWE. We found that integer division of `n/d` yields bottom when `-1

rmonat

Unlawful `compare` implementations

1

The `compare` functions which are exposed to OCaml, either directly or via `custom_operations` structs and `Stdlib.compare`, do not satisfy the usual order laws. In turn, this means that many Apron...

sim642

install --strip causing problems on Mac

1

The command option `--strip` doesn't seem to be recognized on Mac (my version is Ventura 13.2.1). I think `install` on Mac does not like `--`. I think the only place...

caballa

Following a [discussion](https://gitlab.com/mopsa/mopsa-analyzer/-/merge_requests/172#note_1675805572) with @jboillot in the Mopsa static analyzer, I believe `bound_texpr` could be more precise. Consider the case where `x >= y` and `z >= 0`. Currently, `bound_texpr`...

rmonat

hasVar() for level 1

6

Hello, I noticed a potential bug with the hasVar() method for level 1 nodes. Here is a code snipped where hasVar() on level 1 returns false but if I transform...

winnieros

antoinemine

Let us consider this simple program: ``` int m = rand(2, 9); int y = rand(0, 2020); int y2 = y + ((m + 1) / 12); ``` The relational...

rmonat

Is there a way to have precise assignments on PPL Grid?

1

I'd like the assignment `m = n % 12` to be handled precisely by `assign_texpr` in the PPL Grid domain. It currently does not work precisely, while a similar code...

rmonat