Dear Étienne, thank you for contacting us directly. The ppl-devel mailing list has been relocated under a different domain (bugseng.com), we did not receive you emails. A notice informing of the relocation has been sent to all mailing list subscribers on Jan 22. Subject was: "PPL-devel mailing list relocation". Please, see the new PPL-devel home at: https://support.bugseng.com/cgi-bin/mailman/listinfo/ppl-devel Thank you for the bug report, we will look at it as soon as possible. Can you please share with us a testcase to reproduce the error? Do you have any additional information that might be helpful? Thank you, regards Federico On 08/11/24 14:00, Étienne André wrote:

Dear PPL developers,

I received a "mailer daemon" in reply to my former email related to a likely bug in the OCaml interface, so I take the liberty to write another email (see below).

Many thanks for your answer.

Best,

Étienne André Université Sorbonne Paris Nord https://lipn.univ-paris13.fr/~andre/

Le 22/10/2024 à 15:09, Étienne André a écrit :

...

Dear PPL developers,

We didn't have news since March, but we tried to investigate the problem, and it looks now rather likely to us that the bug mentioned in my first email /does/ come from a bug in PPL, more precisely from the OCaml binding. It is likely that some "free" operations on pointers in the binding are unnecessary, and cause the garbage collector to access some already destroyed objects, leading to segmentation faults.

My colleagues are trying to fix the binding so as to remove the "free" operations, and let the OCaml garbage collector do its job naturally.

We still want to point out this issue, and we do encourage you in investigating this matter.

Best,

Étienne André Université Sorbonne Paris Nord https://lipn.univ-paris13.fr/~andre/

...

Em sex., 31 de mai. de 2024 às 13:34, Étienne André <Andre.Etienne@lipn13.fr> escreveu:

Dear PPL developers,

I wonder whether you had received our email, and might have an idea of why we encounter an issue of corrupted memory with Pointset_Powerset.

Thank you!

Best,

Étienne André Université Sorbonne Paris Nord https://lipn.univ-paris13.fr/~andre/

Le 18/03/2024 à 11:09, Étienne André a écrit :

...

Dear PPL developers,

We got an issue in developing IMITATOR with the PPL OCaml binding, most probably not related to a PPL bug (even if we don't fully exclude it either).

Our goal is to perform the disjunction of two Pointset_Powerset, i.e., union_assign p1 p2, where p1 gets as the result the union of p1 and p2.

I don't think there is a function to directly do this in PPL? If there is, which one should we use?

Our algorithm is as follows:

1. get all disjuncts of p2 (using an iterator) 2. for each disjunct, add it to p1 using the PPL OCaml binding function ppl_Pointset_Powerset_NNC_Polyhedron_add_disjunct

Is that the right way to do?

We got dimensions exceptions, both very random (changing the input file name yields a different exception!) and with completely funny dimensions (such as 208 or 416) for a system that has only 2 dimensions, and/or segmentation faults/core dump which might come from a corrupted memory somewhere.

We use OCaml 4.14.1 with (presumably) PPL 1:1.2-8.1build1.

Thanks!

Best,

-- Étienne André Université Sorbonne Paris Nord https://lipn.univ-paris13.fr/~andre/

-- att. Tomaz Gomes