URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36b2b16c30222... Merge: b61a3356aa6bab867a721214170f419e7d4bd483 099c11d215bf8bf113bec36fbe1b802d939bf92b Author: Roberto Bagnara bagnara@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=099c11d215bf8... Author: Roberto Bagnara bagnara@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=42eb3a3d2ab59... Merge: 02e818f7cd915af0e99ac755e1567932ec164992 453d5f2f3a322c55bc2a702567f7f08f5b0bfe0d Author: Roberto Bagnara bagnara@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=02e818f7cd915... Merge: abefc4529cb38ff95c24f85e9f0c6399a35880ad 54b366817e0798f9ce92d95a1fcc1ec59eb7406a Author: Roberto Bagnara bagnara@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=abefc4529cb38... Author: Roberto Bagnara bagnara@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=be59e29965cb0... Author: Roberto Bagnara bagnara@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=bc5983fb937cd... Merge: 6431f35e4360c7c8385635f1e262c2f984cf07b1 9ce7c8bdce348315c574891ecb60cc0dc4cb3720 Author: Roberto Bagnara bagnara@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=6431f35e4360c... Author: Roberto Bagnara bagnara@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=0d65c2598c435... Author: Roberto Bagnara bagnara@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=4917f7ba9b6d9... Author: Roberto Bagnara bagnara@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=df4d4fcfb0905... Author: Roberto Bagnara bagnara@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=3cebc86fa1c4b... Author: Roberto Bagnara bagnara@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=e2bfeb6d0eb4e... Author: Roberto Bagnara bagnara@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=fae84063e5572... Author: Roberto Bagnara bagnara@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=05a160461d877... Author: Roberto Bagnara bagnara@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=18abd8ea5a0b7... Author: Roberto Bagnara bagnara@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=da83bd6fe05a6... Author: Roberto Bagnara bagnara@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=95aa5c9f987b9... Merge: 636f1db00bb3ae68ffbcdfbe22bc56c03f9cfdbd 79dac5cc0b03dec162bdcca40e01828a52371765 Author: Roberto Bagnara bagnara@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=636f1db00bb3a... Author: Roberto Bagnara bagnara@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=3879ecb87976c... Author: Roberto Bagnara bagnara@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=3f568dac0119f... Author: Roberto Bagnara bagnara@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.