November 2001 - PPL-devel - BUGSENG Mailman

ppl/src GenSys.cc
by Roberto Bagnara 11 Nov '01

11 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-11 17:29:14 Modified files: src : GenSys.cc Log message: Spurious assertions removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src ConSys.defs.hh ConSys.inlines.hh GenSy ...
by Roberto Bagnara 11 Nov '01

11 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-11 17:27:36 Modified files: src : ConSys.defs.hh ConSys.inlines.hh GenSys.defs.hh GenSys.inlines.hh GenSys.cc Log message: ConSys::swap() and GenSys::swap() removed: they are inherited from Matrix. GenSys::remove_invalid_lines_and_rays() implemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src GenSys.cc GenSys.defs.hh Polyhedron.cc
by Roberto Bagnara 11 Nov '01

11 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-11 16:03:38 Modified files: src : GenSys.cc GenSys.defs.hh Polyhedron.cc Log message: Use Constraint::trivial_true() and Constraint::trivial_false(). Prepare to remove invalid line and rays from a GenSys. This is necessary in the Polyhedron::remove_...() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src ConSys.cc
by Roberto Bagnara 11 Nov '01

11 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-11 16:01:29 Modified files: src : ConSys.cc Log message: Use Constraint::is_trivial_true(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src Generator.defs.hh Generator.cc
by Roberto Bagnara 11 Nov '01

11 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-11 15:43:26 Modified files: src : Generator.defs.hh Generator.cc Log message: Added `bool Generator::OK() const'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

ppl/src Constraint.defs.hh Constraint.cc
by Roberto Bagnara 11 Nov '01

11 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-11 15:40:59 Modified files: src : Constraint.defs.hh Constraint.cc Log message: Constraint::is_trivial() renamed is_trivial_true(). Constraint::is_unsatisfiable() renamed is_trivial_false(). Both now use Row::all_homogeneous_terms_are_zero(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…

1 0

ppl/src Row.defs.hh Row.cc
by Roberto Bagnara 11 Nov '01

11 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-11 15:38:23 Modified files: src : Row.defs.hh Row.cc Log message: Added `bool Row::all_homogeneous_terms_are_zero() const'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 11 Nov '01

11 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-11 12:05:56 Modified files: src : Polyhedron.cc Log message: All other things being equal, prefer pre-increment/decrement to post-increment/decrement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests append1.cc append2.cc permute.cc
by Roberto Bagnara 10 Nov '01

10 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-10 20:51:40 Modified files: tests : append1.cc append2.cc permute.cc Log message: Infamous relops are already neutralized in ppl_install.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

ppl/tests Makefile.am smm1.cc
by Roberto Bagnara 09 Nov '01

09 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-09 19:49:52 Modified files: tests : Makefile.am Added files: tests : smm1.cc Log message: New test program. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/smm1.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0