June 2002 - PPL-devel - BUGSENG Mailman

ppl/tests print.cc
by Roberto Bagnara 20 Jun '02

20 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-20 22:47:03 Modified files: tests : print.cc Log message: Do not redefine the default arguments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=p…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 20 Jun '02

20 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-20 21:22:08 Modified files: doc : definitions.dox Log message: A few improvements in the first paragraph of the introduction. Better explained what a preimage is and some chnages to the paragraph on the DD method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Row.cc Row.defs.hh Row.inlines.hh SatM ...
by Enea Zaffanella 20 Jun '02

20 Jun '02

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 20 Jun '02

20 Jun '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-06-20 16:22:13 Modified files: htdocs/Documentation: ppl.bib Log message: Halbwachs79th added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

Re: [Bug-glpk] Problem in GLPK 3.1
by Andrew Makhorin 20 Jun '02

20 Jun '02

>we are using GLPK services from a C++ application. >After upgrading from GLPK 3.0.6 to GLPK 3.1 we are >having compilation problems due to the fact that >`class' is a keyword in C++ and so cannot be used >as an identifier. The problematic lines in glpk.h >are lines 297 and 598, reading > > int class; > >and > >void lpx_set_class(LPX *lp, int class); > >respectively. Thank you for your bug report! Please look at the following messages concerning this bug and how to fix it: <http://mail.gnu.org/pipermail/help-glpk/2002-May/000128.html> <http://mail.gnu.org/pipermail/help-glpk/2002-May/000129.html> <http://mail.gnu.org/pipermail/help-glpk/2002-May/000130.html>

1 0

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

20 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-20 13:50:02 Modified files: doc : definitions.dox Log message: Reordered the bibliography to be alphabetical. Changed the syntax in Bounded Polyhedra. Moved Rational Polyhedra to end of section on representations (it needs the definition of constraint representation). Comment in Generators Representation wrt this moved to the Rational one. Small change of wording to Points... paragraph. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 20 Jun '02

20 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-20 13:42:43 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Corrected the grammar rules for Rational and made other changes related to this. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

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

20 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-20 12:31:22 Modified files: interfaces/C : ppl_c.cc Log message: Functions dealing with closure points and strict inequalities were still commented out: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 20 Jun '02

20 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-20 12:18:37 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Improvements to grammar rules. List_of_Constraints and List_of_Generators now specified formally as Constraint_System and Generator_System. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 20 Jun '02

20 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-20 12:01:22 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Improved description of "relation with" predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0