- PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox
by Patricia Hill 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-17 08:47:34 Modified files: doc : definitions.dox Log message: Paragraphs on intervals and bounding boxes improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/Watchdog Watchdog.cc Watchdog.defs.hh
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 08:07:07 Modified files: Watchdog : Watchdog.cc Watchdog.defs.hh Log message: Use #ifdef to test configuration symbols that may be undefined or defined to 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.defs.hh.dif…

1 0

ppl/src Matrix.cc
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 08:05:07 Modified files: src : Matrix.cc Log message: It is non-standard to omit the second argument of std::vector::iterator std::vector::insert(iterator position, const T& x). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

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