January 2014 - PPL-devel - BUGSENG Mailman

Cloning PPL by http
by Adrien Champion 29 Jan '14

29 Jan '14

Hi, I have been using PPL for quite a while now and it's great, thanks for your hard work :) I'm having a problem currently. I want to install PPL on a computer that's behind a proxy, but the command > git clone http://www.cs.unipr.it/git/ppl/ppl.git that you provide on the website does not work. > Uchuu: git clone http://www.cs.unipr.it/git/ppl/ppl.git > Cloning into 'ppl'... > fatal: repository 'http://bugseng.com/products/ppl/ppl.git/' not found I tried with https instead, but then it asks me for a username and a password. So is there anyway I can clone the repo via http? Best regards, -- Adrien Champion, PhD adrien.champion(a)onera.fr adrien.champion(a)null.net http://www.researchgate.net/profile/Adrien_Champion/

1 0

[GIT] ppl/ppl(master): Consistency improved.
by Roberto Bagnara 10 Jan '14

10 Jan '14

Module: ppl/ppl Branch: master Commit: 63483db77fe587311d3fa04608c67b2416a1b108 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63483db77fe5… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri Jan 10 08:41:15 2014 +0100 Consistency improved. --- doc/ppl_citations.bib | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 2d9f547..528af06 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -308,7 +308,7 @@ Summarizing: Title = "Avoiding Geometric Intersection Operations in Reachability Analysis of Hybrid Systems", Booktitle = "Proceedings of the 15th ACM International Conference - on Hybrid Systems: Computation and Control (HSCC '12)", + on Hybrid Systems: Computation and Control (HSCC 2012)", Year = 2012, ISBN = "978-1-4503-1220-2", Address = "Beijing, China", @@ -878,7 +878,7 @@ Summarizing: Author = "M. Benerecetti and M. Faella", Title = "Tracking Differentiable Trajectories Across Polyhedra Boundaries", Booktitle = "Proceedings of the 16th International Conference on - Hybrid Systems: Computation and Control ({HSCC} '13)", + Hybrid Systems: Computation and Control (HSCC 2013)", Year = 2013, ISBN = "978-1-4503-1567-8", Address = "Philadelphia, Pennsylvania, USA",

1 0

[GIT] ppl/ppl(master): Reference added.
by Patricia Hill 09 Jan '14

09 Jan '14

Module: ppl/ppl Branch: master Commit: bc004ae73a4f4008b95f6233088ea1dc300822cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc004ae73a4f… Author: Patricia Hill <patricia.hill(a)bugseng.com> Date: Thu Jan 9 20:51:44 2014 +0000 Reference added. --- doc/ppl_citations.bib | 22 ++++++++++++++++++++++ 1 files changed, 22 insertions(+), 0 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index f8faf73..2d9f547 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -874,6 +874,28 @@ Summarizing: special PTIME cases." } +@Inproceedings{BenerecettiF13, + Author = "M. Benerecetti and M. Faella", + Title = "Tracking Differentiable Trajectories Across Polyhedra Boundaries", + Booktitle = "Proceedings of the 16th International Conference on + Hybrid Systems: Computation and Control ({HSCC} '13)", + Year = 2013, + ISBN = "978-1-4503-1567-8", + Address = "Philadelphia, Pennsylvania, USA", + Pages = "193--202", + Publisher = "ACM Press", + Abstract = "We analyze the properties of differentiable trajectories + subject to a constant differential inclusion which + constrains the first derivative to belong to a given + convex polyhedron. We present the first exact algorithm + that computes the set of points from which there is a + trajectory that reaches a given polyhedron while avoiding + another (possibly non-convex) polyhedron. We discuss the + connection with (Linear) Hybrid Automata and in + particular the relationship with the classical algorithm + for reachability analysis for Linear Hybrid Automata." +} + @Inproceedings{BerendsenJV10, Author = "J. Berendsen and D. N. Jansen and F. W. Vaandrager", Title = "Fortuna: Model Checking Priced Probabilistic Timed Automata",

1 0

visualizing polyhedra
by Piotr Mardziel 08 Jan '14

08 Jan '14

Hello ppl developers. I’m trying to visualize (draw) polyhedra but am finding it hard to do so with the representations provided in ppl. Is there some reasonable way to get from ppl or (easily) compute the faces of a polyhedron so that it can be drawn? Best, Piotr (Peter) Mardziel <piotrm(a)cs.umd.edu> http://www.cs.umd.edu/~piotrm

2 1

[GIT] ppl/ppl(master): Fixed HenryMM12b.
by Roberto Bagnara 05 Jan '14

05 Jan '14

Module: ppl/ppl Branch: master Commit: 530ee7a5bebed7f8eba0d0895abe68282df4fe59 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=530ee7a5bebe… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jan 5 12:58:34 2014 +0100 Fixed HenryMM12b. --- doc/ppl_citations.bib | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 995ce7a..f8faf73 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -3100,9 +3100,10 @@ Summarizing: @Article{HenryMM12b, Author = "J. Henry and D. Monniaux and M. Moy", - Title = "{PAGAI}: a path sensitive static analyzer", + Title = "{PAGAI}: A Path Sensitive Static Analyzer", Journal = "Electronic Notes in Theoretical Computer Science", - Publisher = "Elsevier Science Publishers B.V. Amsterdam, The Netherlands", + Publisher = "Elsevier Science Publishers B.V.", + Address = "Amsterdam, The Netherlands", Volume = 289, Year = 2012, ISSN = "1571-0661",

1 0

[GIT] ppl/ppl(master): Reference added.
by Patricia Hill 04 Jan '14

04 Jan '14

Module: ppl/ppl Branch: master Commit: 50a8c521d0fd13b0bb4f09d0a670e4e2d79ee2a7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50a8c521d0fd… Author: Patricia Hill <patricia.hill(a)bugseng.com> Date: Sat Jan 4 07:09:46 2014 +0000 Reference added. --- doc/ppl_citations.bib | 27 ++++++++++++++++++++++++++- 1 files changed, 26 insertions(+), 1 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 4293763..995ce7a 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -3064,7 +3064,7 @@ Summarizing: been made available online for demonstration." } -@Inproceedings{HenryMM12, +@Inproceedings{HenryMM12a, Author = "J. Henry and D. Monniaux and M. Moy", Title = "Succinct Representations for Abstract Interpretation", Booktitle = "Static Analysis: @@ -3098,6 +3098,31 @@ Summarizing: ones, on a variety of open-source packages." } +@Article{HenryMM12b, + Author = "J. Henry and D. Monniaux and M. Moy", + Title = "{PAGAI}: a path sensitive static analyzer", + Journal = "Electronic Notes in Theoretical Computer Science", + Publisher = "Elsevier Science Publishers B.V. Amsterdam, The Netherlands", + Volume = 289, + Year = 2012, + ISSN = "1571-0661", + Pages = "15--25", + Abstract = "We describe the design and the implementation of PAGAI, + a new static analyzer working over the LLVM compiler + infrastructure, which computes inductive invariants on + the numerical variables of the analyzed program. PAGAI + implements various state-of-the-art algorithms combining + abstract interpretation and decision procedures + (SMT-solving), focusing on distinction of paths inside + the control flow graph while avoiding systematic + exponential enumerations. It is parametric in the + abstract domain in use, the iteration algorithm, and the + decision procedure. We compared the time and precision + of various combinations of analysis algorithms and + abstract domains, with extensive experiments both on + personal benchmarks and widely available GNU programs." +} + @Inproceedings{HoweK12, Author = "J. M. Howe and A. King", Title = "Polyhedral Analysis Using Parametric Objectives",

1 0

[GIT] ppl/ppl(master): Extended copyright years.
by Roberto Bagnara 01 Jan '14

01 Jan '14

1 0