URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e0b4f3cb09b8... Author: Marco Poletti <poletti.marco@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=84600dacfb4b2... Author: Roberto Bagnara <bagnara@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=96604c0b36129... Author: Enea Zaffanella <zaffanella@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=b7c689f3a1f81... Author: Roberto Bagnara <bagnara@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=b952f1fa47bca... Author: Roberto Bagnara <bagnara@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=99a25a1ecae28... Author: Abramo Bagnara <abramo.bagnara@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=533d88da39b83... Author: Enea Zaffanella <zaffanella@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=5eb5954e1de39... Author: Roberto Bagnara <bagnara@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=91b316106e1d4... Author: Enea Zaffanella <zaffanella@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=5c95fc0eab6a3... Author: Enea Zaffanella <zaffanella@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=78ef497331ef0... Author: Marco Poletti <poletti.marco@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=5cf4362e714d7... Author: Marco Poletti <poletti.marco@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=51b8b9197551f... Author: Marco Poletti <poletti.marco@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=3d535b8db1491... Author: Marco Poletti <poletti.marco@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=ff5b0796773b3... Author: Roberto Bagnara <bagnara@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=97150b49891b3... Author: Enea Zaffanella <zaffanella@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=3592af215e8a5... Author: Enea Zaffanella <zaffanella@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=27a720c897ec8... Author: Marco Poletti <poletti.marco@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=e9f743717517f... Author: Marco Poletti <poletti.marco@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=58d7324061625... Author: Marco Poletti <poletti.marco@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=3e80dc1425ebb... Author: Marco Poletti <poletti.marco@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=3cb542d4fe761... Author: Marco Poletti <poletti.marco@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=6475eea32239d... Author: Marco Poletti <poletti.marco@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=d1088ad4fc32d... Author: Marco Poletti <poletti.marco@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=9707c1e408c1a... Author: Marco Poletti <poletti.marco@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=5b123a9d25288... Author: Marco Poletti <poletti.marco@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=3426ae69e61cd... Author: Marco Poletti <poletti.marco@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=0bb0a14d690bd... Author: Roberto Bagnara <bagnara@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=a71f7eb628bfc... Author: Roberto Bagnara <bagnara@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=5a2114d8a9333... Author: Roberto Bagnara <bagnara@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=d8484a4794afa... Author: Marco Poletti <poletti.marco@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=7c153292b94f5... Author: Marco Poletti <poletti.marco@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=f9bb908fe1ba4... Author: Marco Poletti <poletti.marco@gmail.com> Date: Mon Sep 20 15:06:06 2010 +0200 Grid_Generator_System: remove unused erase_to_end() private method.