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

Sat May 2 18:23:38 CEST 2009

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=099c11d215bf8bf113bec36fbe1b802d939bf92b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May 2 18:16:44 2009 +0200

    Implementation of wrap_assign() made generic.
    The same implementation is now used for Polyhedron, BD_Shape and
    Octagonal_Shape.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42eb3a3d2ab598be84c7dbc145a983265fc6ed29
Merge: 02e818f7cd915af0e99ac755e1567932ec164992 453d5f2f3a322c55bc2a702567f7f08f5b0bfe0d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 1 20:58:45 2009 +0200

    Merge branch 'master' into bounded_arithmetic

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02e818f7cd915af0e99ac755e1567932ec164992
Merge: abefc4529cb38ff95c24f85e9f0c6399a35880ad 54b366817e0798f9ce92d95a1fcc1ec59eb7406a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 1 14:25:03 2009 +0200

    Merge branch 'master' into bounded_arithmetic

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

    Renamed some pleonastic identifiers.

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

    Added a proof-of-concept implementation of affine spaces.
    The implementation is based on rational grids.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc5983fb937cdd4961dd03a308ea37f1669ea3e2
Merge: 6431f35e4360c7c8385635f1e262c2f984cf07b1 9ce7c8bdce348315c574891ecb60cc0dc4cb3720
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Apr 30 20:18:37 2009 +0200

    Merge branch 'master' into bounded_arithmetic

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6431f35e4360c7c8385635f1e262c2f984cf07b1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Apr 28 19:19:04 2009 +0200

    In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_IMPOSSIBLE'.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d65c2598c4350a19883cd8e06ae0d3a3a73336a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Apr 27 22:27:06 2009 +0200

    In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_UNDEFINED'.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4917f7ba9b6d92f7e1556ed4d8fa89b060d71055
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Apr 27 22:13:20 2009 +0200

    Added a new parameter `pcs' to Polyhedron::wrap_assign().
    Other parameters reordered.  The tests now check for the expected result.

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

    Started the implementation of Polyhedron::wrap_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cebc86fa1c4b43f293a5d992cd3814351a3d30c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr 26 20:39:06 2009 +0200

    Added missing pattern.

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

    Unused parameter name omitted.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fae84063e55727d064d478e61dbfb0d315eaee60
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr 26 20:35:03 2009 +0200

    Added missing patterns.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05a160461d8776ab222c46509e06afab0be5bcdd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr 26 20:31:35 2009 +0200

    The `mul2exp' and `div2exp' functions are now called `mul_2exp' and `div_2exp'.
    They have also been changed so as to take an unsigned int parameter.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18abd8ea5a0b711931c92bb888fe7363e925af75
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr 26 17:29:39 2009 +0200

    Added void div_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da83bd6fe05a6e842277a8eadcffc843cc841e52
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr 26 17:16:02 2009 +0200

    Added void mul_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95aa5c9f987b912197ec3b3b1387eec580a504d6
Merge: 636f1db00bb3ae68ffbcdfbe22bc56c03f9cfdbd 79dac5cc0b03dec162bdcca40e01828a52371765
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr 26 16:43:28 2009 +0200

    Merge branch 'master' into bounded_arithmetic

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=636f1db00bb3ae68ffbcdfbe22bc56c03f9cfdbd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Apr 21 11:36:33 2009 +0200

    New file wrap1.cc will contain tests for method Polyhedron::wrap_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3879ecb87976c3fec4e498b45f75d2424ee98c2e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Apr 21 11:34:24 2009 +0200

    Added the declaration and a stub implementation of new method
    Polyhedron::wrap_assign().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f568dac0119fa57aea5fa923f43f80b7d0f04f9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Apr 21 11:33:15 2009 +0200

    New enumerations Bounded_Integer_Type_Width, Bounded_Integer_Type_Signedness
    and Bounded_Integer_Type_Overflow to encode the width, signedness and
    overflow behavior of bounded integer types, respectively.