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.