August 2002 - PPL-devel - BUGSENG Mailman

ppl/src GenSys.cc
by Enea Zaffanella 12 Aug '02

12 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-08-12 20:57:41 Modified files: src : GenSys.cc Log message: Patched the method insert(const Generator&), which was doing nasty things when trying to insert a generator into an empty generator system that was declared to be NNC. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

2 1

ppl/tests addgenerators8.cc
by Enea Zaffanella 12 Aug '02

12 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-08-12 20:55:40 Modified files: tests : addgenerators8.cc Log message: No longer NOISY. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators8.cc.diff?…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 12 Aug '02

12 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-08-12 20:53:37 Modified files: src : Polyhedron.cc Log message: Corrected a bug in add_generator(const Generator&) whereby we were not adding the corresponding closure point when adding a point to an empty NNC polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 12 Aug '02

12 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-08-12 20:51:09 Modified files: src : Polyhedron.defs.hh Log message: Removed a /*! that was inside the scope of another /*!. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/tests Makefile.am addgenerators8.cc
by Enea Zaffanella 12 Aug '02

12 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-08-12 20:45:43 Modified files: tests : Makefile.am Added files: tests : addgenerators8.cc Log message: The new test addgenerators8 shows a bug when trying to insert a point into an empty NNC polyhedron using add_generator(const Generator&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators8.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Determinate.defs.hh Determinate.inline ...
by Roberto Bagnara 12 Aug '02

12 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-12 15:08:45 Modified files: src : Determinate.defs.hh Determinate.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: Classes Determinate and PowerSet equipped with initial implementations of methods add_constraint(), add_constraints(), and add_dimensions_and_constraints(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 12 Aug '02

12 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-12 09:28:37 Modified files: src : Polyhedron.defs.hh Log message: The documentation of Polyhedron::add_dimensions_and_constraints() has been made consistent with that of the other methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl interfaces/Prolog/clpq2.pl interfaces/Prol ...
by Roberto Bagnara 12 Aug '02

12 Aug '02

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 12 Aug '02

12 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-12 08:44:47 Modified files: src : Polyhedron.cc Log message: Properly comment a couple of preprocessor directives. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl interfaces/Prolog/ppl_prolog.icc src/C_Pol ...
by Roberto Bagnara 11 Aug '02

11 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-11 17:05:21 Modified files: interfaces/Prolog: ppl_prolog.icc src : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: The syntax `template <class T>' is an anachronism: use `template <typename T>' instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh… 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.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0