January 2025 - PPL-devel - BUGSENG Mailman

Re: Disjunction of two Pointset_Powerset? (likely bug in the OCaml binding)
by BUGSENG Support 22 Sep '25

22 Sep '25

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(a)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

2 1

Git clone error
by wundermonk＠gmail.com 14 Aug '25

14 Aug '25

Hello, I am trying to install PPL on a new machine running 24.04 LTS ubuntu. I have git version 2.43.0 https://www.bugseng.com/ppl-download/ppl-git seems to indicate that git clone should work, but I obtain the following error: :~$ git clone git://git.bugseng.com/ppl/ppl.git Cloning into 'ppl'... fatal: unable to connect to git.bugseng.com: git.bugseng.com[0: 79.60.221.62]: errno=Connection refused In an earlier exchange, Roberto suggested the following: "Again: do not use any bzip2 old distribution of PPL: use the Git version, devel branch." Thank you. Tryer

4 7

Cannot download zip file
by Jaime ARIAS 24 Jan '25

24 Jan '25

Dear PPL developers, I’m trying to download the zip file from your website (https://www.bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.zip) However, I was not unable to download it :’( Could you please help me. Thank you in advance, Sincerely, Jaime -------------------------------------------------------------- Jaime Arias https://lipn.univ-paris13.fr/~arias CNRS Research Engineer (LoVe Team) LIPN, CNRS UMR 7030 Institut Galilée - Université Sorbonne Paris Nord 99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, France tel: [+33] 01 49 40 40 67 --------------------------------------------------------------

3 3

Re: Query on checking out the 'devel' branch
by anoninus 23 Jan '25

23 Jan '25

Hello, I am trying to install PPL on a new machine running 24.04 LTS ubuntu. I have git version 2.43.0 https://www.bugseng.com/ppl-download/ppl-git seems to indicate that git clone should work, but I obtain the following error: :~$ git clone git://git.bugseng.com/ppl/ppl.git Cloning into 'ppl'... fatal: unable to connect to git.bugseng.com: git.bugseng.com[0: 79.60.221.62]: errno=Connection refused In an earlier exchange, Roberto suggested the following: "Again: do not use any bzip2 old distribution of PPL: use the Git version, devel branch." Thank you. Tryer On Thu, Jan 23, 2025 at 8:33 AM anoninus <wundermonk(a)gmail.com> wrote: > > Hello, > > I am trying to install PPL on a new machine running 24.04 LTS ubuntu. > I have git version 2.43.0 > > https://www.bugseng.com/ppl-download/ppl-git seems to indicate that > git clone should work, but I obtain the following error: > > :~$ git clone git://git.bugseng.com/ppl/ppl.git > Cloning into 'ppl'... > fatal: unable to connect to git.bugseng.com: > git.bugseng.com[0: 79.60.221.62]: errno=Connection refused > > In an earlier exchange, Roberto suggested the following: > > "Again: do not use any bzip2 old distribution of PPL: use > the Git version, devel branch." > > Thank you. > Tryer > > On Sun, Mar 20, 2022 at 4:59 AM anoninus <wundermonk(a)gmail.com> wrote: > > > > It seems to be working fine now. > > > > Thanks. > > > > On Sun, Mar 13, 2022 at 2:22 PM anoninus <wundermonk(a)gmail.com> wrote: > >> > >> Hello, > >> > >> It has been suggested to clone the library from the git repository and checkout the `devel` branch. > >> > >> For e.g., > >> > >> https://www.cs.unipr.it/pipermail/ppl-devel/2021-February/019283.html > >> https://www.cs.unipr.it/pipermail/ppl-devel/2022-March/019307.html > >> https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html > >> > >> I have cloned the repository by doing: > >> > >> $ git clone git://git.bugseng.com/ppl/ppl.git > >> $ cd ppl > >> ppl$ git branch -r > >> :~/ppl$ git branch -r > >> origin/COW > >> origin/HEAD -> origin/master > >> origin/MPI > >> origin/alt_lgo > >> origin/alt_nnc > >> origin/altnum > >> origin/bounded_arithmetic > >> origin/compliance > >> origin/deprecated_0_11_removal > >> origin/floating_point > >> origin/formatted_output > >> origin/generalized_streams > >> origin/grids > >> origin/interfaces > >> origin/lazy > >> origin/master > >> origin/octagons > >> origin/pip > >> origin/polynomials > >> origin/polyops > >> origin/positive > >> origin/ppl-0_10-branch > >> origin/ppl-0_11-branch > >> origin/ppl-0_12-branch > >> origin/ppl-0_3-branch > >> origin/ppl-0_4-branch > >> origin/ppl-0_5-branch > >> origin/ppl-0_6-branch > >> origin/ppl-0_7-branch > >> origin/ppl-0_8-branch > >> origin/ppl-0_9-branch > >> origin/ppl-1_0-branch > >> origin/ppl-1_1-branch > >> origin/ppl-1_2-branch > >> origin/products > >> origin/serial > >> origin/simplex > >> origin/space_dim > >> origin/sparse_matrices > >> origin/strict > >> origin/termination > >> > >> That is, there does not seem to be a 'devel' branch anywhere. > >> > >> As suggested in the 3rd link above the error is produced: https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html > >> > >> :~/ppl$ git checkout devel > >> error: pathspec 'devel' did not match any file(s) known to git > >> > >> I have also gone through README.configure, but that also does not specify the command that will checkout the devel branch. > >> > >> Thanks. > >> Tryer

1 0

[GIT] ppl/ppl(devel): Extended copyright years.
by Abramo Bagnara 21 Jan '25

21 Jan '25

1 0