September 2008 - PPL-devel - BUGSENG Mailman

ppl/doc ppl-config.1 ppl_lcdd.1 ppl_lpsol.1
by Roberto Bagnara 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-04 19:53:07 Modified files: doc : ppl-config.1 ppl_lcdd.1 ppl_lpsol.1 Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config.1.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lcdd.1.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lpsol.1.diff?cvsroot=…

1 0

ppl/src Constraint.defs.hh Constraint.inlines.hh
by Roberto Bagnara 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-04 17:41:43 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Log message: Resolved a couple of TODOs: now Constraint operator>=(Variable, Variable) and Constraint operator>(Variable, Variable) have optimal implementations. 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…

1 0

ppl/src Checked_Number.inlines.hh
by Roberto Bagnara 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-04 16:56:50 Modified files: src : Checked_Number.inlines.hh Log message: Comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src Constraint.defs.hh Constraint.inlines.hh
by Roberto Bagnara 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-04 16:56:22 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Log message: TODO resolved: Constraint operator==(Variable, Variable) has now an optimal implementation. 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…

1 0

ppl/src Linear_Expression.defs.hh Linear_Expre ...
by Roberto Bagnara 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-04 16:53:34 Modified files: src : Linear_Expression.defs.hh Linear_Expression.inlines.hh Log message: Spurious \relates command removed. New private constructor Linear_Expression(Variable v, Variable w) builds the linear expression corresponding to the difference of `v' and `w'. FIXME resolved: Linear_Expression operator-(Variable, Variable) has now an optimal implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.inlines…

1 0

ppl/tests/Polyhedron addcongruence1.cc addcong ...
by Enea Zaffanella 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-04 15:31:30 Modified files: tests/Polyhedron: addcongruence1.cc addcongruences1.cc Log message: Adapted tests for addcongruence(s) so as to meet the new specification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-04 15:30:47 Modified files: src : Polyhedron_public.cc Log message: Adapted implementation of methods add_congruence(s) so as to meet their specification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.templates.hh
by Enea Zaffanella 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-04 13:57:13 Modified files: src : Polyhedron.defs.hh Polyhedron.templates.hh Log message: The templatic constructor of a Polyhedron from a box now requires that the box is indeed an instantiation of the Box class template; documentation simplified accordingly. Fixed documentation regarding the addition of congruences, so as to better specify when an exception is thrown. Patches: 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.templates.hh.d…

1 0

ppl/src C_Polyhedron.defs.hh NNC_Polyhedron.de ...
by Enea Zaffanella 04 Sep '08

04 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-04 13:52:53 Modified files: src : C_Polyhedron.defs.hh NNC_Polyhedron.defs.hh Log message: Fixed minor problems in the documentation of constructors. Patches: 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/NNC_Polyhedron.defs.hh.di…

1 0

Bugs in gprolog.h (GNU Prolog 1.3.0)
by Roberto Bagnara 04 Sep '08

04 Sep '08

The bug in the header file gprolog.h already reported in 2002 (http://lists.gnu.org/archive/html/users-prolog/2002-09/msg00000.html) is still there. That is, the version installed by GNU Prolog 1.3.0 contains the following variable declarations at lines 1947, 1948 and 2096, respectively: int last_read_line; int last_read_col; ... unsigned *byte_code; Header files should never contain such things in order to avoid the obvious link-time errors. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1