URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6202d3f6416f... Merge: ebcd55e82f73703737752a66ca25891ece02661a d91c33b33dbc8b59332d279550366ed55ae9ae38 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Sep 17 08:39:48 2010 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d91c33b33dbc8... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Sep 16 21:08:27 2010 +0200

MIP_Problem: fix performance bug in compute_generator().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba9f6c92b49af... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Sep 16 21:07:58 2010 +0200

ppl_c_implementation_common: fix performance bug in ppl_Linear_Expression_add_to_coefficient.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10c6e068e1bff... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Sep 15 13:44:59 2010 +0200

PIP_Problem: declare iterators used in for loops in the loop header.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4a0a65c926d0... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Sep 15 13:44:35 2010 +0200

PIP_Tree: declare iterators used in for loops in the loop header.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b1e87b5e0f08... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Sep 15 12:22:53 2010 +0200

MIP_Problem: remove non-necessary temporary variables.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc8ee2d086c6d... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Sep 15 12:09:48 2010 +0200

MIP_Problem: remove out-dated comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3cff936b2c95... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Sep 15 12:05:58 2010 +0200

MIP_Problem: declare iterators used in for loops in the loop header.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1df9606a9a7c4... Author: Marco Poletti poletti.marco@gmail.com Date: Wed Sep 15 11:54:12 2010 +0200

Make PPL_DIRTY_TEMP_COEFFICIENT work outside the PPL namespace, too.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=620592736a503... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Sep 12 10:56:32 2010 +0200

MIP_Problem: improve a little bit the get_exiting_base_index() performance.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad3694d4bbf7a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Sep 9 17:13:48 2010 +0200

Reflected the changes in http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8966

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4974d4f39e8c6... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Sep 9 08:25:24 2010 +0200

MIP_Problem: don't copy Coefficient objects to cache accesses, in steepest_edge_exact_entering_index().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab1231051fa87... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Sep 8 07:31:19 2010 +0200

Mentioned the fix to Interval::Interval(const char*).