February 2009 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Bugs Bugs.raw archive.raw
by Enea Zaffanella 02 Feb '09

02 Feb '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2009-02-02 10:12:45 Modified files: htdocs/Bugs : Bugs.raw archive.raw Log message: Reported the correction of a bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

ppl src/Grid_public.cc tests/Grid/simplifyusin ...
by Patricia Hill 02 Feb '09

02 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2009-02-02 09:28:25 Modified files: src : Grid_public.cc tests/Grid : simplifyusingcontext1.cc Log message: Improved the code for handling 0-dim empty polyhedra for Grid::simplify_using_context_assign(). Added a further test for the 0-dim polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/simplifyusingconte…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 02 Feb '09

02 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-02-02 09:27:54 Modified files: src : Polyhedron_public.cc Log message: Corrected a bug in methods add(_recycled)_generator(s) and simplify_using_context_assign whereby an assertion could have failed under very specific conditions (zero-dim empty polyhedron with a computed inconsistent constraint system becoming a zero-dim universe polyhedron). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests/Polyhedron addgenerator1.cc addgener ...
by Enea Zaffanella 02 Feb '09

02 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-02-02 09:24:18 Modified files: tests/Polyhedron: addgenerator1.cc addgenerators1.cc Log message: New tests show an assertion failure when adding the vector space origin to an empty zero-dim space polyhedron, thereby turning it into a zero-dim universe polyhedron. The assertion only fails if the inconsistent constraint system of the empty polyhedron was previously generated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerator… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addgenerator…

1 0

ppl/tests/Polyhedron simplifyusingcontext1.cc
by Patricia Hill 02 Feb '09

02 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2009-02-02 09:01:02 Modified files: tests/Polyhedron: simplifyusingcontext1.cc Log message: Added three further tests to cover all 0-dim cases. Reordered tests so that all the 0-dim tests are consecutive (11-15). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/simplifyusin…

1 0

ppl/tests/Polyhedron simplifyusingcontext1.cc
by Patricia Hill 02 Feb '09

02 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2009-02-02 08:39:07 Modified files: tests/Polyhedron: simplifyusingcontext1.cc Log message: Added test that has an assertion failure for 0-dim empty polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/simplifyusin…

1 0

CVSROOT loginfo
by Roberto Bagnara 02 Feb '09

02 Feb '09

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: bagnara(a)cs.unipr.it 2009-02-02 08:11:05 Modified files: . : loginfo Log message: Updated the path to viewvc's loginfo-handler. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/loginfo.diff?cvsroot=ppl&…

1 0

ppl/tests/Grid Makefile.am simplifyusingcontex ...
by Patricia Hill 01 Feb '09

01 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2009-02-01 22:14:09 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : simplifyusingcontext1.cc Log message: Tests for simplify_using_context_assign() for Grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/simplifyusingconte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Grid_public.cc
by Patricia Hill 01 Feb '09

01 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2009-02-01 22:09:40 Modified files: src : Grid_public.cc Log message: Added code for simplify_using_context_assign() for Grids. Some other bugs in the comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0