November 2005 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/XSB Makefile.am expected ...
by Roberto Bagnara 20 Nov '05

20 Nov '05

1 0

ppl/interfaces/Prolog XSB/expected2_int8 XSB/e ...
by Roberto Bagnara 20 Nov '05

20 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-20 16:59:08 Modified files: interfaces/Prolog/XSB: expected2_int8 expected3_int8 interfaces/Prolog/tests: expected_clpq2_int8 expected_pchk_int8 Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/tests/Polyhedron numberinput1.cc
by Roberto Bagnara 20 Nov '05

20 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-20 10:25:58 Modified files: tests/Polyhedron: numberinput1.cc Log message: Temporary hack to avoid failure of `make check'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

ppl/tests/Polyhedron numberinput1.cc
by Roberto Bagnara 20 Nov '05

20 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-20 07:24:23 Modified files: tests/Polyhedron: numberinput1.cc Log message: Removed another instance of undue reliance on default rounding mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

The C++ interface implicitly converts rationals to integers
by Roberto Bagnara 20 Nov '05

20 Nov '05

Hi there. The program #include <gmpxx.h> #include <iostream> using namespace std; void foo(const mpz_class& i) { cout << "foo::i = " << i << endl; } int main() { mpq_class r(3, 4); cout << "main::r = " << r << endl; foo(r); return 0; } prints main::r = 3/4 foo::i = 0 This shows that the C++ interface of GMP defines an implicit constructor for mpz_class that takes an mpq_class object and (silently) truncates it. It is very bad practice for such a constructor to be implicit as this can result in bugs that are very difficult to diagnose. Of course I am not questioning the need for such a conversion: I simply think that truncation should only be performed when explicitly requested. 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

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 20 Nov '05

20 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-20 00:21:41 Modified files: src : BD_Shape.inlines.hh Log message: Use rounding up in the definition of stop_points[] in BD_Shape<T>::CC76_extrapolation_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src DB_Matrix.inlines.hh
by Roberto Bagnara 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-19 22:39:32 Modified files: src : DB_Matrix.inlines.hh Log message: DB_Matrix<T>::ascii_load() was not failing in case of a conversion error. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff…

1 0

ppl/src Result.defs.hh
by Roberto Bagnara 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-19 22:38:52 Modified files: src : Result.defs.hh Log message: Added some full stops. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.defs.hh.diff?cvsro…

1 0

ppl/src DB_Row.inlines.hh
by Roberto Bagnara 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-19 22:34:23 Modified files: src : DB_Row.inlines.hh Log message: DB_Row::OK() is now more informative upon failure, unless NDEBUG is defined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.inlines.hh.diff?cv…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-19 20:35:04 Modified files: src : BD_Shape.inlines.hh Log message: Another correction in BD_Shape<T>::CC76_extrapolation_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0