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

Mon May 18 13:47:45 CEST 2009

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49a4bf80ee9964d07fd6aeb0f315975c8e131cc6
Merge: 7d94d1213ad812f7d2a1cec93763247bdab22d34 badd595a0c22e91f4f1653ff8c7d53a3bf15ec50
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 18 13:47:31 2009 +0200

    Merge branch 'master' into products

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=badd595a0c22e91f4f1653ff8c7d53a3bf15ec50
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Mon May 18 12:05:10 2009 +0100

    Improved the methods refine_with_congruence[s]().
    
    Congruences can now refine the box even when the congruence is not
    non-relational.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b827904975bbeff4079fbb5aedf66a3ac4cb8e30
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Mon May 18 11:26:03 2009 +0100

    Improved the relation_with(Congruence) implementation for the weakly relational domains.

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

    New tests for Polyhedron::wrap_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79c0986359562c47bc4f88b03dfc7b796a0b978b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon May 18 10:22:09 2009 +0200

    Known result for test03() corrected; test now marked to succeed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=656fbd60bb14e3304468e8016937a188ead46418
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon May 18 10:17:59 2009 +0200

    First draft of Box::wrap_assign() is now operational. Added a few tests.

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

    Fixed a bug in wrap_assign_col().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21df1e86b0b5605512dabf6021fdf277ab8dc9c8
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon May 18 08:59:11 2009 +0200

    Added a test showing a bug in wrap_assign when wrap_individually == false.
    Test is test20(), temporarily marked as an expected failure.

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

    8-bit coefficients are now enough for test07().

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

    Added declarations and stub implementations for drop_some_non_integer_points().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a29f32dbb8b1543d8738da6eae2eb318162c22d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun May 17 17:42:14 2009 +0200

    Finished the documentation about the wrapping operator.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4335c8f28a366f43954ca56c08e890dfe68445fc
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun May 17 16:42:56 2009 +0200

    Rounding direction is not relevant here.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a171dbe14eed7901117a045b7a3e24783c4178b
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun May 17 14:55:14 2009 +0200

    Get rid of a comparison warning.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a30eaca4651ed3dd7977b028e0a9c4c642b0e340
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun May 17 11:41:21 2009 +0200

    Simplified code.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3dd71f3d2a0c91b1bb493757c9bcaf7d3e2e3c4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun May 17 08:44:42 2009 +0200

    Added more in the section about the wrapping operator.

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

    More work on the documentation of approximations for bounded integer arithmetic.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead00b0ac972c863e5960555ef868585ec61226f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 16 21:08:08 2009 +0200

    Bounded_Integer_Type_Signedness renamed Bounded_Integer_Type_Representation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64ad90df3806c6332e62393ddbeded5763f29996
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 16 14:11:38 2009 +0200

    Comments improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f04ae2cea940368690787bf9a370526d497219e7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 16 12:05:35 2009 +0200

    Started writing the section on approximating bounded arithmetic.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f28c8bf97087a04310fb24a1bed44163c371ee33
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat May 16 12:04:14 2009 +0200

    Further cleaning of relation_with(Congruence) implementations.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f62a4633701eda94f86bfd2cb9bced1b10436a6d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat May 16 09:16:46 2009 +0200

    Improved a few timeout and exception tests.
    Make sure an out_of_memory exception is thrown as expected even when a large
    amount of memory is available. Do not set timeouts out of catch constructs.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a169691f1a9d7bc94a5d2372aa50ec273504c504
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 16 08:57:00 2009 +0200

    test19() must fail with 8-bit coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b6d78c1026ca2ab659348e4286ce62a9fdf808e
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sat May 16 08:25:03 2009 +0200

    These tests fails with 16 bit coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6576478c6adb1d96bc9ce3d79d05f0e5cf4f988
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 16 06:54:56 2009 +0200

    Item removed: no big deal.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fd53aaf53c5c90259a5acce36f68c0036f5651a
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 21:32:37 2009 +0200

    The test fails also with 32 bit coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c9efaf9e303b17f107435b665d1aaab5ad1d269
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 15 21:08:49 2009 +0200

    FIXME resolved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4496b18b54f3d42984d3103dfe5887946d6d5084
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 20:48:56 2009 +0200

    The test fails also with 32 bit coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30f456f032cf56ef3f62452a678b398d057e990c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 15 19:45:25 2009 +0200

    Fixed the generic implementation of wrap_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4845f4d529daf3beb90f9d49ba188b0c5e087396
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 18:27:01 2009 +0200

    A strict relation info is required here too.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab230a684a4d2ce0b8cc07a0cb5a6f5b586525c9
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 18:22:02 2009 +0200

    A strict relation info is required here.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01d418b281367a2a8cd71fb2fa35e12a719ba3d0
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 16:51:14 2009 +0200

    Fixed a typo.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1734ba44f5b535206d0642daa5fef274eb7b19aa
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 16:23:19 2009 +0200

    Added an assert(false) for unreachable code.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbac03988bc9b337213d671745f974c64ce58c72
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 16:22:21 2009 +0200

    Avoid two warnings.

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

    Renamed and commented ROUND_STRICT_RELATION. Added some use of it. Added some optimizations when ROUND_NOT_NEEDED is specified.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eca9369a8272645ba0db81f3244004691623bcba
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 15 15:40:35 2009 +0200

    Improved method Polyhedron::relation_with(const Congruence&) const.
    Avoided several temporary objects; added a FIXME asking for the rounding mode.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99eba6af02765f0fb6b9f717b2cb39724cf58f00
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 15 15:28:11 2009 +0200

    Fixed the invocation of the generic implementation of wrap_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=baa08eff6430b3f4934730a9f604fc9e1339055a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 15 15:12:50 2009 +0200

    Check that all variables upon which `*pcs' depends are in `vars'.
    An assertion is violated otherwise.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db4eb892c0382ac837fd8c2473450ed58ad35df3
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 15 14:54:23 2009 +0200

    Several improvements to Octagonal_Shape<T>::relation_with(const Congruence&).
    Alaso added a couple of FIXME regarding missing comments and rounding modes.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72619d2aafd034b54115e17459cb8c5b19da8280
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 15 14:48:24 2009 +0200

    Corrected typo in explanatory output.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1736b8c74e21704643ebd5a878dcf0f7db0f9dc5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 15 14:47:30 2009 +0200

    Minor improvement.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3d07f461687f3bd4e6f381be5b52c77eb12f938
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 14:50:43 2009 +0200

    Fixed rounding.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf2bebf45a8c1a6b97ea2881242303f1e4532727
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 15 14:30:05 2009 +0200

    Changed the specification of wrap_assign().
    If `*pcs' depends on variables not in `vars', the behavior is undefined.
    We perform only the quick test on space dimensions.  In debugging mode
    we will check the condition thoroughly.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cfd68c04c051a4c4b42ca02b5fd4c48dcc3f9b5
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 12:43:48 2009 +0200

    Simplified a rounded assignment.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b4760ed21146381b155530e20dc690d55927638
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 12:30:24 2009 +0200

    Permits to low level code to take benefits from knowing that result will be exact.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68daf755d6f76db88e57c4673f11748cc058304e
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 11:32:00 2009 +0200

    Test fails with an overflow using 8 bit coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96e74efed2e28cda0219fa8e799bdae8c9079376
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 10:28:35 2009 +0200

    Enable DEBUG_ROUND_NOT_NEEDED when assertions are enabled.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c0a202b6d04b2b9134dcca1e2dd0d1b6fdc488c
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 10:29:49 2009 +0200

    Two tests fail with an overflow using 8 bit coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d9773ebdcd98e9495124d8b2af0eb6514710863
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 10:09:52 2009 +0200

    Improved comment for ROUND_NOT_NEEDED.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a28345ddb5a92f3d4ae385ab9493594ebeeb0556
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 09:47:21 2009 +0200

    Fixed DEBUG_ROUND_NOT_NEEDED.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6dcbc9846093d8289ba64acb8625f8da6020014
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 15 08:12:34 2009 +0200

    Let the wrap_assign tests succeed until the specification is clarified.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=331d2714c64dae5ed9fa556ea69ecc33c19b5f59
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 15 08:00:30 2009 +0200

    Added a note about the use of `assign' helper functions.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d286a5a4f475a875c6ca967d699512f5a82a726c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 15 07:46:59 2009 +0200

    When wrapping no variable, do not ignore the optional constraint system.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fd333e0c585db16b3bf406fba0475e527ec0655
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu May 14 23:35:26 2009 +0200

    Added a few missing accessor methods to Java interface classes.
    Affected classes are Congruence, Generator and Grid_Generator.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30dfe89368c392d62339f5d962bef4e676ee61d7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu May 14 22:04:30 2009 +0200

    Fixed the bug witnessed by test15().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=972db0c00ebac6b9ad2d97ccd86707285c1a27d5
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu May 14 21:51:58 2009 +0200

    Partially reverted changes 71e9992afa9bc049b93d0b29fd9dbe52ead850cf.
    The changes were not working on platforms where floating point rounding
    mode could not be set (e.g., ARM), even though rounding control is not
    actually needed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1eb58559607caafc821eaaa564b6b211d7c9e243
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu May 14 21:53:56 2009 +0200

    Temporarily marked test15() and test16() as expected to fail.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa6ebeae31b46566555455e579fdacd213340e99
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu May 14 21:53:39 2009 +0200

    Last commit partly undone.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74ade8b7dbf158e7473d8375c724e4a706506267
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu May 14 21:05:22 2009 +0200

    Adapted generic implementation of wrap_assign to model the rational case.
    Also added a couple of tests showing problems in the current implementation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1db2683636da9c4439f72abc28bbeca65f880f8f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu May 14 15:46:36 2009 +0200

    Use PPL_DIRTY_TEMP for temporary objects.
    Also corrected a type causing an assertion failure.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92cfd0aae5bc460d30b0cdf2e4ccc98acdd6d4a2
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu May 14 16:03:56 2009 +0200

    Added missing clear.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09bd1e66fee53f1373417e9aa067d7c69e723cac
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu May 14 15:33:30 2009 +0200

    Fixed typo.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f20b6e3172fb478fa38d4c71d84637a91138abd
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu May 14 15:10:08 2009 +0200

    Some progress on Box::wrap_assign().
    Corrected a couple of typos in Interval::wrap_assign().
    Silenced an annoying GCC warning.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b64080a7407e00c3196f2ab2a16b0dcf46c03567
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu May 14 12:43:47 2009 +0200

    Commits improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f7260b5f09262708cebe1d7a26f5b315593daa6
Merge: c606710cfe67adb748857cfb840d20a2feb3a3b8 6c8a266be0f01266599542b7cdc3d3c2a47e62d2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu May 14 12:36:18 2009 +0200

    Merge branch 'bounded_arithmetic'

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c8a266be0f01266599542b7cdc3d3c2a47e62d2
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu May 14 09:41:30 2009 +0200

    Silenced bogus comparison warnings.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9724ada507cd902da0de7f179519935a54c341a9
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu May 14 10:11:31 2009 +0200

    Added missing policy.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f922aa0fa1526a2f52b04b3c180c514a578420c7
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu May 14 08:45:36 2009 +0200

    Added missing Result values.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d905acbbe0a9a488562292454cee9e51983871c
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu May 14 08:28:05 2009 +0200

    Fixed some typos.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e33e130ebcb92b6ae36fdd8bf75d0c7c7e1b0047
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu May 14 08:30:18 2009 +0200

    New policy Debug_WRD_Extended_Number_Policy.
    This is the debugging policy for checked numbers used in weakly-relational
    domains.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c4cee6feb0a90857fa5e77f848a3757cc796ed1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu May 14 08:12:12 2009 +0200

    WRD_Extended_Number_Policy properly commented.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ffc6689ea022e45587d30ea28aae9626cede3616
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu May 14 07:10:26 2009 +0200

    Marked 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=5f9892fcb2fce2ee9f7071820035e1be1b31aa59
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Wed May 13 23:42:29 2009 +0200

    Added wrap_assign.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b55ca03354c3c65fbbe6f5fb79a1d2685d3fb449
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Wed May 13 23:41:38 2009 +0200

    Added add_2exp and sub_2exp.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37f8d8b4162aa9c657b27f814b3565daec35f0c7
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Wed May 13 23:33:01 2009 +0200

    Added missing info clearing.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c606710cfe67adb748857cfb840d20a2feb3a3b8
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed May 13 21:43:11 2009 +0100

    Removed repeated specification of operators in the grids section.
    
    Ensure cross-references to these sections now refer to the equivalent
    sections for polyhedra.
    
    Fixed a typo in src/Determinate.defs.hh that caused a warning
    when compiling the documentation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0edbd37a47bb2bb6fd79f993cb2deb77d0c6892e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed May 13 22:17:32 2009 +0200

    Coefficient types of weakly-relational domains moved to new source files.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee2d6c28172e4879daa3b1337ac6987cfffc0226
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed May 13 21:29:11 2009 +0200

    Comment fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bfc05d94ff20f86579e31c2c87efe6c4ae659308
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed May 13 20:29:09 2009 +0200

    Got rid of Checked_Number_Default_Policy.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76c766e5f4da6e965a6df7d68f4352d2c4ba937f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed May 13 20:28:36 2009 +0200

    Bounded_Integer_Coefficient_Policy::handle_result() commented.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ea0b6f8a8ee11ac70bd64d97558338f73e3cb22
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed May 13 20:20:28 2009 +0200

    Also check for NaN in Bounded_Integer_Coefficient_Policy::handle_result().

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

    Checked number policy parameter `check_nan_result' renamed `fpu_check_nan_result'.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cb27e7158a1d4546ecba3e3141cf5bd90f4f5e2
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Wed May 13 20:05:05 2009 +0200

    Fixed return type.

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

    Use Bounded_Integer_Coefficient_Policy as the policy for checked coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8f95c123cd384619f2be9584dad762930352426
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed May 13 20:00:32 2009 +0200

    Added Bounded_Integer_Coefficient_Policy.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=986d10992053242105651081978671648bf2b051
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed May 13 19:59:13 2009 +0200

    Checked_Number_Transparent_Policy properly commented.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbcb69446ece2df3a18078f633b953b873899963
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Wed May 13 11:39:15 2009 +0200

    Fixed topological closure for unbounded intervals.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c816f458ca9fdf391fb94a3a967c40da69ae211
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Wed May 13 11:48:59 2009 +0200

    Reorganized and separated Result classes to be more informative.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca38275a5e16241fe45be2193cf78c4e987a501f
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Tue May 12 17:30:01 2009 +0200

    Added smod_2exp and umod_2exp for boundary.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80ba9754deb09f8d3a2d938d2aa6f0b93262f2ed
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun May 10 19:30:17 2009 +0200

    Added umod_2exp and smod_2exp to checked numbers. Fixed rem for mpq to work similarly to other numeric types.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98fb9c3061d18890418df3c8cfc7ff4370df134a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat May 9 14:22:25 2009 +0200

    Drafted specialized implementation for Box<ITV>::wrap_assign.
    Code still commented out as it relies on a missing Interval method.

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=7309a3a239bc75074827c6c61bd0df2b278088df
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Tue May 5 13:59:21 2009 +0200

    Fixed typo on assertion.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=962d7b0a74ec0ad148c4fd01d9dd485b6604c08e
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Tue May 5 10:47:36 2009 +0200

    Added Circular Integer intervals.