June 2002 - PPL-devel - BUGSENG Mailman

ppl/src ConSys.inlines.hh Constraint.cc Constr ...
by Roberto Bagnara 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-17 07:50:40 Modified files: src : ConSys.inlines.hh Constraint.cc Constraint.inlines.hh GenSys.inlines.hh Generator.inlines.hh LinExpression.inlines.hh Row.defs.hh Log message: Reduce our dependence on the PPL_HIDDEN trick. Patches: 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/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… 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/Generator.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/interfaces/C ppl_c.h
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 22:42:50 Modified files: interfaces/C : ppl_c.h Log message: Remove non-standard trailing comma. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/src Constraint.inlines.hh Generator.inline ...
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 22:08:32 Modified files: src : Constraint.inlines.hh Generator.inlines.hh Matrix.inlines.hh Polyhedron.inlines.hh Row.inlines.hh Log message: Make sure the first use of each inline function follows its definition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am
by Enea Zaffanella 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-16 20:26:56 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Modified SICStus interface makefile to find the ppl library even when this has not been installed yet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh LinExpre ...
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 19:58:17 Modified files: src : ConSys.defs.hh GenSys.defs.hh LinExpression.defs.hh Log message: Reposition friend declarations. Always put the public section before the protected one before the private one. 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/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl/src LinExpression.defs.hh
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 19:20:48 Modified files: src : LinExpression.defs.hh Log message: LinExpression(const Constraint&) and LinExpression(const Generator&) made private again, since they expose the library's internals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl/src GenSys.cc Polyhedron.cc minimize.cc si ...
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 19:02:56 Modified files: src : GenSys.cc Polyhedron.cc minimize.cc simplify.cc Log message: No space before question mark in comments. 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/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/tests generators1.cc generators2.cc
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 18:55:14 Modified files: tests : generators1.cc generators2.cc Log message: Include <stdexcept>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators2.cc.diff?cvs…

1 0

ppl/src Constraint.cc Constraint.inlines.hh Po ...
by Enea Zaffanella 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-16 17:43:11 Modified files: src : Constraint.cc Constraint.inlines.hh Polyhedron.cc Log message: Removed CHECKME comments from a few methods of classes Constraint and Polyhedron. A few FIXME changed to CHECKME. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Interval.cc
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 17:20:11 Modified files: src : Interval.cc Log message: Replace `and' by `&&'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.cc.diff?cvsroot=…

1 0