October 2005 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/XSB ppl_xsb.H
by Roberto Bagnara 11 Oct '05

11 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-11 09:10:58 Modified files: interfaces/Prolog/XSB: ppl_xsb.H Log message: Reflect the reorganization of the Watchdog directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/tests/Polyhedron numberinput1.cc
by Matthew Mundell 10 Oct '05

10 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-10-10 17:11:07 Modified files: tests/Polyhedron: numberinput1.cc Log message: Add two hexadecimal tests where parsing will stop after the "0x". Use valid digits in the exponent of "3^^e3" (i.e. use "3^^e2"). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

ppl/interfaces/Prolog/YAP ppl_yap.cc
by Roberto Bagnara 09 Oct '05

09 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-09 08:38:25 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Comparisons with LONG_MAX fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/src simplex.cc
by Roberto Bagnara 08 Oct '05

08 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-08 22:34:52 Modified files: src : simplex.cc Log message: Avoid requesting the inlining of complex functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/interfaces/Prolog/YAP ppl_yap.cc
by Roberto Bagnara 08 Oct '05

08 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-08 22:14:06 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: YAP should now support unlimited precision integers. Some FIXMEs dealt with, but had to add one because of what looks like a bug in YAP. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 08 Oct '05

08 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-08 13:57:52 Modified files: src : Polyhedron_public.cc Log message: Use Constraint::inhomogeneous_term() instead of c[0] when appropriate. Moved a useful comment outside assertion-like code, because the comment is relevant even when assertions are disabled. When invoking scalar_product_sign(), the first argument should be the constraint and the second the generator (not the other way round). Several occurrences of if (var_space_dim <= expr_space_dim && expr[var_space_dim] != 0) { replaced by the shorter (and as efficient as) if (expr.coefficient(var) != 0) { One use of Coefficient_traits::const_reference inside a function body definition replaced by const Cefficient&. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Polyhedra_Powerset.cc Polyhedra_Powers ...
by Roberto Bagnara 08 Oct '05

08 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-08 09:10:22 Modified files: src : Polyhedra_Powerset.cc Polyhedra_Powerset.inlines.hh checked_float.inlines.hh Log message: Comments revised. Refer to GCC's Bugzilla when talking about GCC bugs. GCC (the GNU Compiler Collection) is written with all capitals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src Polyhedra_Powerset.defs.hh
by Roberto Bagnara 08 Oct '05

08 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-10-08 08:49:28 Modified files: src : Polyhedra_Powerset.defs.hh Log message: To work around a bug in GCC 3.3.3, we temporarily make all Polyhedra_Powerset's friends of each other. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h…

1 0

ppl/src simplex.cc
by Enea Zaffanella 08 Oct '05

08 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-08 07:21:54 Modified files: src : simplex.cc Log message: Stop being noisy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src Linear_System.cc
by Roberto Bagnara 07 Oct '05

07 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-07 22:11:34 Modified files: src : Linear_System.cc Log message: FIXME resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0