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

Roberto Bagnara bagnara at cs.unipr.it
Fri Sep 17 08:40:15 CEST 2010


URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6202d3f6416fd1ca3d1cd40cb25f5418c1354cd
Merge: ebcd55e82f73703737752a66ca25891ece02661a d91c33b33dbc8b59332d279550366ed55ae9ae38
Author: Roberto Bagnara <bagnara at 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=d91c33b33dbc8b59332d279550366ed55ae9ae38
Author: Marco Poletti <poletti.marco at 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=ba9f6c92b49afbbfc37d864f59fff70df90f6536
Author: Marco Poletti <poletti.marco at 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=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.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=620592736a503f2ee3d40880a6ca4ee25a6a7bd9
Author: Marco Poletti <poletti.marco at 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=ad3694d4bbf7a930d3d262568487cce8066f55fd
Author: Roberto Bagnara <bagnara at 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=4974d4f39e8c674119b8ec0423fc5e5da918b0b4
Author: Marco Poletti <poletti.marco at 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=ab1231051fa87f92b6df5d49f4cf723e540682fe
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Sep 8 07:31:19 2010 +0200

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




More information about the PPL-devel mailing list