February 2007 - PPL-devel - BUGSENG Mailman

ppl README.configure TODO
by Roberto Bagnara 28 Feb '07

28 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-28 17:47:09 Modified files: . : README.configure TODO Log message: Mention the fact that GCC version 3.4.x are known to miscompile at least one of the development snapshots that led to PPL 0.10. Mention also the fact that GCC 3.3.3 segfaults on such a snapshot (CVS HEAD, at least on x86_64). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.20…

1 0

ppl ./NEWS ./TODO demos/ppl_lpsol/ppl_lpsol.c ...
by Roberto Bagnara 28 Feb '07

28 Feb '07

1 0

ppl/src Box.inlines.hh Box.templates.hh
by Enea Zaffanella 28 Feb '07

28 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-02-28 15:50:48 Modified files: src : Box.inlines.hh Box.templates.hh Log message: Drafted implementations for provate helper functions bounds and max_min. Added inline implementations of bounds_from_above/below and maximize/minimize expliting the private helper functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.defs.hh
by Enea Zaffanella 28 Feb '07

28 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-02-28 15:49:21 Modified files: src : Box.defs.hh Log message: Added methods bounds_from_above, bounds_from_below, maximize and minimize, with versions computing a generator; also added private helper functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=…

1 0

ppl ./TODO tests/Polyhedron/memory2.cc
by Roberto Bagnara 28 Feb '07

28 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-28 15:43:31 Modified files: . : TODO tests/Polyhedron: memory2.cc Log message: All tests have been converted to the new standards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.20… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory2.cc.d…

1 0

ppl/tests/BD_Shape affinepreimage1.cc
by Roberto Bagnara 28 Feb '07

28 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-28 11:58:18 Modified files: tests/BD_Shape : affinepreimage1.cc Log message: New test added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage…

1 0

ppl/tests/Octagonal_Shape Makefile.am affinepr ...
by Roberto Bagnara 28 Feb '07

28 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-28 10:30:17 Modified files: tests/Octagonal_Shape: Makefile.am affinepreimage1.cc Removed files: tests/Octagonal_Shape: bug1.cc Log message: Test program bug1.cc integrated into affinepreimage1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/affinep… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bug1.cc…

1 0

ppl/tests/BD_Shape Makefile.am
by Roberto Bagnara 28 Feb '07

28 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-28 10:26:54 Modified files: tests/BD_Shape : Makefile.am Log message: Previous change completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/tests/BD_Shape Makefile.am affinepreimage1 ...
by Roberto Bagnara 28 Feb '07

28 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-28 10:22:21 Modified files: tests/BD_Shape : Makefile.am affinepreimage1.cc Removed files: tests/BD_Shape : affinepreimage2.cc Log message: Test program affinepreimage2.cc merged into affinepreimage1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage…

1 0

ppl ./NEWS src/Congruence_System.cc src/Congru ...
by Roberto Bagnara 28 Feb '07

28 Feb '07

1 0