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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bbcceb41624970d43cf9377369d4cd05d19630f
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 23:35:59 2011 +0100

    Congruence_System: remove the add_zero_rows(), add_zero_columns() and remove_trailing_columns() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c22231437d8f83a3fa7550cd5aa60cf47d71f3a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 23:12:54 2011 +0100

    Grid: avoid using Congruence_System::add_zero_columns() in add_space_dimensions_and_embed().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5040f0622b07ebcd727d235b6c987f951f78cd9
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 23:12:45 2011 +0100

    Grid: avoid using Congruence_System::add_zero_columns() in add_space_dimensions().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cd72d3a0637347659654c89682cd2483aedf5f9
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 23:02:52 2011 +0100

    Grid: avoid using Congruence_System::add_zero_rows(), in simplify().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63449606174e909b04b408b9d78c541083e3c50e
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 22:54:46 2011 +0100

    Grid: avoid using Congruence_System::add_zero_rows(), in simplify().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f82c43cb6696ef68725916313fac70f9d5aa500
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 22:51:35 2011 +0100

    Congruence_System: add an insert_recycled() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddf9d0da8f538bb72668038746e2a8e5e0bd9d70
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 22:32:56 2011 +0100

    Congruence_System: replace the insert_verbatim() method with a new insert_verbatim_recycled() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35dd7a9324bfb7abc3288a5e22e0b6f7f2a1d93c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 22:18:19 2011 +0100

    Congruence: now the default constructor takes an optional argument.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54225672a2dd38a6f291c259d949532969d2c9c5
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 22:11:08 2011 +0100

    Congruence_System: simplify the remove_higher_space_dimensions() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a295cfa0561b3db68d5736219f42bd817b98be28
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 22:10:46 2011 +0100

    Congruence_System: implement add_unit_rows_and_columns() at a higher level.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9557001b37c629181612a9688477a86fa76cdb9c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 21:24:53 2011 +0100

    Congruence_System: simplify the insert() method that takes a Congruence_System.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e57abdaf4be8047cbf013cd68619bf7cf6f63c0b
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 21:24:22 2011 +0100

    Congruence_System: simplify the recycling_insert() method that takes a Congruence_System argument.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=282d2e5ab2821a1102025d10cb2a81cd0ea14f9e
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 21:19:04 2011 +0100

    Congruence_System: simplify the insert_verbatim() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0eb3beeac7e7bb0ab3ade6c13cfb95180f83bce
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 21:18:35 2011 +0100

    Congruence: add a constructor from a Constraint that specifies the desired space dimension.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9918be63b380d18aa9da75140703c9ae49dd96c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 21:17:22 2011 +0100

    Dense_Row, Sparse_Row: weaken the requirements of the copy-constructor with specified size and capacity.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e30cad8d350dd946aec8b773105977cea31074c
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 20:54:07 2011 +0100

    Congruence_System: simplify the insert_verbatim() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a442c51dde92b87b1155f42bec65acf1d57889e3
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Feb 17 20:51:57 2011 +0100

    Congruence_System: simplify the increase_space_dimension() method.