August 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron Makefile.am interspreserv ...
by Roberto Bagnara 17 Aug '08

17 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-17 16:18:18 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: interspreservenlarge1.cc Log message: New test program for Polyhedron::intersection_preserving_enlarge_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/interspreser… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

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

17 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-17 16:15:16 Modified files: src : Polyhedron_public.cc Log message: Continued drafting a prototype for 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 Polyhedron.defs.hh
by Roberto Bagnara 17 Aug '08

17 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-17 16:13:24 Modified files: src : Polyhedron.defs.hh Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src simplify.cc
by Roberto Bagnara 17 Aug '08

17 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-17 16:12:54 Modified files: src : simplify.cc Log message: Polyhedron::simplify(Linear_System& sys, Bit_Matrix& sat) assumes `sys' has a nonzero number of columns: added assertion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/src Linear_System.cc
by Roberto Bagnara 17 Aug '08

17 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-17 16:11:52 Modified files: src : Linear_System.cc Log message: Linear_System::back_substitute(dimension_type n_lines_or_equalities) assumes *this has nonzero numbers of rows and of columns: added assertions checking these conditions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0

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

17 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-17 13:48:13 Modified files: src : Box.templates.hh Log message: Corrected error: Box has no access to Grid_Generator_System internals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.templates.hh Congruence_System.cc ...
by Enea Zaffanella 17 Aug '08

17 Aug '08

1 0

ppl/src Polyhedron.defs.hh simplify.cc
by Roberto Bagnara 17 Aug '08

17 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-17 11:09:07 Modified files: src : Polyhedron.defs.hh simplify.cc Log message: Let Polyhedron::simplify(Linear_System&, Bit_Matrix&) return dimension_type instead of int. 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/simplify.cc.diff?cvsroot=…

1 0

ppl/src Constraint_System.cc
by Enea Zaffanella 17 Aug '08

17 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-17 00:20:18 Modified files: src : Constraint_System.cc Log message: In private method adjust_topology_and_space_dimension, do not call recently modified method empty(), as it disregards trivial constraints, whereas here we want to know the internal structure of the matrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.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 22:38:02 Modified files: tests/Box : Makefile.am topclosed1.cc Log message: topclosed1.cc which tests is_topologically_closed(), has a typo fixed and now enabled in the Makefile. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/topclosed1.cc.diff?…

1 0