November 2008 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.templates.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:13:14 Modified files: src : BD_Shape.templates.hh Log message: Drafted implementation for incremental_shortest_path_closure_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src Octagonal_Shape.templates.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:12:21 Modified files: src : Octagonal_Shape.templates.hh Log message: Useless test for zero-dim removed from incremental_strong_closure_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Octagonal_Shape.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:08:56 Modified files: src : Octagonal_Shape.defs.hh Log message: Improved the documentation of the incremental strong closure private method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0

ppl/src BD_Shape.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:06:00 Modified files: src : BD_Shape.defs.hh Log message: Declared a private method for incremental shortest-path closure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/tests/Powerset difference1.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 08:30:25 Modified files: tests/Powerset : difference1.cc Log message: test03() no longer overflows on 8-bit checked integer coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/difference1.cc…

1 0

ppl/src Bit_Row.inlines.hh
by Roberto Bagnara 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-24 21:27:49 Modified files: src : Bit_Row.inlines.hh Log message: Fixed Bit_Row::count_ones(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.inlines.hh.diff?c…

1 0

ppl/tests/Polyhedron Makefile.am polyhullifexa ...
by Enea Zaffanella 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-24 18:12:24 Modified files: tests/Polyhedron: Makefile.am polyhullifexact1.cc Added files: tests/Polyhedron: polyhullifexact2.cc Log message: Tests that are specific for NNC_Polyhedron placed in a separate file, for which we do not produce the derived nnc test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhullifex… 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/polyhullifex…

1 0

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

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-24 18:01:42 Modified files: tests/Polyhedron: polyhullifexact1.cc Log message: Added a few tests that are specific for the NNC_Polyhedron case. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhullifex…

1 0

ppl/src NNC_Polyhedron.cc
by Enea Zaffanella 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-24 18:00:43 Modified files: src : NNC_Polyhedron.cc Log message: Method NNC_Polyhedron::poly_hull_assign_if_exact() is now implemented using Polyhedron::BFT00_poly_hull_assign_if_exact(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cv…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_nonpublic.cc
by Enea Zaffanella 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-24 17:59:15 Modified files: src : Polyhedron.defs.hh Polyhedron_nonpublic.cc Log message: Implementation of BFT00_poly_hull_assign_if_exact() generalized so as to correctly deal with the case of NNC polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0