[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits

Tue May 5 19:23:14 CEST 2009

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=306db9d46d071860c3bab0552a2cfa237ee3c27c
Merge: 7309a3a239bc75074827c6c61bd0df2b278088df 317f48d0d55391b07624e0f55a6228e3b2d39d6f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue May 5 19:22:47 2009 +0200

    Merge branch 'master' into bounded_arithmetic

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=317f48d0d55391b07624e0f55a6228e3b2d39d6f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue May 5 19:20:33 2009 +0200

    The rename of Determinate was in fact a bad idea: backtracked.
    The documentation of the class has been improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8d5162a1bb648f191bba13afebc99412ac6636
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue May 5 17:31:36 2009 +0200

    Added basic timeout support to the C library interface.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a261c5a9255c15c4043e19b17bb87ec38cc69b57
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue May 5 08:43:39 2009 +0200

    Method COW_Pointset::element() renamed pointset().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3385539e9496e7240cc2be723e219b61ee664f6a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue May 5 07:51:45 2009 +0200

    Method COW_Pointset::element() renamed pointset().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a1b29cc27b2724da40e282849b3a0fa6b653a34
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue May 5 07:51:25 2009 +0200

    Indentation and comments fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=975b9494cf23eb81b611a9878b9effac55b69486
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue May 5 06:50:48 2009 +0200

    Method COW_Pointset::element() renamed pointset().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=617727237924d806dcbfd87d78077770e0cd54a4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 23:13:44 2009 +0200

    Method COW_Pointset::element() renamed pointset().  Comments improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=138e93f3053266c9ad90188e0e1e99408986cc53
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 23:12:27 2009 +0200

    test02() and test09() fail also with 16-bit coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2903193cd3322812da1216ad198943f987a62e97
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 23:02:16 2009 +0200

    Systematically write "copy constructor" instead of "copy-constructor."
    (The verb is "to copy-construct" though.)

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ed468a18c4ea3f2af297c6a55881956cff3ce11
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 22:18:15 2009 +0200

    The `Determinate' class has been renamed `COW_Pointset'.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0157b7348fe2ffaf360c8d3b20094b83a320a75f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 19:03:25 2009 +0200

    Completed the \exception section of the documentation for wrap_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f54288600e90baebc6307d5b0c86056d445297d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 16:20:34 2009 +0200

    Added a section on "Approximating Bounded Arithmetic", to be written.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=137d32b6c98dcf24843171d836388dee85c3855b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 16:09:33 2009 +0200

    Documentation of the wrapping methods improved.  Typos fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e712a9a26f8751191e73bedbb1e0d77f4c33b53
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 15:30:42 2009 +0200

    Two new items added.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=405c912f7e3380c3380aff301e6768160340c359
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 15:17:21 2009 +0200

    Further steps in the definition of the interface of Affine_Space.
    The widening and extrapolation methods do nothing (except for
    testing dimension-compatibility).  Several comments revised.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cad1f47f089bfddbbb0df15890d04e633a466c1c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 15:16:39 2009 +0200

    Added missing full stops.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ba2322b9b323b0c25dfb9004bfb67bc89e21fd4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon May 4 13:51:56 2009 +0200

    Documented recent changes in the Java interface.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f31f10f742cd42fe5abefa3dc780067dd13aca03
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 11:46:50 2009 +0200

    Removed obsolete comments about minimization.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e981dad7a2b38028438bfffa721f53df435a99c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 11:44:41 2009 +0200

    Fixed some comments.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea296d657de6512f5150e2a01a17e7b0599dbb1c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 10:31:42 2009 +0200

    Marked the tests that are expected to fail with 8-bit coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bae7441bfe49f3edf01238bb9cf09c654903456d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon May 4 09:21:15 2009 +0200

    Documented a systematic assumption about the C interface opaque pointers.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c67069f18540f2ea3cb2547810e1055a8f7872
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon May 4 08:07:36 2009 +0200

    Fixed a couple of comments for BD and octagonal shapes.
    When adding constraints/congruences, an exception is thrown if they cannot
    be accurately represented.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1806a003f1aede19f069ed2884f0a133669e987b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon May 4 07:53:27 2009 +0200

    Cached Java method IDs for class parma_polyhedra_library/Pair.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7df8a012ef106c60a5a9685208af6074d00e632b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 08:06:25 2009 +0200

    Expected behavior made dependent on the range of Coefficient.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5ea2c6ad7ca56bc638fab654e1ee61570ebe8db
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 4 08:01:56 2009 +0200

    Test BD_Shape::wrap_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f8b88c139b3e7babdb53d586493e9239f873446
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun May 3 22:25:43 2009 +0200

    Check for NaNs only when debugging.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d1c8a0cea556222c531c7969a92cd481c74469c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun May 3 17:02:33 2009 +0200

    Fixed computation of known results for test01() and test02().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=333cc7aab97123abb0bae09c146bb9cad43ad6de
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun May 3 15:45:56 2009 +0200

    Avoid use of constructors in numeric_limits.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56888c3225c8fc78186bb4428cd1a50b1541c796
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun May 3 15:19:10 2009 +0200

    Expected result adapted to the different types of coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4dcb2959e3cc7b74aaa9f20c865b848e206818b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun May 3 15:19:00 2009 +0200

    Fixed PPL_SPECIALIZE_LIMITS_INT.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d88f590328ae2f751caa062ca4c9ba43bd7d633d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun May 3 10:34:20 2009 +0200

    Debugging print statement added.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d02c66706d0ae61f3334658327806ddf44be05a
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun May 3 10:28:04 2009 +0200

    Fixed assignment to int.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd3ff98bdc71921ff315eb9d1cd51abcf9bf0efa
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 2 20:59:01 2009 +0200

    Files renamed to avoid ambiguity with respect to numerical wrapping.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a08d1d3a98ca1af8ff0cb94017888528c6875a7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 2 20:53:47 2009 +0200

    No longer use CS and PS as template parameter names.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13568ef98abefe1b710d32105cb5dbb0bac0b90
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 2 20:18:34 2009 +0200

    Unused variable removed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a0d5faafbb0019e0012eeb3cbb311a1ff8765f2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 2 19:41:44 2009 +0200

    Bad spacing fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36b2b16c30222e94a7ea749d1008b7b148959a50
Merge: b61a3356aa6bab867a721214170f419e7d4bd483 099c11d215bf8bf113bec36fbe1b802d939bf92b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 2 18:22:40 2009 +0200

    Merge branch 'bounded_arithmetic'

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b61a3356aa6bab867a721214170f419e7d4bd483
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 1 22:46:07 2009 +0200

    Obsolete test programs removed.