June 2002 - PPL-devel - BUGSENG Mailman

ppl doc/definitions.dox interfaces/Prolog/Prol ...
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 17:44:14 Modified files: doc : definitions.dox interfaces/Prolog: Prolog_interface.dox Log message: Added the condition that the CC92-widening requires the polyhedra to have the same topology. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

2 1

ppl/src Constraint.inlines.hh LinExpression.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 18:05:47 Modified files: src : Constraint.inlines.hh LinExpression.cc LinExpression.defs.hh LinExpression.inlines.hh Log message: Added LinExpression& operator-=(LinExpression& e1, const LinExpression& e2), LinExpression& operator-=(LinExpression& e, const Variable& v), and LinExpression& operator-=(LinExpression& e, const Integer& n). Useless creation of a temporary avoided thanks to the second of those. 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/LinExpression.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.…

1 0

ppl TODO
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 17:37:59 Modified files: . : TODO Log message: We now have complete support for bounding boxes. List a couple of pending efficiency issues. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22…

1 0

ppl doc/definitions.dox src/Polyhedron.defs.hh ...
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 17:32:21 Modified files: doc : definitions.dox src : Polyhedron.defs.hh Polyhedron.cc interfaces/C : ppl_c.h interfaces/Prolog: Prolog_interface.dox Log message: Added a draft paragraph about widening (and CC92-widening) to definitions.dox. Replaced "widening" by CC92-widening" in the comments about the widening operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… 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/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src GenSys.cc Polyhedron.cc
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 16:19:06 Modified files: src : GenSys.cc Polyhedron.cc Log message: All the FIXME's in Polyhedron.cc and GenSys.cc transformed into TODO's, since they were just place-holders for possible performance improvements. 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…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 16:00:12 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Added interfaces function for the copy constructors of classes Constraint and Generators and for the constructors of a LinExpression from a Constraint/Generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/interfaces/Prolog/GNU ppl_gprolog.pl
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 15:39:19 Modified files: interfaces/Prolog/GNU: ppl_gprolog.pl Log message: The two widening predicates have been renamed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 17 Jun '02

17 Jun '02

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-06-17 14:31:22 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: CousotC92-PLILP added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/interfaces/C ppl_c.h
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 13:57:49 Modified files: interfaces/C : ppl_c.h Log message: Added comment to functions building polyhedra from bounding boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0