December 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/BD_Shape Makefile.am simplifyusingco ...
by Enea Zaffanella 17 Dec '08

17 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-17 17:21:13 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : simplifyusingcontext1.cc Log message: Added test for method BD_Shape<T>::simplify_using_context_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/simplifyusingc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 17 Dec '08

17 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-17 17:20:16 Modified files: src : BD_Shape.templates.hh Log message: Drafted an implementation for simplify_using_context_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src Polyhedron_nonpublic.cc
by Enea Zaffanella 17 Dec '08

17 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-17 13:01:36 Modified files: src : Polyhedron_nonpublic.cc Log message: Method BFT00_poly_hull_assign_if_exact() is only correct for closed polyhedra: added an assertion and adapted comments. Added draft implementation for new method BHZ09_poly_hull_assign_if_exact(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src MIP_Problem.cc
by Enea Zaffanella 17 Dec '08

17 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-17 12:54:21 Modified files: src : MIP_Problem.cc Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 17 Dec '08

17 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-17 12:53:46 Modified files: src : Polyhedron.defs.hh Log message: Corrected the specification of method BFT00__poly_hull_assign_if_exact: the method is only correct for closed polyhedra. Added declaration for another (protected) method that will be based on an alternative algorithm (named BHZ09_poly_hull_assign_if_exact). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Bit_Row.cc
by Enea Zaffanella 17 Dec '08

17 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-12-17 12:49:45 Modified files: src : Bit_Row.cc Log message: Added a naive, inefficient implementation for method set_until. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.cc.diff?cvsroot=p…

1 0

ppl ./CREDITS ./ChangeLog ./NEWS ./README ./RE ...
by Roberto Bagnara 16 Dec '08

16 Dec '08

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 13 Dec '08

13 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-12-13 11:28:10 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Added missing inclusions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/fedora ppl.spec
by Roberto Bagnara 05 Dec '08

05 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-12-05 07:52:13 Modified files: fedora : ppl.spec Log message: Added `%dir %{_datadir}/doc/pwl' to the `%files' section of the `ppl-pwl' package. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/ppl.spec.diff?cvsroot=…

1 0

ppl/src BDS_Status.inlines.hh Box_Status.inlin ...
by Roberto Bagnara 01 Dec '08

01 Dec '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-12-01 18:06:46 Modified files: src : BDS_Status.inlines.hh Box_Status.inlines.hh Grid_Status.cc Og_Status.inlines.hh Ph_Status.cc Log message: Dealt with several false-alarm warnings about possibly uninitialized variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box_Status.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Og_Status.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.cc.diff?cvsroot…

1 0