November 2008 - PPL-devel - BUGSENG Mailman

ppl/src Scalar_Products.cc
by Roberto Bagnara 26 Nov '08

26 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-26 18:12:02 Modified files: src : Scalar_Products.cc Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.cc.diff?c…

1 0

ppl/tests/Polyhedron Makefile.am bgp99extrapol ...
by Enea Zaffanella 25 Nov '08

25 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-25 20:57:03 Modified files: tests/Polyhedron: Makefile.am bgp99extrapolation1.cc Added files: tests/Polyhedron: bgp99extrapolation2.cc Log message: Test file bgp99extrapolation1.cc splitted in two: old test02 goes in file bgp99extrapoaltion2.cc and is now specialized to C and NNC cases, so as to allow a finer control of the expected overflows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bgp99extrapo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bgp99extrapo…

1 0

ppl/tests/Polyhedron polyhullifexact1.cc
by Enea Zaffanella 25 Nov '08

25 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-25 20:36:19 Modified files: tests/Polyhedron: polyhullifexact1.cc Log message: test09() triggers an overflow when using on 8-bit checked integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhullifex…

1 0

w3ppl/htdocs news.raw ppl.raw
by Patricia Hill 25 Nov '08

25 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-11-25 17:33:47 Modified files: htdocs : news.raw ppl.raw Log message: Updated the entry for Katy's PhD with a link to the thesis. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh B ...
by Enea Zaffanella 25 Nov '08

25 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-25 15:38:48 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Log message: Drafted an implementation of method BD_Shape::upper_bound_assign_if_exact(), based on Algorithm 4.1 in BemporadFT00TR (tailored to BD shapes). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/BD_Shape Makefile.am upperboundifexa ...
by Enea Zaffanella 25 Nov '08

25 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-25 15:36:28 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : upperboundifexact1.cc Log message: Added a few tests for BD_Shape::upper_bound_assign_if_exact(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/upperboundifex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

w3ppl/htdocs ppl.raw
by Patricia Hill 25 Nov '08

25 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-11-25 14:25:44 Modified files: htdocs : ppl.raw Log message: Katy's thesis corrections are completed and approved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl/src Polyhedron_nonpublic.cc
by Enea Zaffanella 25 Nov '08

25 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-25 09:17:24 Modified files: src : Polyhedron_nonpublic.cc Log message: Prefer Bit_Row::empty() to Bit_Row::count_ones() when testing for emptiness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src Box.defs.hh
by Enea Zaffanella 25 Nov '08

25 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-25 09:15:31 Modified files: src : Box.defs.hh Log message: Fixed comment for Box::simplify_using_context_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=…

1 0

ppl/src Box.inlines.hh
by Enea Zaffanella 25 Nov '08

25 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-25 09:14:32 Modified files: src : Box.inlines.hh Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro…

1 0