January 2006 - PPL-devel - BUGSENG Mailman

ppl NEWS README
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 09:10:27 Modified files: . : NEWS README Log message: Reworded a couple of sentences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.17… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-14 08:22:30 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Corrected a test for ppl_Coefficient_min/1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl README
by Patricia Hill 13 Jan '06

13 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-13 22:55:33 Modified files: . : README Log message: Added bullet about linear programming problem solver. Minor language improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

Problems with std::numeric_limits
by Roberto Bagnara 13 Jan '06

13 Jan '06

Hi there, we have been repeatedly bitten by std::numeric_limits because of its default implementation, i.e., the one beginning with template<typename _Tp> struct numeric_limits : public __numeric_limits_base { /** The minimum finite value, or for floating types with denormalization, the minimum positive normalized value. */ static _Tp min() throw() { return static_cast<_Tp>(0); } /** The maximum finite value. */ static _Tp max() throw() { return static_cast<_Tp>(0); } /** The @e machine @e epsilon: the difference between 1 and the least value greater than 1 that is representable. */ static _Tp epsilon() throw() { return static_cast<_Tp>(0); } ... in the <limits> header file (I am looking at GCC version 4.0.2). Is that default implementation mandated by the standard? If so, well... fine. But if it is not mandated then I think it makes much sense to remove it as it seems a perfect recipe for disaster. Another issue is: shouldn't, e.g., std::numeric_limits<int> and std::numeric_limits<const int> be completely equivalent? Here is a little C++ program demonstrating what I mean: #include <limits> #include <iostream> using namespace std; struct Foo { Foo(int) { }; operator int() { return 27; } }; int main() { std::cout << std::numeric_limits<Foo>::is_bounded << std::endl; std::cout << std::numeric_limits<Foo>::max() << std::endl; std::cout << std::numeric_limits<const int>::is_bounded << std::endl; std::cout << std::numeric_limits<const int>::max() << std::endl; std::cout << std::numeric_limits<int>::is_bounded << std::endl; std::cout << std::numeric_limits<int>::max() << std::endl; } Here it prints the following: 0 27 0 0 1 2147483647 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 2

ppl/src checked_numeric_limits.hh
by Roberto Bagnara 13 Jan '06

13 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-13 21:02:30 Modified files: src : checked_numeric_limits.hh Log message: Cosmetic changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh…

1 0

ppl/src mp_numeric_limits.hh
by Roberto Bagnara 13 Jan '06

13 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-13 21:01:43 Modified files: src : mp_numeric_limits.hh Log message: Fixed: all specializations of std::numeric_limits must have the `is_specialized' field set to true. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_numeric_limits.hh.diff…

1 0

ppl/src Checked_Number.defs.hh
by Roberto Bagnara 13 Jan '06

13 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-13 19:14:57 Modified files: src : Checked_Number.defs.hh Log message: Include "checked_numeric_limits.hh". Long line broken. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 13 Jan '06

13 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-13 19:01:54 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Do not write std::numeric_limits<const Coefficient>: write std::numeric_limits<Coefficient> instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces C/Makefile.am C/ppl_c.cc Prolog ...
by Roberto Bagnara 13 Jan '06

13 Jan '06

1 0

ppl/src Powerset.defs.hh
by Patricia Hill 13 Jan '06

13 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-13 18:09:24 Modified files: src : Powerset.defs.hh Log message: Some comments revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvs…

1 0