[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=cd6f2c5f06202f8a4af87b374e5773107e4f95d7
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Mar 9 18:15:58 2011 +0100

    Generator_System: add a remove_row() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=347b7d0b34f9d417cf68051bccb1908f26fcabfa
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Mar 9 17:29:58 2011 +0100

    Constraint_System: set the sortedness correctly, in ascii_load().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42010eaa685cd0f78c0abf8845bccc0a17bbd284
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 12:07:20 2011 +0100

    Polyhedron: use Constraint_System::remove_row() in strongly_minimize_constraints().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=725dcd65146d8ed3475c3bcdee9298361ee8f4c4
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 12:02:14 2011 +0100

    Constraint_System: add a remove_rows() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2a57eaf4400c1719ab8860d78cc31a800b4e590
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 11:55:09 2011 +0100

    Generator_System: use Linear_System::remove_row() in remove_invalid_lines_and_rays().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0762679f9735b38d9adb98fb1af5ed05f17375b9
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 11:54:24 2011 +0100

    Linear_System: improve the remove_row() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f19a92b295ef34d07914d9e42129f5c86e634650
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 11:53:59 2011 +0100

    Linear_System: add a remove_rows() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90c4c1615e4aabe7c56c76f2ac60b5b30b25eb36
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 11:45:59 2011 +0100

    Grid: use Congruence_System::remove_rows() in remove_higher_space_dimensions().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b37b96a93e97ecf6e3b98811c9d798be6c7794b3
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 11:45:17 2011 +0100

    Congruence_System: add a remove_rows() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7d0e1890efb5be14e4e2a152c01b18712f55daa
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 10:24:54 2011 +0100

    Constraint_System: use Linear_System::remove_row() in adjust_topology_and_space_dimension().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dad962093567180fe55dbece57498982667ced8
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 10:17:25 2011 +0100

    Generator_System: use Linear_System::remove_row() in adjust_topology_and_space_dimension().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a18fb07ec3231ac961d87f82a46edf34a7d8e86
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 10:10:20 2011 +0100

    Grid_Generator_System: use Linear_System::remove_row() in remove_invalid_lines_and_parameters().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6044df8c270d70fed251bc8edfb50d902e6650b
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 10:07:28 2011 +0100

    Linear_System: add a remove_row() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c279bc08de0aa2fb225a5a777587ab9218219b66
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 09:39:28 2011 +0100

    Grid_Generator_System: simplify the add_universe_rows_and_columns() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=710ffa544700cacfc5d5121ab93791792e1c943b
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 09:35:45 2011 +0100

    Grid_Generator_System: simplify the insert() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e94ad4852b351838f93b3574fc9fd7ce4340741e
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 09:19:35 2011 +0100

    Grid_Generator_System: simplify the recycling_insert() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ffcd2624ed95eab1969ed51267f44eb51f0b54a1
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 09:05:24 2011 +0100

    Constraint_System: remove the release_row() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fea09b089956990f88b5e705c5fd5326e1ca747
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 08:56:20 2011 +0100

    Constraint_System: output the size of each row in ascii_dump(), and read it in ascii_load().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74495f40134a25d952064d5d8a0d09731e4a8d53
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 08:49:34 2011 +0100

    Constraint: un-inline the ascii_dump() and ascii_load() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=551070475451dbb0b0350cae6e645edaaaf83bc6
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Tue Mar 8 08:49:00 2011 +0100

    Constraint_System: output the topology of each row in ascii_dump(), and read it in ascii_load().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2d4a1f0697cc73f25f4f2c83946bed2a4c3c106
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Wed Mar 16 08:05:23 2011 +0100

    tests/Polyhedron: fix the Makefile.am file.