August 2008 - PPL-devel - BUGSENG Mailman

ppl/src Pointset_Powerset.templates.hh
by Patricia Hill 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-16 22:22:45 Modified files: src : Pointset_Powerset.templates.hh Log message: A typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat…

1 0

ppl/src Pointset_Powerset.defs.hh Pointset_Pow ...
by Enea Zaffanella 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-16 19:00:52 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh Log message: Added a note to the documentation of method constrains() regarding its intended semantics, which may be different from the geometric intuition. Improved the implementation of is_universe() so as to exploit/set omega reduction if that is already available or easily provable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat…

1 0

ppl/src Pointset_Powerset.templates.hh
by Enea Zaffanella 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-16 17:52:20 Modified files: src : Pointset_Powerset.templates.hh Log message: Corrected a bug in affine_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat…

1 0

ppl/tests/Powerset pointsetpowerset5.cc
by Enea Zaffanella 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-16 17:51:22 Modified files: tests/Powerset : pointsetpowerset5.cc Log message: Additional test shows a bug in the implementation of affine_dimension() for Pointset_Powerset<Rational_Interval>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowers…

1 0

ppl/src Polyhedron_public.cc
by Roberto Bagnara 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-16 16:24:20 Modified files: src : Polyhedron_public.cc Log message: Added an initial, untested and incomplete implementation of Polyhedron::intersection_preserving_enlarge_assign(const Polyhedron&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Constraint_System.inlines.hh Congruenc ...
by Enea Zaffanella 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-16 16:03:23 Modified files: src : Constraint_System.inlines.hh Congruence_System.inlines.hh Log message: Corrected the implementation of method empty(), which was not disregarding trivial constraints/congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-16 15:22:58 Modified files: src : Box.templates.hh Log message: Typo corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/Box Makefile.am
by Patricia Hill 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-16 14:57:51 Modified files: tests/Box : Makefile.am Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/tests/Box topclosed1.cc
by Patricia Hill 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-16 14:55:36 Modified files: tests/Box : topclosed1.cc Log message: Typos fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/topclosed1.cc.diff?…

1 0

ppl/tests/Box Makefile.am topclosed1.cc
by Patricia Hill 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-16 14:50:49 Modified files: tests/Box : Makefile.am Added files: tests/Box : topclosed1.cc Log message: Added a test file for is_toplogically_closed() for the Box domain. This is not enabled as this does not compile. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/topclosed1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0