February 2002 - PPL-devel - BUGSENG Mailman

ppl ./Makefile.am ./configure.ac doc/Makefile. ...
by Roberto Bagnara 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-25 22:01:56 Modified files: . : Makefile.am configure.ac doc : Makefile.am interfaces : Makefile.am interfaces/Prolog: Makefile.am interfaces/Prolog/SICStus: Makefile.am m4 : Makefile.am ac_check_gmp.m4 src : Makefile.am tests : Makefile.am Log message: Limit the exceptions to the GPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c… 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/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

w3ppl/htdocs ppl.raw Download/requirements.raw
by Roberto Bagnara 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-02-25 21:20:42 Modified files: htdocs : ppl.raw htdocs/Download: requirements.raw Log message: Typo fixed in the main page. Explained how to configure GMP and the PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl/src Generator.defs.hh
by Enea Zaffanella 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-25 21:08:41 Modified files: src : Generator.defs.hh Log message: The example on the use of coefficient(v) modified to keep into account the divisor of the vertex and to actually check that g1 is a vertex. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/src Generator.defs.hh Constraint.defs.hh
by Enea Zaffanella 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-25 18:02:16 Modified files: src : Generator.defs.hh Constraint.defs.hh Log message: Modified the example of the use of coefficient(v) for a generator. Modified also the similar example for a constraint, now using the assignment operator. Patches: 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/Constraint.defs.hh.diff?c…

1 0

ppl/tests Makefile.am addconstraints10.cc addc ...
by Elisa Ricci 25 Feb '02

25 Feb '02

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-25 17:23:25 Modified files: src : Polyhedron.cc Log message: In functions Polyhedron::add_generators() and Polyhedron::add_generators_and_minimize, we throw an exception if we add a system of generators with no vertex to an empty polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src globals.hh
by Roberto Bagnara 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-25 17:07:38 Modified files: src : globals.hh Log message: Qualified name is not allowed in namespace member declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/src Constraint.defs.hh Constraint.inlines. ...
by Roberto Bagnara 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-25 17:02:17 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Generator.defs.hh Generator.inlines.hh Row.defs.hh Row.inlines.hh Log message: Assignments operators added for Constraint and Generator. Some cleaning meanwhile. 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/Constraint.inlines.hh.dif… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro…

1 0

ppl/src Constraint.defs.hh
by Enea Zaffanella 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-25 15:32:34 Modified files: src : Constraint.defs.hh Log message: Changed the example showing how to use method coefficient(v) and is_equality(). This shows that we probably miss a public method that is capable to set the relational operator of a constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0

ppl/tests addconstraints1.cc addconstraints10. ...
by Elisa Ricci 25 Feb '02

25 Feb '02

1 0