November 2006 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Enea Zaffanella 11 Nov '06

11 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-11 13:00:54 Modified files: . : configure.ac Log message: Improved the checking of required instantiations; now also managing the generation of canonical names for templates having multiple parameters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests/Box Makefile.am interval1.cc
by Roberto Bagnara 10 Nov '06

10 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-10 20:24:52 Modified files: tests/Box : Makefile.am Added files: tests/Box : interval1.cc Log message: New tests for the Interval class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/interval1.cc?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/interfaces/Java jni/ppl_java_common.cc ppl ...
by Andrea Cimino 10 Nov '06

10 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-10 17:46:16 Modified files: interfaces/Java/jni: ppl_java_common.cc interfaces/Java/ppl_java: Congruence.java Removed files: interfaces/Java/ppl_java: Congruence_Constraint.java Congruence_Linear_Expression.java Log message: In the Java interface congruences are built just from linear expressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cong… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cong… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cong…

1 0

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 10 Nov '06

10 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-10 14:56:46 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Polyhedron.java Added files: interfaces/Java/ppl_java: Congruence.java Congruence_Constraint.java Congruence_Linear_Expression.java Congruence_System.java Grid_Generator.java Grid_Generator_System.java Log message: Initial support for the Congruence/Grid classes. Added other methods to the Polyhedron Java interface, but some of them must be implemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cong… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cong… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cong… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cong… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Grid… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Grid… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

Bug in GCC?
by Abramo Bagnara 10 Nov '06

10 Nov '06

Compile with g++ -g const.cc This behaviour is standard conformant? -- Abramo Bagnara mailto:abramobagnara@tin.it Opera Unica Phone: +39.0546.656023 Via Emilia Interna, 140 48014 Castel Bolognese (RA) - Italy

1 1

ppl/src Checked_Number.defs.hh Interval.defs.h ...
by Abramo Bagnara 10 Nov '06

10 Nov '06

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Abramo Bagnara 10 Nov '06

10 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-10 12:35:49 Modified files: interfaces/C : ppl_interface_generator_c_cc_preamble Log message: C99 mandates that sizeof unsigned is always the same of corresponding signed type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl configure.ac
by Roberto Bagnara 10 Nov '06

10 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-10 07:43:32 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

Compile time check
by Abramo Bagnara 10 Nov '06

10 Nov '06

Roberto and me this afternoon have discussed about the need to have compile time error when set_universe is called for an interval where such thing is not representable (by example an interval of mpz or mpq without infinity and without unbounded flag on boundaries). So I've written a generic way to write arbitrary compile time check. I post that for review before to commit. I'm open to hear about possible improvement and further needs. -- Abramo Bagnara mailto:abramobagnara@tin.it Opera Unica Phone: +39.0546.656023 Via Emilia Interna, 140 48014 Castel Bolognese (RA) - Italy

2 2

Re: [PPL-devel] PPL and integer programming
by Roberto Bagnara 10 Nov '06

10 Nov '06

Andy Moser wrote: > It would be really great if we could get the CVS version of the PPL from > you! > > We have a paper deadline coming very soon so maybe you could give us a > snapshot as soon as possible? :) We don't mind if it's not perfect, we > just want to see if it works with the tool we developed as soon as > possible. Dear Andy, a snapshot of what will become PPL 0.10 is available from ftp://ftp.cs.unipr.it/pub/ppl/snapshots Notice that it is advisable to run a `make check', especially if you use an old compiler (the PPL code seems to be particularly good at triggering compiler bugs). Please, let us know of any anomalies and do not hesitate to come back to us if you need advice on how to use the MIP_Problem class. Please, direct all correspondence to ppl-devel(a)cs.unipr.it. All the best, Roberto P.S. Concerning the paper and your research on malware detection, we are very curious about it. When the paper is finished, please send us one copy. We also have a web page where we list applications of the PPL: is is at http://www.cs.unipr.it/ppl/Applications/ If you find the PPL useful for your research purposes, we would appreciate a citation of the original paper about the library: @InProceedings{BagnaraRZH02, Author = "R. Bagnara and E. Ricci and E. Zaffanella and P. M. Hill", Title = "Possibly Not Closed Convex Polyhedra and the {Parma Polyhedra Library}", Booktitle = "Static Analysis: Proceedings of the 9th International Symposium", Address = "Madrid, Spain", Editor = "M. V. Hermenegildo and G. Puebla", Publisher = "Springer-Verlag, Berlin", Series = "Lecture Notes in Computer Science", Volume = 2477, ISBN = "3-540-44235-9", Pages = "213--229", Year = 2002, URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraRZH02.pdf" } -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0