URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=306db9d46d071... Merge: 7309a3a239bc75074827c6c61bd0df2b278088df 317f48d0d55391b07624e0f55a6228e3b2d39d6f Author: Roberto Bagnara bagnara@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=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=b61a3356aa6ba... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 22:46:07 2009 +0200
Obsolete test programs removed.