April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Acknowledge the contribution of HiPEAC.
by Roberto Bagnara 09 Apr '09

09 Apr '09

Module: ppl/ppl Branch: master Commit: 8e4bc90a2bcaef22c139f0bd18b16f89e8885841 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e4bc90a2bca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 21:23:41 2009 +0200 Acknowledge the contribution of HiPEAC. --- CREDITS | 45 ++++++++++++++++++++++++++++----------------- 1 files changed, 28 insertions(+), 17 deletions(-) diff --git a/CREDITS b/CREDITS index 1771859..5004e43 100644 --- a/CREDITS +++ b/CREDITS @@ -292,9 +292,16 @@ We are grateful for the following contributions: architectures. Many thanks to Thibaut Varene [50] and the PA-RISC Linux community [51] for their kind assistance. -- INRIA [52] is supporting Abramo Bagnara from January 1st to May 31st, +- HiPEAC [52] sponsored the participation of Roberto Bagnara to the + Graphite Workshop [53. This was very helpful to discuss the needs + of Graphite [54] (a framework for high-level loop optimizations on + the polyhedral model) and, more generally, of GCC [55] in terms of + numerical abstractions and how the PPL can help. Special thanks go + to Albert Cohen [57] for this sponsorship. + +- INRIA [56] is supporting Abramo Bagnara from January 1st to May 31st, 2009, to work on the PPL and its development infrastructure. - Many thanks go, in particular, to Albert Cohen [53]. + Many thanks go, in particular, to Albert Cohen [57]. Some of our research work has been partly supported by the following @@ -304,31 +311,31 @@ projects and organizations: ``Pure and Applied Mathematics''; - MURST project ``Automatic Program Certification by Abstract - Interpretation'' [54]; + Interpretation'' [58]; - MURST project ``Abstract Interpretation, Type Systems and Control-Flow Analysis''; - MURST project ``Automatic Aggregate- and Number-Reasoning for Computing: from Decision Algorithms to Constraint Programming with Multisets, Sets, - and Maps'' [55]; + and Maps'' [59]; -- MURST project ``Constraint Based Verification of Reactive Systems'' [56]; +- MURST project ``Constraint Based Verification of Reactive Systems'' [60]; - MURST project ``AIDA - Abstract Interpretation: Design and - Applications'' [57]; + Applications'' [61]; - Royal Society Joint project 2004/R1-EU (UK-Italy) ``Automatic Detection of Unstable Numerical Computations''; - EPSRC (UK) project EP/C520726/1 - ``Numerical Domains for Software Analysis'' [58]; + ``Numerical Domains for Software Analysis'' [62]; - Royal Society International Outgoing Short Visit 2007/R4 - ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [59]; + ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [63]; - EPSRC (UK) project EP/G025177/1 - ``Geometric Abstractions for Scalable Program Analyzers'' [59]. + ``Geometric Abstractions for Scalable Program Analyzers'' [63]. -------- @@ -383,11 +390,15 @@ projects and organizations: [49] http://www.esiee.fr/ [50] http://www.parisc-linux.org/~varenet/ [51] http://www.parisc-linux.org/ -[52] http://www.inria.fr/ -[53] http://www-rocq.inria.fr/~acohen/ -[54] http://theory.sci.univr.it/p40/ -[55] http://www.cs.unipr.it/Projects/COFIN01 -[56] http://www.disi.unige.it/person/DelzannoG/cover/ -[57] http://www.cs.unipr.it/Projects/AIDA/ -[58] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html -[59] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html +[52] http://www.hipeac.net/ +[53] http://gcc.gnu.org/wiki/Graphite_Workshop_Nov08 +[54] http://gcc.gnu.org/wiki/Graphite +[55] http://gcc.gnu.org/ +[56] http://www.inria.fr/ +[57] http://www-rocq.inria.fr/~acohen/ +[58] http://theory.sci.univr.it/p40/ +[59] http://www.cs.unipr.it/Projects/COFIN01 +[60] http://www.disi.unige.it/person/DelzannoG/cover/ +[61] http://www.cs.unipr.it/Projects/AIDA/ +[62] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html +[63] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html

1 0

[GIT] ppl/w3ppl(master): Acknowledge the contribution of HiPEAC.
by Roberto Bagnara 09 Apr '09

09 Apr '09

Module: ppl/w3ppl Branch: master Commit: ae82f6be29af606040e9a1eac0226426f011582e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=ae82f6be29… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 21:24:24 2009 +0200 Acknowledge the contribution of HiPEAC. --- htdocs/Credits/Credits.raw | 12 ++++++++++++ 1 files changed, 12 insertions(+), 0 deletions(-) diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw index 9d8a861..eee0211 100644 --- a/htdocs/Credits/Credits.raw +++ b/htdocs/Credits/Credits.raw @@ -438,6 +438,18 @@ We are grateful for the following contributions: for their kind assistance. </LI> <LI> + <A HREF="http://www.hipeac.net/">HiPEAC</A> sponsored the participation + of Roberto Bagnara to the + <A HREF="http://gcc.gnu.org/wiki/Graphite_Workshop_Nov08">Graphite + Workshop</A>. This was very helpful to discuss the needs of + <A HREF="http://gcc.gnu.org/wiki/Graphite">Graphite</A> + (a framework for high-level loop optimizations on the polyhedral model) + and, more generally, of <A HREF="http://gcc.gnu.org/">GCC</A> in + terms of numerical abstractions and how the PPL can help. + Special thanks go to <A HREF="http://www-rocq.inria.fr/~acohen/">Albert + Cohen</A> for this sponsorship. + </LI> + <LI> <A HREF="http://www.inria.fr/">INRIA</A> is supporting Abramo Bagnara from January 1st to May 31st, 2009, to work on the PPL and its development infrastructure. Many thanks go, in particular,

1 0

[GIT] ppl/ppl(master): Acknowledge the contribution of INRIA.
by Roberto Bagnara 09 Apr '09

09 Apr '09

Module: ppl/ppl Branch: master Commit: 11e028c0bff9d5060fde44011e47eb70c8006266 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11e028c0bff9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 20:59:40 2009 +0200 Acknowledge the contribution of INRIA. --- CREDITS | 32 +++++++++++++++++++------------- 1 files changed, 19 insertions(+), 13 deletions(-) diff --git a/CREDITS b/CREDITS index 18b7453..1771859 100644 --- a/CREDITS +++ b/CREDITS @@ -292,6 +292,10 @@ We are grateful for the following contributions: architectures. Many thanks to Thibaut Varene [50] and the PA-RISC Linux community [51] for their kind assistance. +- INRIA [52] is supporting Abramo Bagnara from January 1st to May 31st, + 2009, to work on the PPL and its development infrastructure. + Many thanks go, in particular, to Albert Cohen [53]. + Some of our research work has been partly supported by the following projects and organizations: @@ -300,31 +304,31 @@ projects and organizations: ``Pure and Applied Mathematics''; - MURST project ``Automatic Program Certification by Abstract - Interpretation'' [52]; + Interpretation'' [54]; - MURST project ``Abstract Interpretation, Type Systems and Control-Flow Analysis''; - MURST project ``Automatic Aggregate- and Number-Reasoning for Computing: from Decision Algorithms to Constraint Programming with Multisets, Sets, - and Maps'' [53]; + and Maps'' [55]; -- MURST project ``Constraint Based Verification of Reactive Systems'' [54]; +- MURST project ``Constraint Based Verification of Reactive Systems'' [56]; - MURST project ``AIDA - Abstract Interpretation: Design and - Applications'' [55]; + Applications'' [57]; - Royal Society Joint project 2004/R1-EU (UK-Italy) ``Automatic Detection of Unstable Numerical Computations''; - EPSRC (UK) project EP/C520726/1 - ``Numerical Domains for Software Analysis'' [56]; + ``Numerical Domains for Software Analysis'' [58]; - Royal Society International Outgoing Short Visit 2007/R4 - ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [57]; + ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [59]; - EPSRC (UK) project EP/G025177/1 - ``Geometric Abstractions for Scalable Program Analyzers'' [57]. + ``Geometric Abstractions for Scalable Program Analyzers'' [59]. -------- @@ -379,9 +383,11 @@ projects and organizations: [49] http://www.esiee.fr/ [50] http://www.parisc-linux.org/~varenet/ [51] http://www.parisc-linux.org/ -[52] http://theory.sci.univr.it/p40/ -[53] http://www.cs.unipr.it/Projects/COFIN01 -[54] http://www.disi.unige.it/person/DelzannoG/cover/ -[55] http://www.cs.unipr.it/Projects/AIDA/ -[56] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html -[57] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html +[52] http://www.inria.fr/ +[53] http://www-rocq.inria.fr/~acohen/ +[54] http://theory.sci.univr.it/p40/ +[55] http://www.cs.unipr.it/Projects/COFIN01 +[56] http://www.disi.unige.it/person/DelzannoG/cover/ +[57] http://www.cs.unipr.it/Projects/AIDA/ +[58] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html +[59] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html

1 0

[GIT] ppl/w3ppl(master): Acknowledge the contribution of INRIA.
by Roberto Bagnara 09 Apr '09

09 Apr '09

Module: ppl/w3ppl Branch: master Commit: ab6dec1be21f426f77f15c41745e0aba41010763 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=ab6dec1be2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 20:59:57 2009 +0200 Acknowledge the contribution of INRIA. --- htdocs/Credits/Credits.raw | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw index 5ad7793..9d8a861 100644 --- a/htdocs/Credits/Credits.raw +++ b/htdocs/Credits/Credits.raw @@ -437,6 +437,12 @@ We are grateful for the following contributions: and the <A HREF="http://www.parisc-linux.org/">PA-RISC Linux community</A> for their kind assistance. </LI> + <LI> + <A HREF="http://www.inria.fr/">INRIA</A> is supporting Abramo + Bagnara from January 1st to May 31st, 2009, to work on the PPL + and its development infrastructure. Many thanks go, in particular, + to <A HREF="http://www-rocq.inria.fr/~acohen/">Albert Cohen</A>. + </LI> </UL>

1 0

[GIT] ppl/ppl(master): Acknowledge the contribution of AMD. Fixed mistaked of previous commit.
by Roberto Bagnara 09 Apr '09

09 Apr '09

Module: ppl/ppl Branch: master Commit: 96604f4f9f42cee268d6ef6c9635e6c7f3f9940c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96604f4f9f42… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 19:10:05 2009 +0200 Acknowledge the contribution of AMD. Fixed mistaked of previous commit. --- CREDITS | 63 +++++++++++++++++++++++++++++++++++---------------------------- 1 files changed, 35 insertions(+), 28 deletions(-) diff --git a/CREDITS b/CREDITS index fdfe9cd..18b7453 100644 --- a/CREDITS +++ b/CREDITS @@ -273,19 +273,24 @@ Organizations (and People Therein): We are grateful for the following contributions: -- The Computing Center of the University of Parma [46] allowed us to test - the portability of the library on a variety of platforms. Fausto - Pagani was especially helpful in this respect. - -- The GCC Compile Farm Project [47] managed by FSF France provided access - to a number of machines that allowed us to test and improve the - portability of the library. Special thanks go to Laurent Guerby +- AMD Developer Central [46] has donated a bi-quad core machine with + the latest AMD Opteron 2384 "Shanghai" processors and 16GB of RAM. + This machine now hosts all the PPL data and services. Many thanks + to Christophe Harle and Sebastian Pop. + +- The Computing Center of the University of Parma [47] allowed us to + test the portability of the library on a variety of platforms. + Fausto Pagani was especially helpful in this respect. + +- The GCC Compile Farm Project [48] managed by FSF France provided + access to a number of machines that allowed us to test and improve + the portability of the library. Special thanks go to Laurent Guerby for his kind assistance. -- The test cluster provided by Hewlett Packard and hosted by ESIEE [48] +- The test cluster provided by Hewlett Packard and hosted by ESIEE [49] allowed us to complete the porting of the PPL to the IA64 and PA-RISC - architectures. Many thanks to Thibaut Varene [49] and the PA-RISC - Linux community [50] for their kind assistance. + architectures. Many thanks to Thibaut Varene [50] and the PA-RISC + Linux community [51] for their kind assistance. Some of our research work has been partly supported by the following @@ -295,31 +300,31 @@ projects and organizations: ``Pure and Applied Mathematics''; - MURST project ``Automatic Program Certification by Abstract - Interpretation'' [51]; + Interpretation'' [52]; - MURST project ``Abstract Interpretation, Type Systems and Control-Flow Analysis''; - MURST project ``Automatic Aggregate- and Number-Reasoning for Computing: from Decision Algorithms to Constraint Programming with Multisets, Sets, - and Maps'' [52]; + and Maps'' [53]; -- MURST project ``Constraint Based Verification of Reactive Systems'' [53]; +- MURST project ``Constraint Based Verification of Reactive Systems'' [54]; - MURST project ``AIDA - Abstract Interpretation: Design and - Applications'' [54]; + Applications'' [55]; - Royal Society Joint project 2004/R1-EU (UK-Italy) ``Automatic Detection of Unstable Numerical Computations''; - EPSRC (UK) project EP/C520726/1 - ``Numerical Domains for Software Analysis'' [55]; + ``Numerical Domains for Software Analysis'' [56]; - Royal Society International Outgoing Short Visit 2007/R4 - ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [56]; + ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [57]; - EPSRC (UK) project EP/G025177/1 - ``Geometric Abstractions for Scalable Program Analyzers'' [56]. + ``Geometric Abstractions for Scalable Program Analyzers'' [57]. -------- @@ -347,6 +352,7 @@ projects and organizations: [22] http://www.cs.unipr.it/ppl/Documentation/chernikova.c [23] http://www.cs.unipr.it/ppl/Documentation/bibliography#LeVerge92 [24] http://research.microsoft.com/~logozzo/ +[25] http://homepages.inf.ed.ac.uk/kwxm/ [26] http://www.math.unipr.it/~medori/ [27] http://www.univ-reunion.fr/~fred/ [28] http://www.cs.unipr.it/cTI/ @@ -367,14 +373,15 @@ projects and organizations: [43] http://www.ncc.up.pt/~pbv/cgi/cost.cgi [44] http://www.ncc.up.pt/~pbv/research/ppl/ghc.html [45] http://wissrech.ins.uni-bonn.de/people/wildenhues.html -[46] http://www.siti.unipr.it/ -[47] http://gcc.gnu.org/wiki/CompileFarm -[48] http://www.esiee.fr/ -[49] http://www.parisc-linux.org/~varenet/ -[50] http://www.parisc-linux.org/ -[51] http://theory.sci.univr.it/p40/ -[52] http://www.cs.unipr.it/Projects/COFIN01 -[53] http://www.disi.unige.it/person/DelzannoG/cover/ -[54] http://www.cs.unipr.it/Projects/AIDA/ -[55] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html -[56] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html +[46] http://developer.amd.com/ +[47] http://www.siti.unipr.it/ +[48] http://gcc.gnu.org/wiki/CompileFarm +[49] http://www.esiee.fr/ +[50] http://www.parisc-linux.org/~varenet/ +[51] http://www.parisc-linux.org/ +[52] http://theory.sci.univr.it/p40/ +[53] http://www.cs.unipr.it/Projects/COFIN01 +[54] http://www.disi.unige.it/person/DelzannoG/cover/ +[55] http://www.cs.unipr.it/Projects/AIDA/ +[56] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html +[57] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html

1 0

[GIT] ppl/w3ppl(master): Acknowledge the contribution of AMD. Fixed mistaked of previous commit.
by Roberto Bagnara 09 Apr '09

09 Apr '09

Module: ppl/w3ppl Branch: master Commit: 14ffc60c65f1364bee1a8c80571f11e0b66d4a54 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=14ffc60c65… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 19:10:52 2009 +0200 Acknowledge the contribution of AMD. Fixed mistaked of previous commit. --- htdocs/Credits/Credits.raw | 9 ++++++++- 1 files changed, 8 insertions(+), 1 deletions(-) diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw index 2d48e11..5ad7793 100644 --- a/htdocs/Credits/Credits.raw +++ b/htdocs/Credits/Credits.raw @@ -296,7 +296,7 @@ maintained and improved by the following people: issues on Cygwin. </LI> <LI> - <A HREF="http://homepages.inf.ed.ac.uk/kwxm/~spoto/">Kenneth MacKenzie</A> + <A HREF="http://homepages.inf.ed.ac.uk/kwxm/">Kenneth MacKenzie</A> provided very good bug reports that allowed us to fix several problems in the OCaml interface. </LI> @@ -408,6 +408,13 @@ maintained and improved by the following people: We are grateful for the following contributions: <UL> <LI> + <A HREF="http://developer.amd.com/">AMD Developer Central</A> has + donated a bi-quad core machine with the latest AMD Opteron 2384 + "Shanghai" processors and 16GB of RAM. This machine now hosts all + the PPL data and services. Many thanks to Christophe Harle and + Sebastian Pop. + </LI> + <LI> The <A HREF="http://www.siti.unipr.it/">Computing Center of the University of Parma</A> allowed us to test the <A HREF="@BASE_DIR@portability">portability</A> of the library on a

1 0

[GIT] ppl/ppl(master): Acknowledge the contribution of Kenneth MacKenzie.
by Roberto Bagnara 09 Apr '09

09 Apr '09

Module: ppl/ppl Branch: master Commit: f7b0e03047aaed1baadf9582b6f6e9ddada4a515 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7b0e03047aa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 18:28:11 2009 +0200 Acknowledge the contribution of Kenneth MacKenzie. --- CREDITS | 129 ++++++++++++++++++++++++++++++++------------------------------- 1 files changed, 66 insertions(+), 63 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=f7b0e030…

1 0

[GIT] ppl/w3ppl(master): Acknowledge the contribution of Kenneth MacKenzie.
by Roberto Bagnara 09 Apr '09

09 Apr '09

Module: ppl/w3ppl Branch: master Commit: 9f65bc2db0d8c652a81a46fdc6b6fdde00167e3b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=9f65bc2db0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 18:29:04 2009 +0200 Acknowledge the contribution of Kenneth MacKenzie. --- htdocs/Credits/Credits.raw | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw index 4251841..2d48e11 100644 --- a/htdocs/Credits/Credits.raw +++ b/htdocs/Credits/Credits.raw @@ -296,6 +296,11 @@ maintained and improved by the following people: issues on Cygwin. </LI> <LI> + <A HREF="http://homepages.inf.ed.ac.uk/kwxm/~spoto/">Kenneth MacKenzie</A> + provided very good bug reports that allowed us to + fix several problems in the OCaml interface. + </LI> + <LI> <A HREF="http://www.math.unipr.it/~medori/">Costantino Medori</A> helped us on some mathematical aspects of the development.

1 0

[GIT] ppl/w3ppl(master): Mention correction of bugs in the OCaml interface.
by Enea Zaffanella 09 Apr '09

09 Apr '09

Module: ppl/w3ppl Branch: master Commit: 0e68a157d23c58afa0e85598c7bd5bc8c027a1c5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=0e68a157d2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 9 08:58:33 2009 +0200 Mention correction of bugs in the OCaml interface. --- htdocs/Bugs/Bugs.raw | 17 +++++++++++++++++ htdocs/Bugs/archive.raw | 17 +++++++++++++++++ 2 files changed, 34 insertions(+), 0 deletions(-) diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index c13c36c..e01447f 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -50,6 +50,23 @@ affecting various releases of the PPL. <DL> +<DT>March 26, 2009</DT> +<DD> +Fixed several bugs in the OCaml interface code that were reported +by Kenneth MacKenzie (thanks!). Corrections include: +<UL> +<LI> +garbage collection issues (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=778dfb88238c…">778dfb88238cb7f66cb638d9af2411cd88aa0038</A>); +</LI> +<LI> +proper handling of unit values (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd3d1d46d8b…">8bd3d1d46d8b44f57d29b39912c3802968856596</A>); +</LI> +<LI> +proper handling of tokens in widening functions (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aadc083b812f…">aadc083b812f6bc477ad2c4bd08155f04992d310</A>). +</LI> +</UL> +</DD> + <DT>March 24, 2009</DT> <DD> Found a bug affecting the method diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index 9c0cadd..ae07a1d 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -10,6 +10,23 @@ for various versions of the PPL. <DL> +<DT>March 26, 2009</DT> +<DD> +Fixed several bugs in the OCaml interface code that were reported +by Kenneth MacKenzie (thanks!). Corrections include: +<UL> +<LI> +garbage collection issues (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=778dfb88238c…">778dfb88238cb7f66cb638d9af2411cd88aa0038</A>); +</LI> +<LI> +proper handling of unit values (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd3d1d46d8b…">8bd3d1d46d8b44f57d29b39912c3802968856596</A>); +</LI> +<LI> +proper handling of tokens in widening functions (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aadc083b812f…">aadc083b812f6bc477ad2c4bd08155f04992d310</A>). +</LI> +</UL> +</DD> + <DT>March 24, 2009</DT> <DD> Found a bug affecting the method

1 0

First PPL 0.10.1 release candidate
by Roberto Bagnara 08 Apr '09

08 Apr '09

We have uploaded the first PPL 0.10.1 release candidate to ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ You can check the NEWS file via Gitweb: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blob_plain;f=NEWS;hb=… If all goes well, the release of PPL 0.10.1 will happen on April 14, 2009. In case problems arise, the above mentioned snapshot will be replaced by a new one and only announced on ppl-devel(a)cs.unipr.it (of course the real release will be properly announced). Please report any problem you may encounter to ppl-devel(a)cs.unipr.it Beta-testing is especially important on this occasion because PPL 0.10.1 will be the last release in the PPL 0.10 series. The following release will be PPL 0.11. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 7