- PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-03-12 13:25:16 Modified files: htdocs/Download: requirements.raw Log message: Breaking news: on March 12, 2002, the development version passed "make check" on a SPARC machine running SunOS 5.8 (Solaris). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl/src Makefile.am
by Roberto Bagnara 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-12 12:25:00 Modified files: src : Makefile.am Log message: Do not use the `-e' option of GNU grep (this solves a portability problem on Solaris). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Constraint.defs.hh Generator.defs.hh G ...
by Enea Zaffanella 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-12 11:44:11 Modified files: src : Constraint.defs.hh Generator.defs.hh Generator.inlines.hh Log message: The method Constraint::type() and the corresponding enum Constraint::Type are now public. Added new public type tests to Generator, is_ray() and is_vertex(); also, the existing method is_line() is now public. 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/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff…

1 0

Unneeded asymmetries between Constraint/Generator public interfaces.
by Enea Zaffanella 12 Mar '02

12 Mar '02

Reasoning on the user interface. I noted that the enumeration Type and the corresponding accessor method type() are declared: - public in Generator.defs.hh - PPL_INTERNAL (hence, private for the end-user) in Constraint.defs.hh Also, for the class Constraint we do provide boolean tests is_equality() and is_inequality, while similar tests are not provided for Generator: we only have is_line() is declared as PPL_INTERNAL; we don't have methods is_ray() and is_vertex(). NOTE: the method is_ray_or_vertex() is PPL_INTERNAL, as it should be. In order to have a more uniform interface, I suggest the following: - let the enums Type and methods type() be public, so that the user has a uniform way to investigate the type of constraints/generators. - let the boolean tests, including the yet to be written is_ray() and is_vertex(), but excluding is_ray_or_vertex(), be either all public or all PPL_INTERNAL. What do you think ? Should I go on and implement this change ? Ciao, Enea.

2 2

ppl/src Generator.cc Generator.defs.hh Generat ...
by Enea Zaffanella 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-12 11:23:40 Modified files: src : Generator.cc Generator.defs.hh Generator.inlines.hh Log message: We were still throwing an exception from the inlined method divisor(); added a non-inline function for that purpose. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot… 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.inlines.hh.diff…

1 0

ppl/interfaces/Prolog GNU/Makefile.am SWI/Make ...
by Roberto Bagnara 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-12 11:13:12 Modified files: interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: More packaging glitches have been fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/interfaces/Prolog Makefile.am GNU/Makefile ...
by Roberto Bagnara 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-12 09:32:35 Modified files: interfaces/Prolog: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: A first go at fixing the packaging problems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl ./NEWS src/Polyhedron.defs.hh
by Roberto Bagnara 11 Mar '02

11 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-11 19:02:43 Modified files: . : NEWS src : Polyhedron.defs.hh Log message: Visibility bug fixed: Polyhedron::is_empty() must be private. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.16… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 11 Mar '02

11 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-11 18:44:41 Modified files: src : Polyhedron.inlines.hh Log message: Fixed a severe performance bug in operator<(const Polyhedron& x, const Polyhedron& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src ConSys.defs.hh Constraint.defs.hh GenS ...
by Enea Zaffanella 11 Mar '02

11 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-11 14:54:35 Modified files: src : ConSys.defs.hh Constraint.defs.hh GenSys.defs.hh Generator.defs.hh Matrix.defs.hh Row.defs.hh Log message: Added a few missing doxygen comments to avoid warnings. 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/Constraint.defs.hh.diff?c… 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/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0