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

Wed Dec 22 21:25:29 CET 2010

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e0b4f3cb09b8a7f0937ebef9d97503a9f808964
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Dec 20 18:43:57 2010 +0100

    Remove the Sparse_Matrix class and add a Matrix<Row> class instead.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84600dacfb4b21d53d9d3e316338400e9ec02493
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Dec 20 09:13:43 2010 +0100

    Updated.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96604c0b36129ddc2ab6079a11c3babfb4dc69cd
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Dec 19 12:05:02 2010 +0100

    Added a workaround to a space efficiency bug affecting MIP_Problem.
    The baseline patch has been contributed by Marco Poletti.
    
    MIP_Problem now stores the input constraints as a sequence of Constraint*.
    In this sequence, we distinguish between owned constraints (whose resources
    are under control of the current MIP_Problem object) and inherited constraints
    (whose resources are shared with, and owned by, another MIP_Problem object).
    When starting a branch-and-bound computation looking for an integral
    feasible/optimal solution, we now inherit (rather than copy) the input
    constraints.
    
    The workaround greatly improves space/time efficiency on (mixed) integral
    problems, also providing a (simple and reasonable) partial solution to
    
        https://www.cs.unipr.it/mantis/view.php?id=62
    
    The solution is still partial: a complete solution requires the implementation
    of a backtracking mechanism for incrementally added constraints.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7c689f3a1f81f121aee717323f1d86b415209c4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Dec 19 10:53:04 2010 +0100

    Obsolete comment removed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b952f1fa47bca4f7715ad196c8fa470cb4da1fa3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Dec 19 10:49:37 2010 +0100

    No longer include BD_Shape<int8_t> among the instantiations enabled by default.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a25a1ecae28222bb8ee84fc6d4d5d1219ad34f
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun Dec 19 10:08:48 2010 +0100

    Replaced $(cmd) with `cmd` in m4 autoconf files.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533d88da39b83836bd2b4bf4ec69a6f0c9143f0c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Dec 11 18:27:07 2010 +0100

    Avoid using identifier PS, since Solaris has a macro with that name.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5eb5954e1de39e24dd82ad553a8a06334f8ed607
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Oct 21 19:52:38 2010 +0200

    Properly quote the assignment MAKE=$(MAKE).
    (Thanks to Volker Braun.)

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91b316106e1d492b61ef2c6f73596fb9114eac3e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Oct 19 09:10:47 2010 +0200

    Updated list of bug fixes.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c95fc0eab6a38442751ed16c6cfa9d538917f3f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Oct 19 08:15:12 2010 +0200

    Improved precision of Octagonal_Shape::affine_image().
    The method was rather imprecise on sign-symmetry affine transformations.
    Also noted that strong reduction is preserved in that case.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78ef497331ef00e045da0428105fdfae47165cf3
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Oct 17 08:17:46 2010 +0200

    Dense_Row: remove the unused assign() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cf4362e714d714e0595a0d8baa73101220a3dbe
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Oct 16 17:18:04 2010 +0200

    Sparse_Matrix: add some methods, to be fully compatible with Dense_Matrix.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51b8b9197551f04bef467a5d3522e6d60ba86ac1
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Oct 16 17:17:45 2010 +0200

    Sparse_Row: add some methods, to be fully compatible with Dense_Row.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d535b8db149168861bfbb0b9d5880d01d14b4d0
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Oct 16 17:13:35 2010 +0200

    CO_Tree: add a max_size() static method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Oct 16 09:11:15 2010 +0200

    Fixed a bug whereby the argument of all the methods unconstrain(Variable var) was not checked correctly for space dimension compatibility.
    (Thanks to Volker Braun.)

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97150b49891b3cd74963f0e4382da44e1f9abc81
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Oct 10 17:41:52 2010 +0200

    Documented precondition of method Bit_Matrix::remove_trailing_columns().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3592af215e8a58aac07e7e76a28c66246f2abc6a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Oct 10 16:34:30 2010 +0200

    In method Bit_Matrix::OK(), do also check the first Bit_Row.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27a720c897ec87c9854374630e9846d882e86e7b
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Oct 3 17:13:33 2010 +0200

    Sparse_Row: optimize linear_combine(), avoiding the insertion of too many elements.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f743717517f834912473cf77d05db585b5e4e9
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Oct 3 09:24:55 2010 +0200

    Dense_Matrix, Sparse_Matrix: remove useless typedefs for row_type.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58d73240616250bff7ab3afa63e102b9bd21d30f
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Fri Oct 1 15:34:50 2010 +0200

    CO_Tree: fix comment.

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

    CO_Tree: rename the size field into size_, and add a size() method.

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

    CO_Tree: avoid shadowing a field with a local variable, in external_memory_in_bytes().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6475eea32239dd296a8d849aeba82b0aab9dc4c1
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Sep 26 14:51:09 2010 +0200

    Dense_Row: mark the constructor from a Sparse_Row as explicit.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1088ad4fc32dda6f9991418c712e8949c6bf45d
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Sep 26 14:50:32 2010 +0200

    Sparse_Row: add an assignment operator from a Dense_Row.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9707c1e408c1a5897b8dd60a91ac66abe6fdab40
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Sep 26 14:45:16 2010 +0200

    Sparse_Row: copy flags too, in the constructor from a Dense_Row.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b123a9d25288e79ff2f8290ea9e6e6fd77dacc9
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Sep 26 14:44:35 2010 +0200

    Dense_Row: add a constructor and an assignment operator that take a Sparse_Row.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3426ae69e61cdadccae6ff058cc1c9d89e522019
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Sep 26 14:43:53 2010 +0200

    CO_Tree: fix bug in the constructor from a sequence and remove its second argument, it is used in assertions only.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bb0a14d690bda10c0893e11b6019128b3c4908e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Sep 24 19:48:27 2010 +0200

    Added missing uses of AC_LANG_SOURCE.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a71f7eb628bfcf9dec672d7b399173a4a5a94380
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Sep 24 19:47:18 2010 +0200

    Updated.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a2114d8a9333b92e8ccb303d93ade7719a9709e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Sep 24 19:18:29 2010 +0200

    Updated.

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

    Bit_Matrix, Sparse_Matrix: rename the {rows,columns}_erase_to_end() methods into remove_trailing_{rows,columns}(), changing the argument's meaning.

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

    Dense_Matrix, Sparse_Matrix: rename the erase_to_end() method into remove_trailing_rows(), changing the argument's meaning.

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

    Grid_Generator_System: remove unused erase_to_end() private method.