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

Thu May 14 12:36:38 CEST 2009

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=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.