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

Sat Feb 5 17:33:28 CET 2011

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0821dbbf4a6ed9e6dbe1b352a776c11867fd97e7
Merge: bdba1dbf2ccebf5249fd8237017ef391bbea2dc3 bf1edca5e0ddb03674a35218dccce6bc421469e2
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 16:11:43 2011 +0100

    Merge branch 'master' into sparse_matrices
    
    Conflicts:
    	src/Polyhedron_public.cc

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf1edca5e0ddb03674a35218dccce6bc421469e2
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 16:09:47 2011 +0100

    Polyhedron: fix an invalid reference bug in generalized_affine_image().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bdba1dbf2ccebf5249fd8237017ef391bbea2dc3
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 15:40:52 2011 +0100

    Linear_System: replace the add_*rows() methods with insert*() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f657adb16f818894ea35dfd1fa989efa45c5be9
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 15:30:10 2011 +0100

    Constraint_System, Generator_System: inherit from Linear_System<Linear_Row> with the `public' specifier.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3dbfc033b2d5df739f9357baa84af6f3d697daea
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 15:04:24 2011 +0100

    Linear_System: make the add_*row() methods private.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9de6d262ea8edd7272c00537610cb77d8f767170
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 14:24:42 2011 +0100

    Grid_Generator_System: use the Linear_System::insert*() methods instead of the add*_row() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c8702a0b81b6922b5174d2a4932962bc8e67ff6
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 14:24:33 2011 +0100

    Generator_System: use the Linear_System::insert*() methods instead of the add*_row() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69ec030d6bb9b960e88b5668882bad911ad68fda
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 14:24:10 2011 +0100

    Polyhedron: use the Linear_System::insert*() methods instead of the add*_row() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd43e29e5172c5d0edfe29453b125dfbf5c8f03e
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 14:23:15 2011 +0100

    Linear_System: add the insert_recycled() and insert_pending_recycled() methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a2f2ba94b44321e1271396f6c6ea4facded175f
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 12:50:06 2011 +0100

    Linear_System: rename the add_rows_and_columns() method into add_universe_rows_and_columns().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af0a3c5ba4aff75f4f9669b5a511458c809ff828
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 12:38:24 2011 +0100

    Linear_System: add more topology checks.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fde3fe3dc885696741af18856def3bf9b9eb5830
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 12:27:44 2011 +0100

    Linear_System: keep the pending rows when constructing temporary copies of Linear_System objects.

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

    Linear_System: clarify a comment.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=beb797f5f4cf710b4e99121d541161ea00997fc2
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 12:20:19 2011 +0100

    Polyhedron: simplify add_recycled_generators().

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

    Linear_Row, Linear_Row::Flags: add a set_topology() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b288e69cea5143acecadf0cda349619a8f5adc2
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 12:04:25 2011 +0100

    Linear_System: avoid useless copies in insert() and insert_pending().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f8d776bd22ea208388f113166a7a95b136c31ff
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 11:59:22 2011 +0100

    Add a TODO comment.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aaeeb959482e41cbcebd4b66838206b7c564f172
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 11:53:19 2011 +0100

    Linear_System: add the add_recycled_rows() and add_recycled_pending_rows() methods and use them in Polyhedron.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f469b98d8ec4e2fec9569be0f0727346f70c8d41
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 11:37:20 2011 +0100

    Linear_System: don't modify sortedness in add_recycled_pending_row(), and simplify some code.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=436f439dbb68dfcf423b2182a545363c0fda7ed1
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 10:32:52 2011 +0100

    Linear_System: add an add_recycled_pending_row() method and change the semantics of add_recycled_row().

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

    Swapping_Vector: avoid copying when reallocating the vector in push_back().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3609c23d8933a3f45202767a6c73848a402fc42a
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 10:19:40 2011 +0100

    Linear_System is now implemented with a Swapping_Vector instead of a Matrix.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2da57c074881d04ba92743bcc6e1acc7febc2f10
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 10:06:44 2011 +0100

    Linear_System: add a TODO comment.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38c4908badefeab403f5dd922ca68558c3b4106a
Merge: f4214b110c1f55271543717cb18cc8a2e5ace65f a01fecf4cde756aaefe88b8f309f9bdf3e07b670
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 09:59:27 2011 +0100

    Merge branch 'master' into sparse_matrices

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a01fecf4cde756aaefe88b8f309f9bdf3e07b670
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Feb 5 09:58:54 2011 +0100

    Grid: avoid using an invalid reference in the constructor from a Box.