[PPL-devel] [GIT] ppl/ppl(master): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10c6e068e1bffe92c73954fbc1e4943756d7fdb8
Author: Marco Poletti <poletti.marco at 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=a4a0a65c926d02dd7bfec82bd47899289c924340
Author: Marco Poletti <poletti.marco at 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=3b1e87b5e0f083b3405554365596a6db58a6d06d
Author: Marco Poletti <poletti.marco at 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=cc8ee2d086c6d20eb21f089dadc9698360adf1b9
Author: Marco Poletti <poletti.marco at 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=b3cff936b2c95ec4b9792750c4599ef01fb663ec
Author: Marco Poletti <poletti.marco at 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=1df9606a9a7c4a5eaf1a6cd00a517c1c92f8a39e
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Sep 15 11:54:12 2010 +0200

    Make PPL_DIRTY_TEMP_COEFFICIENT work outside the PPL namespace, too.