[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Wed Dec 7 21:17:46 CET 2011
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37eeb423372cff5f6d2aaa18a1e75da429c1b304
Merge: 589bf4de085f009119cb15027050ee6465e19b61 21e65da7eb5060d87ccdcd8f0d74fc525abd3cb6
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 21:17:15 2011 +0100
Merge branch 'master' into sparse_matrices
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=589bf4de085f009119cb15027050ee6465e19b61
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 19:41:09 2011 +0100
Grid_Generator_System: make the insert() method that recycles the input consistent with the one that doesn't.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f4213782495e03bb5e8d675a6d59aafabccc5b0
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 19:25:59 2011 +0100
Constraint_System:optimize the constructor from a Congruence_System.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce0f55f4d5255834e5e5d0353859947f68159bbc
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 19:14:01 2011 +0100
Constraint_System: make the insert() methods that recycle input consistent with those that don't.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e90141bc67cb853ca4954c9b716d26df22f8af3e
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 19:00:32 2011 +0100
Linear_System: remove the add_*row*() methods, and add a insert_pending_no_ok() instead.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28b0a0d0ecf0309ed1ff863a4d4174d4ff93d43f
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 18:54:33 2011 +0100
Constraint_System, Generator_System, Grid_Generator_System: make some methods private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a203238c276fd246e3b15dca8ecfe468b90ff873
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 18:54:06 2011 +0100
termination: remove a useless helper function and move assign_all_inequalities_approximation() into Termination_Helpers.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1563b94fa1655a1b26166169c699f7a080e3b279
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 18:07:13 2011 +0100
Congruence_System: make some methods private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089d088733687c81284a1e7958da68e41c2c46e0
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 11:44:27 2011 +0100
Linear_System: optimize the merge_rows_assign() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7821f9f5da843d5b30c1ea1bf486f62e21296069
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 17:49:18 2011 +0100
Constraint, Generator, Grid_Generator: now constructors that take a space dimension actually construct an object with that space dimension (even in the NNC topology).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08f0ba49722230b4653f14618bd22229abefb1d7
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 16:54:07 2011 +0100
Constraint, Congruence, Generator, Grid_Generator: remove the constructor that takes a space dimension.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bca85aa8b942eff35c51935566e41c18e4899b5
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 12:20:16 2011 +0100
Generator: don't be friend of Grid_Generator.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f2b99e77012bbdf8d478fb8a8dd389f699f864c
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 12:17:32 2011 +0100
Congruence: avoid including Constraint.defs.hh in Congruence.inlines.hh.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16557da594483266a5d66432a4b2d7edee4c2471
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 11:53:02 2011 +0100
Linear_System: simplify some methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d607407b520806145ea7524afb4b9127d715091c
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 11:42:00 2011 +0100
Linear_System: fix the set_representation() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=479908f2ecee85f680ed29ca7baf4395a547d4cb
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 11:37:25 2011 +0100
Generator: simplify the OK() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a404707ecd15a54269119aba854d2fd523f60110
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 11:34:09 2011 +0100
Congruence: make is_equal_at_dimension() private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f79604eaefa77d42350b7d3240415e643a5bb8da
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 11:30:13 2011 +0100
Congruence: remove some related functions/operators.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c10e6b8c598b6b95134e81f41dbec19c6ad87460
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 11:29:35 2011 +0100
Grid: avoid using operator-=() and sub_mul_assign() on Congruences.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b89b87cb1ad4e8d9804ca5d8ee5571af5aba9189
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 11:11:42 2011 +0100
Congruence: simplify one of the create() methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b51813e25b1b90b07d3bbae40c3a4ee29177b14a
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 10:39:42 2011 +0100
Constraint: avoid resizing Linear_Expressions when possible.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1535ef339e963988255e7d7bd502b12f914f1042
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 10:39:12 2011 +0100
Constraint: improve readability and simplify the implementation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7159b960372cc1c3b390f48e49e23cc704ed6667
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 10:24:39 2011 +0100
Use the copy-and-swap idiom in the assignment operator, in various classes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=070a43df7480daa4195d11d14f006490589ab929
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 11:32:34 2011 +0100
Constraint_System, Generator_System: declare the swap() function in the header file.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c6423f7961632c1b094487e77af28b2fedf750e
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 11:32:06 2011 +0100
Implement swapping of Variables.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a8a48c628fe12d58a0591016d639c4d2cc9b559
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 10:08:33 2011 +0100
BD_Shape: avoid iterating through coefficients known to be 0, in generalized_affine_image().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3826ae74551a997d42c76f4947449e4812c1f5d6
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 10:05:37 2011 +0100
BD_Shape: clarify the contract of extract_bounded_difference().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d791ea0bb403a70437d46d31458f95beb731e1f9
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 10:01:51 2011 +0100
Constraint: remove the constructor from Congruence with a specified size.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d280f17c07caca374cff7b17c786c9d8e9a8696
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 00:25:43 2011 +0100
Constraint, Generator, Grid_Generator: make all Topology-related constructors and methods private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd24906e74e3d3d21c77ae31a43357f7005e6c9c
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 23:24:09 2011 +0100
Generator: make Kind, the constructors that take a Kind, and the [set_]is_line_or_equality() and [set_]is_ray_or_point_or_inequality() methods private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a785c6a65358485c8aa9ded01e46a8b990fd130
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 23:12:08 2011 +0100
Constraint: reorder the method declarations.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31e40bf245715e327825a30a1fb060ed77a89644
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 22:53:48 2011 +0100
Constraint: make the [set_]is_line_or_equality() and [set_]is_ray_or_point_or_inequality() methods private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cdc1566416c6dff02447e1a1edd3c1ef7e3e5d4
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 22:47:03 2011 +0100
Constraint: make Kind and the constructors that take a Kind private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbc5f334cd5fd484ee9c035bfc1d7a221cdeb8e2
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 14:03:58 2011 +0100
tests/Polyhedron/linearsystem1: avoid using a low-level constructor of Constraint.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a74dd27b7a927b841897f05e42f8c650e8d6f599
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 22:35:27 2011 +0100
Congruence: remove the set_inhomogeneous_term() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cc646cad3693e1329e5eae1876cae517f10f555
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 20:44:00 2011 +0100
Congruence: remove the shift_coefficients() method, use shift_space_dimensions() instead.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42bb58afe4fddb5c985e7589e57bf34cae49f731
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 20:40:07 2011 +0100
Congruence: remove the add_space_dimensions() and add_space_dimensions() methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc9456072949253cd6eda3567f103da62a2570b4
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 20:37:32 2011 +0100
Congruence: now the is_equal_at_dimension() method takes a Variable instead of a dimension_type.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b126355c24784e5a16dec71dd68c7804115c08ae
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 20:31:11 2011 +0100
Congruence: remove the modulus() method that returns a non-const reference.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b320062ed62ae44aa72226275b522d724998ee69
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 18:56:00 2011 +0100
Linear_Expression: make the negate() method private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e42807438bbb3768ac83a25d8e0a612989563df6
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 22:55:43 2011 +0100
*_System: remove the release_row(s)() and take_ownership_of_rows() methods. Adapt client code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21e65da7eb5060d87ccdcd8f0d74fc525abd3cb6
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 10:11:02 2011 +0100
demos/ppl_pips: remove two unused functions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3f2f5bb5091cf3ca2fedc861875933d613ced66
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 21:15:40 2011 +0100
*_System (except Congruence_System): add a Representation field and a Representation parameter to all constructors. Make sure that all the rows have the same representation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8339ae043697fbcf60ae049583ad4956b7e49901
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Dec 7 08:33:45 2011 +0100
Indentation fixed.
Detected by ECLAIR service indntion.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09fb1cd97f41ab615f9a267ebfa1ce293759787f
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 21:14:09 2011 +0100
Implement the representation() and set_representation() methods, in various classes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96e5d59a311c0fa7908d9bd0132f4da158d84b76
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 19:49:47 2011 +0100
Constraint_System, Generator_System, Grid_Generator_System: use Linear_System's ascii_dump() and ascii_load() methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=adf670d4601604f5db7137d8ee3e609b6a4f6f2c
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Wed Dec 7 00:34:51 2011 +0100
Linear_System: fix the ascii_dump() method by adding a missing space.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4069226068c535aef46979959bd6c373112ab115
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 19:06:51 2011 +0100
Congruece_System: make some methods public/private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65beb73160ef97ac8298a02ecc3581481ddbf56e
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 18:28:33 2011 +0100
Congruence_System, Linear_System: remove the internal_row_type typedef.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22c74b3c15c786bf67546830a6e61a18b8572148
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 18:26:26 2011 +0100
*_System, Matrix: remove the resize_no_copy() method.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c4de27dd3245ccd0a8f65eaba352637bb30e4b7
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 18:06:23 2011 +0100
Congruence_System: make the API higher-level: use the space dimension instead of the number of columns.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9d40c9eecbd1438078244e4bfe222875c3f2170
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 17:26:06 2011 +0100
Congruence_System: add a Representation field and a Representation parameter to all constructors. Make sure that all the rows have the same representation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cad52ef1eae4dcf7b2dacc9c4de4da4ee13d47e6
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 17:20:54 2011 +0100
Add ascii_load()/ascii_dump() functions for the Representation enum.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8460d58c518c1ecdbfaf6b08ec784950fbf298d9
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 16:07:04 2011 +0100
Grid: fix a bug in relation_with().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1a92689efa9228152f144551182f3c7a1a48ab4
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 11:56:49 2011 +0100
tests/Grid: use the Recycle_Input tag in the tests, fixing compilation errors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edb5c61bf8305a25401bfd19f726bc528a30a2a3
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Tue Dec 6 10:43:47 2011 +0100
test/Polyhedron/sparserow1: rename m_swap() into coefficient_swap(), fixing compilation errors.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c748c6e420b29c72e600ca5b4f948797e66d7ce9
Merge: 4c0dab73bb9776cef6cac6bf16b834f82b1d644f aad573256afaa3204f9d2f090a61c59f4d0c32ec
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 12:02:21 2011 +0100
Merge branch 'master' into sparse_matrices
Conflicts:
src/CO_Tree.cc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c0dab73bb9776cef6cac6bf16b834f82b1d644f
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Mon Dec 5 12:01:17 2011 +0100
Constraint, Generator, Grid_Generator, Congruence: add a default_representation constant and a Representation argument to constructors and factory methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aad573256afaa3204f9d2f090a61c59f4d0c32ec
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 18:27:44 2011 +0100
tests/BD_Shape/cc76extrapolation1: avoid unused expression warnings by casting to void.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e78400a9a29988f68b1d6a238c49dea8ea72617d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Dec 4 18:03:29 2011 +0100
Disable all abstractions based on machine floating-point numbers when clang++ is detected.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa6a077aa6dade2b1ab150fafc53ff0ceb68d829
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 15:04:11 2011 +0100
Detect when clang++ is used, and disable -frounding-math in that case.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a434f2b0372abe848f0a860108753c47d237797f
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 13:27:48 2011 +0100
Grid_Generator: remove an obsolete typedef for row_type.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4280ced47bdcedbf649f8bb0ac8449632915e13b
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 13:24:42 2011 +0100
Use Constraint::Expression, Generator::Expression, Grid_Generator::Expression, Congruence::Expression instead of const Linear_Expression& when relevant.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46c05339d846400ec7705338a2dfc29c21f84046
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 13:10:35 2011 +0100
Congruence: remove the non-const expression() method and add an Expression typedef, for consistency with Constraint, Generator and Grid_Generator and to allow different implementations in the future.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=adaf75007f25833e0ba308d30bbb31353db9db48
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 13:03:39 2011 +0100
*_System: use the Recycle_Input tag instead of adding 'recycled' or 'recycling' to the method's name.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0f059a8cbefbf81b91469b327463d31f3c41b0f
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 12:21:33 2011 +0100
Grid_Generator: make some methods private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea378d9e5a8150a10e1ca2c576b9a3ae1b885075
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 12:17:18 2011 +0100
Generator: make some methods private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e886a32baed528151219e29f5c72fd2c8d4cd3e5
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 12:14:48 2011 +0100
Constraint: make some methods private.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fed5b613c6cf179a2eace3a8a36fecb1f640d830
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 12:14:23 2011 +0100
MIP_Problem, PIP_Problem: don't check Constraint::OK(), the Constraint class is responsible for making sure that all constraints are OK().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5f1a4955638cf51c43b71ffe42b2b96ce68e811
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 12:13:17 2011 +0100
Octagonal_Shape: remove an unused variable.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5aa780d07de03f9a2b1f01b5b517124f1ad6caf
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 12:13:04 2011 +0100
Box: remove an unused variable.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7d2895da620c1ac39ff3b90f38730bf65a830fe
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 11:55:22 2011 +0100
tests/Concrete_Expression: avoid using unnamed types as template arguments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db4eb1cdc83424041c699891a22639bf8106f3d0
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sun Dec 4 00:31:01 2011 +0100
CO_Tree: avoid static_casts between Coefficient* and void*. Use an allocator instead.
More information about the PPL-devel
mailing list