URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60d5f1fce4d12... Merge: da0ca32ee95f30d2bcd9111eea74d9b820ad1a14 c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 13 11:06:06 2009 +0200

Merge branch 'master' into products

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8cbb00f29ac4... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed May 13 09:21:47 2009 +0100

Fixed a bug in wrap_assign() for grids.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c95ec7331cb7a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 13 07:02:44 2009 +0200

AC_CHECK_GMP fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29859522caa56... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 12 21:55:22 2009 +0200

Added a commit to consider should we release PPL 0.10.3.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c8a74aea14bc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 12 21:50:25 2009 +0200

New configuration option `--with-gmp-build=DIR'. This allows to use a non-installed build of GMP in DIR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b365a8a6b1db... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue May 12 20:42:40 2009 +0200

Known result adapted to increased Box constructor precision.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6d0f50e9c814... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue May 12 20:10:29 2009 +0200

Another TODO item dealt with. Adapted another few known results according to increased precision.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=093849653148f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 12 19:09:00 2009 +0200

Added a section on commits to consider should we release PPL 0.10.3.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57b7091bc8502... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue May 12 18:58:02 2009 +0200

Method Box::refine_with is now based on (single step) constraint propagation. Method Box::propagate_constraints now also take as input a parameter for specifying the maximum number of iterations (default value 0). The constructor of a Box from a Polyhedron in polynomial time sets this parameter to a constant. The known result of several tests adapted to match the increased precision.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf625371f4d8b... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 12 17:19:02 2009 +0100

Improved documentation and small efficiency improvement to the code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b94dc7951129d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 12 18:04:44 2009 +0200

We cannot test the Java interface unless ENABLE_SHARED.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c39276dbadd94... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 12 16:51:46 2009 +0100

Another efficiency improvement to wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb54ad2e7508d... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 12 16:42:06 2009 +0100

Some efficiency improvements. Comments improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3460918400e0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 12 15:49:10 2009 +0200

Updated from Gnulib.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4615f0d711d16... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 12 14:19:04 2009 +0100

Simplification and improvement of code for wrap_assign().

The bounds_no_check() and frequency_no_check() assume the generators are minimized and the grid is not empty.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=236efc9ce1d06... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 12 08:37:29 2009 +0100

Several improvements for the wrap_assign() operator for grids.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3d6b3d44df42... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 11 21:32:32 2009 +0100

Improved code for wrap_assign() for grids for constant values.

If the value for a variable is already constant, and the constant is outside the range for the bounded integr type, then the outcome depends on the kind of overflow: - if `impossible', then the grid is set empty; - if `undefined', then the variable is set to take any integral value; - if `wraps', then the value is wrapped by the wrap_frequency to a value in the range for the bounded integer type.

Comments improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42110bebc56a8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 19:06:17 2009 +0200

Another item dealt with.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=862f856db64bb... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 18:56:11 2009 +0200

Parameter irrational_precision made available in all language interfaces.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3fe5242d062a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 18:53:23 2009 +0200

Renamed rational_sqrt_precision_parameter to irrational_precision.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca6ac08359877... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 11 14:24:18 2009 +0100

Several tests are expected to fail for checked-in8.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e772ae5ffad4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 13:51:59 2009 +0200

Do not test for result dependent on floating point steepest edge heuristics.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbd07c16deb6f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 13:49:40 2009 +0200

Avoid unnecessary unbounded precision value in floating point steepest edge.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a36b05302ae48... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 11 11:56:02 2009 +0100

Added a _draft_ description of the wrap operator for grids.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71e9992afa9bc... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 12:30:58 2009 +0200

Got rid of a TODO item. Also avoid an annoying warning about an uninitialized variable.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e524876115832... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 11 08:34:11 2009 +0100

Redid the intended changes for the last commit for wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bea722b32872... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 11 07:34:50 2009 +0100

Improved wrap_assign() for grids.

Added private methods bounds_no_check() and frequency_no_check().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd05d651cc393... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat May 9 09:44:34 2009 +0200

Use the appropriate throw_dimension_incompatible() method in wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddecda47e763c... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu May 7 17:55:07 2009 +0100

Added draft implementation for wrap_assign() for the grid domain.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14da854b5b2b1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue May 5 23:36:20 2009 +0200

Added basic timeout support to the Java library interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9381e735bd885... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed May 6 19:54:16 2009 +0200

Fixed result check for ThrowNew.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41aeb3ccffeba... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 6 16:06:29 2009 +0200

test03() fails also with 16-bit coefficients when assertions are enabled.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02f325cfd0097... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 5 20:59:10 2009 +0200

test07() only fails if assertions are enabled.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb174e19d377d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 5 19:50:08 2009 +0200

Spurious parentheses removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=317f48d0d5539... Author: Roberto Bagnara bagnara@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=8e8d5162a1bb6... Author: Enea Zaffanella zaffanella@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=a261c5a9255c1... Author: Roberto Bagnara bagnara@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=3385539e9496e... Author: Roberto Bagnara bagnara@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=3a1b29cc27b27... Author: Roberto Bagnara bagnara@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=975b9494cf23e... Author: Roberto Bagnara bagnara@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=617727237924d... Author: Roberto Bagnara bagnara@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=138e93f305326... Author: Roberto Bagnara bagnara@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=2903193cd3322... Author: Roberto Bagnara bagnara@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=6ed468a18c4ea... Author: Roberto Bagnara bagnara@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=0157b7348fe2f... Author: Roberto Bagnara bagnara@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=0f54288600e90... Author: Roberto Bagnara bagnara@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=137d32b6c98dc... Author: Roberto Bagnara bagnara@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=1e712a9a26f87... Author: Roberto Bagnara bagnara@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=405c912f7e338... Author: Roberto Bagnara bagnara@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=cad1f47f089bf... Author: Roberto Bagnara bagnara@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=3ba2322b9b323... Author: Enea Zaffanella zaffanella@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=f31f10f742cd4... Author: Roberto Bagnara bagnara@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=8e981dad7a2b3... Author: Roberto Bagnara bagnara@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=ea296d657de65... Author: Roberto Bagnara bagnara@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=bae7441bfe49f... Author: Enea Zaffanella zaffanella@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=d6c67069f1854... Author: Enea Zaffanella zaffanella@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=1806a003f1aed... Author: Enea Zaffanella zaffanella@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=7df8a012ef106... Author: Roberto Bagnara bagnara@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=b5ea2c6ad7ca5... Author: Roberto Bagnara bagnara@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=7f8b88c139b3e... Author: Roberto Bagnara bagnara@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=4d1c8a0cea556... Author: Roberto Bagnara bagnara@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=333cc7aab9712... Author: Abramo Bagnara abramo.bagnara@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=56888c3225c8f... Author: Roberto Bagnara bagnara@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=b4dcb2959e3cc... Author: Roberto Bagnara bagnara@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=d88f590328ae2... Author: Roberto Bagnara bagnara@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=7d02c66706d0a... Author: Abramo Bagnara abramo.bagnara@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=bd3ff98bdc719... Author: Roberto Bagnara bagnara@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=9a08d1d3a98ca... Author: Roberto Bagnara bagnara@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=e13568ef98abe... Author: Roberto Bagnara bagnara@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=9a0d5faafbb00... Author: Roberto Bagnara bagnara@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=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=b61a3356aa6ba... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 22:46:07 2009 +0200

Obsolete test programs removed.

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=453d5f2f3a322... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 14:22:00 2009 +0200

Renamed some pleonastic identifiers. Fixed some comments.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78db7e67c067f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 14:21:44 2009 +0200

Added missing patterns.

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=54b366817e079... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 11:13:19 2009 +0200

Fixed copy-and-paste mistakes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb8d44544182... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 10:45:26 2009 +0200

Indentation fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11807a6ba6663... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 10:44:09 2009 +0200

Useless returns removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d908ff9dd2a0b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 10:31:56 2009 +0200

Fixed two code formatting glitches.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fe2ae64aa578... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 07:30:29 2009 +0200

Previous change reverted.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b066995711ae2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 30 22:10:16 2009 +0200

Useless friend declaration removed.

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=9ce7c8bdce348... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 30 19:30:47 2009 +0200

Removed obsolete support for grid covering boxes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efbf989a1e9b1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 30 17:07:37 2009 +0200

Fixed initialization for Java interface (explicit initialization required). Java class Parma_Polyhedra_Library now has two new static methods: initialize_library() and finalize_library(). The first one, to be called after loading the library and before calling any other library method, will provide proper initialization of both the C++ data structures and the Java class and field/method ID caches. The second one, to be called when no longer using the library, will clear the cache, deleting all stored global references, thereby allowing for the PPL Java classes to be garbage collected.

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.