[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Sun Aug 15 16:05:09 CEST 2010
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fecb2db1454113407f2cd95dd372427ab4fda156
Author: Marco Poletti <poletti.marco at 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=3e818583eb76d0a16bd3958e7973233df2c2ea55
Merge: da7dbc123ae43e4faa1697fde1d0986e5d6d0fe7 fb8063c03702de01c22e136ef8a12bb2109b28f1
Author: Marco Poletti <poletti.marco at 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=fb8063c03702de01c22e136ef8a12bb2109b28f1
Author: Enea Zaffanella <zaffanella at 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=535657baab7b4f5e6d884a7fcdc2138b1ea0797c
Author: Roberto Bagnara <bagnara at 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=67de295843fed6fea6e24602dbfb4edff8e0efb8
Author: Patricia Hill <p.m.hill at 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=11614b6938c0aa22262fbb9dca5dd30d1b10a6a8
Author: Enea Zaffanella <zaffanella at 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=2b1e6916be4fa0f4ea839a0714e0376787f217a9
Author: Enea Zaffanella <zaffanella at 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=be8e13942cefd8f33451f8e66934c6d2847f980d
Merge: 984d8ba3c2d7d9e2302d7f369d07ca50c72c7351 b68f8ff2bde57db64ec4439d8a2592da351742e4
Author: Roberto Bagnara <bagnara at 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=b68f8ff2bde57db64ec4439d8a2592da351742e4
Author: Roberto Bagnara <bagnara at 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=efcba16903e4a2a00111c894763a06053457be67
Author: Roberto Bagnara <bagnara at 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=984d8ba3c2d7d9e2302d7f369d07ca50c72c7351
Author: Patricia Hill <p.m.hill at 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=cfffb8ba3ff211dcf46d8fc927278c58cb444cbf
Author: Roberto Bagnara <bagnara at 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=b397097be829089e5306d0fda548ca097f1483e7
Author: Roberto Bagnara <bagnara at 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=c887cbcf6199ad2dfa3e1b5309559ddde6ab9fc7
Author: Roberto Bagnara <bagnara at 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=68c7bed50e03e6ecaad7c6501fed618d1f8a10b0
Author: Roberto Bagnara <bagnara at 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=a03d31e3feb3e79217d9fe9258d5f53e93ba3aaf
Author: Roberto Bagnara <bagnara at 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=305a923ec95aedb8c603dec6a3aff84cc340a9d3
Author: Roberto Bagnara <bagnara at 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=080b21f5f3ec77e1325544f0d72508741b8b9060
Author: Roberto Bagnara <bagnara at 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=1965e10801563a96cd4171912c22306fc86eb8f9
Author: Roberto Bagnara <bagnara at 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=2f4a9852b2ccaa1de77361797008c2e82d20eb91
Author: Roberto Bagnara <bagnara at 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=ec57cb1f01a45b198dde1c3dad3d6832373b50b4
Author: Roberto Bagnara <bagnara at 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=c7ff1fcda7cbabf18148b9a56270d0ed8c5f4c02
Author: Roberto Bagnara <bagnara at 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=de73fc626c082d0f94f277ef634c85c82d7ae5d3
Author: Roberto Bagnara <bagnara at 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=a2765aa095520c639466ba9e8bc27bb77e231d13
Author: Roberto Bagnara <bagnara at 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=b99dd92358b6e510c335c70f87767f92a6728936
Author: Roberto Bagnara <bagnara at 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=fc8238d53a79691953a8533c79362fcfc7bc6244
Author: Roberto Bagnara <bagnara at 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=170fcba9094733b6fca9475ce1d57a2b095162d9
Author: Roberto Bagnara <bagnara at 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=38a6cd94ccc6c445875353afd22eac46e44bbcc0
Author: Enea Zaffanella <zaffanella at 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=304c0dc5f4c445888e6cd17d5b60d8f90358c28c
Author: Roberto Bagnara <bagnara at 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=43d231e2876628411e04c627c2e66436311b407e
Author: Roberto Bagnara <bagnara at 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=63f34f91afd96249825c7ba2371f3e973129e55e
Author: Roberto Bagnara <bagnara at 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=39c378347808c8a522f00b53cc8eac1123486229
Author: Roberto Bagnara <bagnara at 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=5e53ad77d4ca05be5707ee31cde1e42e9db130fe
Author: Roberto Bagnara <bagnara at 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=4f98fc584f6ce346558401b96a759684f5133b33
Author: Roberto Bagnara <bagnara at 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=c9b370c2c65a3c0f23e25d492d520a7ce61ecb1c
Author: Roberto Bagnara <bagnara at 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=f6ed02b5218888557099dfa1ea0aefee070a03c4
Author: Abramo Bagnara <abramo.bagnara at 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=afcafb8e2d3c9a8c1da3ac005d86e66819e22059
Author: Abramo Bagnara <abramo.bagnara at 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=ab1d650d0dcb0d122abf3d965c16ebdf94ac3325
Author: Roberto Bagnara <bagnara at 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=4a26e69ad62c5c2b9d256f20392289d3161fc7bb
Author: Roberto Bagnara <bagnara at 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=faddfe9c6c24c08d38d9cd7b3d07f9966b1cd015
Author: Roberto Bagnara <bagnara at 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=6e11577095f565d2016f1b72656b31df64066a53
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Jul 27 21:39:45 2010 +0200
Added missing inclusion.
More information about the PPL-devel
mailing list