URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fecb2db145411... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Aug 15 16:07:36 2010 +0200

Dense_Matrix, Sparse_Matrix: update permute_columns() documentation to match the one in Matrix.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e818583eb76d... Merge: da7dbc123ae43e4faa1697fde1d0986e5d6d0fe7 fb8063c03702de01c22e136ef8a12bb2109b28f1 Author: Marco Poletti poletti.marco@gmail.com Date: Sun Aug 15 15:58:51 2010 +0200

Merge remote branch 'origin/master' into sparse_matrices

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb8063c03702d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Aug 15 15:24:43 2010 +0200

Improved doxygen docs for Matrix::permute_columns().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=535657baab7b4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Aug 13 15:37:24 2010 +0200

Corrected a bug affecting Interval::CC76_widening_assign(const From&, Iterator, Iterator). This, in turn, affected Box::CC76_widening_assign(const T&, Iterator, Iterator): lower bound would not be computed correctly when the two iterators specify an empty list of stop points. Many thanks to Sagar Chaki and Arie Gurfinkel.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67de295843fed... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Aug 5 13:25:17 2010 +0100

Invalid case option in map_space_dimensions removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11614b6938c0a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Aug 5 09:31:34 2010 +0200

Added a space after :: to avoid Doxygen (incorrect) autolink generation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b1e6916be4fa... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Aug 5 08:42:34 2010 +0200

Corrected mismatch in parameter name (for documentation purposes only).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be8e13942cefd... Merge: 984d8ba3c2d7d9e2302d7f369d07ca50c72c7351 b68f8ff2bde57db64ec4439d8a2592da351742e4 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Aug 5 09:11:32 2010 +0200

Merge branch 'ppl-0_11-branch'

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b68f8ff2bde57... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Aug 5 09:08:44 2010 +0200

Avoid using overlapping regular expressions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efcba16903e4a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Aug 5 09:02:09 2010 +0200

Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=984d8ba3c2d7d... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Aug 3 20:49:26 2010 +0100

Updated and typo fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfffb8ba3ff21... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 21:55:08 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b397097be8290... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 19:45:48 2010 +0200

Added missing conversions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c887cbcf6199a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 18:24:43 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68c7bed50e03e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 18:22:32 2010 +0200

Distribute all READMEs and ChangeLogs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a03d31e3feb3e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 17:24:03 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=305a923ec95ae... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 17:21:29 2010 +0200

Announce the new wrapping operator used to approximate machine arithmetic.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=080b21f5f3ec7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 16:10:14 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1965e10801563... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 15:54:38 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f4a9852b2cca... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 15:26:49 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec57cb1f01a45... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 15:22:26 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7ff1fcda7cba... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 15:08:37 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de73fc626c082... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 15:03:33 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2765aa095520... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 10:06:57 2010 +0200

Missing sections added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b99dd92358b6e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 09:17:16 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc8238d53a796... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 08:32:33 2010 +0200

FIXMEs resolved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=170fcba909473... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 1 23:13:47 2010 +0200

Commented out code concerning affine spaces.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38a6cd94ccc6c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Aug 1 23:08:32 2010 +0200

Avoid variable length arrays: use a std::vector instead.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=304c0dc5f4c44... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 1 22:43:15 2010 +0200

Commented out code concerning affine spaces.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43d231e287662... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 1 20:00:30 2010 +0200

Commented out code concerning affine spaces.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63f34f91afd96... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 1 19:29:13 2010 +0200

Set aside the domain of affine spaces, for the time being.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39c378347808c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 1 18:30:57 2010 +0200

Implemented the constructors from generator systems.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e53ad77d4ca0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 1 18:25:59 2010 +0200

Inclusions fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f98fc584f6ce... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 1 17:12:52 2010 +0200

Useless assignment removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9b370c2c65a3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 1 17:10:31 2010 +0200

Comment fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6ed02b521888... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun Aug 1 14:37:00 2010 +0200

Removed spurious semicolon.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afcafb8e2d3c9... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Jul 30 16:35:04 2010 +0200

Moved two methods in the right place.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab1d650d0dcb0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jul 29 14:15:10 2010 +0200

Unwanted assertions removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a26e69ad62c5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jul 29 11:24:08 2010 +0200

Fixed a bug in DB_Row_Impl_Handler<T>::Impl::expand_within_capacity(dimension_type). This affected only compilers not supporting flexible arrays.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faddfe9c6c24c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jul 29 09:22:05 2010 +0200

Fixed a bug in DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U&). This prevented compilation with compilers not supporting flexible arrays.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e11577095f56... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jul 27 21:39:45 2010 +0200

Added missing inclusion.