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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=509d5e54095a4c4e8979ef8b93fd682e00f98334
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 7 12:01:40 2010 +0200

    MIP_Problem: use Distributed_Sparse_Matrix::compute_working_cost().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df0f866bce08b5e70f94e18e918824f8a42343b2
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 7 11:31:21 2010 +0200

    Distributed_Sparse_Matrix: add a compute_working_cost() operation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=671ef7002f4de136ec6ab85eb319a067fa5af22d
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 7 11:30:38 2010 +0200

    Dense_Row: add a normalize() method that takes a Coefficient&.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d69eca7cfb2252c589b1007a9d76b5019114c963
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Sep 7 11:30:06 2010 +0200

    Dense_Row: implement boost-style serialization.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfe3b80716f99da90df28553b091781482c8a574
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 10:13:01 2010 +0200

    MIP_Problem: use Distributed_Sparse_Matrix::reset_column() in erase_artificials().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dcf856ff5e1a900e652f459cc72b505b63993e15
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 10:12:41 2010 +0200

    MIP_Problem: use Distributed_Sparse_Matrix::remove_column() in merge_split_variable().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b18ff468785949d34ff43731f3c7267d1fff7f7c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 09:52:43 2010 +0200

    MIP_Problem: use Distributed_Sparse_Matrix::remove_trailing_rows() and Distributed_Sparse_Matrix::swap_rows(), in erase_artificials().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e6df23721f6809ca5ba2db577d30c38c81251cc
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 09:20:12 2010 +0200

    MIP_Problem: use Distributed_Sparse_Matrix::remove_trailing_columns() when needed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dd0cf115aff0f7a8c72bbad1d23a9bf7c7c9e57
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 09:17:07 2010 +0200

    Distributed_Sparse_Matrix: remove_trailing_rows() and remove_trailing_columns() now take the number of removed rows/columns instead of the desired number of rows/columns.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ff902756ce20da78aa2dbf7c551e31bec25dbe3
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 09:15:27 2010 +0200

    Distributed_Sparse_Matrix: print debug messages in operator==(), to ease debugging.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80fbe1c68c543a4d7dc5bc0e210aa80942f0a562
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 09:14:33 2010 +0200

    Distributed_Sparse_Matrix: fix typo.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b2993bb9dbbb26f7753ac868a1d690e91e3c187
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 08:46:22 2010 +0200

    MIP_Problem: remove redundant assertions.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bde685c14de0572c03a707e50e4b84699d2b90d2
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 08:41:06 2010 +0200

    MIP_Problem: use Distributed_Sparse_Matrix::linear_combine_matrix() when needed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37913c7f839b54cfa2d58d2982789b2b5c2e6962
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 08:39:09 2010 +0200

    MIP_Problem: remove unneeded distributed_tableau update, in process_pending_constraints().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=885bb933e6361c4d9af7157b9f7cd6c9f2b9ed4a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 08:38:03 2010 +0200

    Distributed_Sparse_Matrix: call linear_combine() only when the element in the specified column is not 0, in linear_combine_matrix().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b3e0e4c3585f5f0e77685a347c2da9440fc21de
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Sep 6 08:08:44 2010 +0200

    MIP_Problem: use Distributed_Sparse_Matrix::add_zero_columns() and Distributed_Sparse_Matrix::add_zero_rows() when needed.