January 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(floating_point): Copyright notices updated.
by Roberto Bagnara 25 Jan '11

25 Jan '11

1 0

[GIT] ppl/ppl(master): Copyright notices updated.
by Roberto Bagnara 25 Jan '11

25 Jan '11

1 0

Fwd: Re: ppl in Fedora development
by Roberto Bagnara 25 Jan '11

25 Jan '11

-------- Original Message -------- Subject: Re: ppl in Fedora development Date: Tue, 25 Jan 2011 10:06:05 +0100 From: Jakub Jelinek <jakub(a)redhat.com> Reply-To: Jakub Jelinek <jakub(a)redhat.com> To: Roberto Bagnara <bagnara(a)cs.unipr.it> On Tue, Jan 25, 2011 at 09:37:09AM +0100, Roberto Bagnara wrote: > On 01/25/2011 09:28 AM, Jakub Jelinek wrote: > >Do you plan to update ppl in Fedora rawhide (for f15+) to 0.11? > >Seems starting today gcc now requires 0.11 instead of 0.10.2 and thus will > >no longer build against the older ppl. > > yes, but we first would like to release PPL 0.11.1. For this, we > are just waiting for some feedback from people using Solaris. Ok, thanks. For the time being I'll probably just disable graphite support in gcc temporarily (it will be needed even just for the ppl rebuild if ppl changes its SONAME, because after ppl cloog-ppl needs to be rebuilt and if gcc relied on cloog-ppl/ppl, then the cloog-ppl build would fail unless a compat ppl package was created. Jakub

1 0

Re: [PPL-devel] ppl in Fedora development
by Roberto Bagnara 25 Jan '11

25 Jan '11

On 01/25/2011 09:28 AM, Jakub Jelinek wrote: > Hi! > > Do you plan to update ppl in Fedora rawhide (for f15+) to 0.11? > Seems starting today gcc now requires 0.11 instead of 0.10.2 and thus will > no longer build against the older ppl. > > Thanks. > > Jakub > Hi Jakub, yes, but we first would like to release PPL 0.11.1. For this, we are just waiting for some feedback from people using Solaris. Cheers, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 20 Jan '11

20 Jan '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a05f9b54899b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 20 16:27:19 2011 +0100 Grid_Generator: remove operator[]. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=281a232780ce… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 20 16:25:51 2011 +0100 Grid_Generator is now implemented using a Linear_Row instead of a Generator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a54f7ec35565… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jan 20 16:16:25 2011 +0100 Grid_Generator: implement operator=() directly, instead of calling Generator::operator=(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4086a529485… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 16:59:15 2011 +0100 Grid_Generator: improve readability of is_equivalent_to(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c868346ef57… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 15:46:50 2011 +0100 Grid_Generator: implement the type() method directly, instead of calling Generator::type(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4c603c8f002… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 13:48:56 2011 +0100 Grid_Generator: implement is_parameter() directly, instead of calling Generator::is_ray(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2d2c92966d1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 13:33:42 2011 +0100 Grid_Generator: implement some methods direcly, instead of relying on the corresponding Generator methods. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ef21389ee53… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:53:24 2011 +0100 Grid_Generator: improve the readability of the divisor() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf871f377326… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:51:20 2011 +0100 Grid_Generator: improve the readability of is_equal_at_dimension(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e521cc2bb815… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:49:59 2011 +0100 Grid_Generator: improve the readability of set_divisor(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76ba3206dd66… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:48:39 2011 +0100 Grid_Generator: improve the documentation of scale_to_divisor() and strong_normalize(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0e8292192ff… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:45:25 2011 +0100 Grid_Generator: simplify the implementation of all_homogeneous_terms_are_zero(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9d8f2263f4a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:44:32 2011 +0100 Grid_Generator: simplify the scale_to_divisor() implementation. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed78231b2f7b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:38:50 2011 +0100 Grid_Generator: make the is_equivalent_to() method's implementation more readable. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ad66cacbc07… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:36:51 2011 +0100 Grid_Generator: rewrite the OK() method. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9b95ead4692… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:33:41 2011 +0100 Grid_Generator: add a constructor from a Linear_Expression. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53c27842a4da… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:30:39 2011 +0100 Grid_Generator: fix a comment. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=131ff82fcc35… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:28:22 2011 +0100 Grid_Generator: indentation fixes. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bea956d168b4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:26:19 2011 +0100 Grid_Generator: simplify the set_is_parameter() method. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96df7a6db424… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:24:06 2011 +0100 Grid_Generator: add a comment in coefficient_swap(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84fa9afa91c4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:23:13 2011 +0100 Grid_Generator: use the set_is_parameter_or_point() method instead of set_is_ray_or_point_or_inequality(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35c6ed900bc8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jan 19 08:20:07 2011 +0100 Grid_Generator: use the Grid_Generator::Type enum instead of Generator::Type. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caf8af6fbf6c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 22:37:44 2011 +0100 Grid_Generator: improve readability of the coefficient_swap() method. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02c3f9f51dc2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 22:32:13 2011 +0100 Grid_Generator: use Linear_Row::set_is_ray_or_point_or_inequality() instead of Generator::set_is_ray_or_point(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf4605eaefa2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 22:21:42 2011 +0100 Grid_Generator: indentation fixes. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a170b378a43c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 22:21:15 2011 +0100 Grid_Generator: use a constaint in the parameter() method. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cd325b3bbb6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 22:16:04 2011 +0100 Grid_Generator: add a throw_dimensions_incompatible() method. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bf4f7da7380… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 22:07:12 2011 +0100 Grid_Generator: change the semantic of the negate() method. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a2a2a8f8d8c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 21:50:32 2011 +0100 Grid_Generator_System: inherit from Linear_System<Linear_Row> instead of Generator_System. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9d8ed3baa4b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 21:41:07 2011 +0100 Grid_Generator_System: call Grid_Generator_System::remove_invalid_lines_and_parameters() instead of Generator_System::remove_invalid_lines_and_rays(), in the affine_image() method. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f21cda61b26b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 21:33:00 2011 +0100 Grid_Generator_System: improve the implementation of the insert() method and update some comments. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e5e24acb478… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 21:24:02 2011 +0100 Grid_Generator_System: replace nested if statements with a single one, in the insert() method. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=319b98dafc35… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 21:18:35 2011 +0100 Grid_Generator_System: remove a block enclosing part of the insert() code. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=041a015df9fa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 21:10:57 2011 +0100 Grid_Generator_System: implement the has_points(), num_parameters() and num_lines() methods directly, instead of relying on the corresponding methods of Generator_System. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3727526016e6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 20:56:01 2011 +0100 Grid_Generator_System: add a remove_invalid_lines_and_parameters() method. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41286cf2cc27… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 20:48:59 2011 +0100 Grid_Generator: fix a typo in example code included in a comment. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fc71833aeed… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 20:39:34 2011 +0100 Congruence: change the semantic of the negate() method. Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b06545d03bed… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 19:39:24 2011 +0100 Generator_System: fix typo in a comment, in adjust_topology_and_space_dimension(). Patch by Enea Zaffanella. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8a950afea01… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Jan 18 19:37:54 2011 +0100 Grid_chdims: improve code readability. Patch by Enea Zaffanella.

1 0

[GIT] ppl/ppl(bounded_arithmetic): Merge branch 'master' into floating_point
by Roberto Bagnara 18 Jan '11

18 Jan '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 2941cea03d8a1994b9da0b90878fe0d568d5d0e1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2941cea03d8a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 13 08:37:26 2011 +0100 Merge branch 'master' into floating_point ---

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 14 Jan '11

14 Jan '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c580f81244… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Jan 14 21:36:48 2011 +0100 Merge the matrix1 and densematrix1 tests. Move the sparserow1 test in the Polyhedron directory. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86714dcd0e8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Jan 14 21:35:18 2011 +0100 tests/Polyhedron/memory2: use Matrix<Dense_Row> instead of Dense_Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7b3af7f737b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Jan 14 21:34:38 2011 +0100 tests/Polyhedron/linearsystem1: use Linear_System<Linear_Row> instead of Linear_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=807a4390e3fe… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Jan 14 21:32:06 2011 +0100 Dense_Row: add a clear() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4f498701ef1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Jan 14 19:26:50 2011 +0100 Revert "Generator: assert OK() in most constructors and non-const methods." This reverts commit 9d91a68c82983fd29c698ded4b088fb3b315b1cd. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bacf4245afb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 22:53:59 2011 +0100 Constraint: make some methods public and remove most friend declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee363135076a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 22:53:22 2011 +0100 Constraint: simplify operator>(const Linear_Expression&,conse Coefficient&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87d42aa70eb9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 22:44:24 2011 +0100 Polyhedron: use Dense_Row::resize() in add_recycled_constraints(), improving performance and avoiding calls to the Constraint::set_is_inequality() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d09a15453f27… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 22:43:07 2011 +0100 Polyhedron: use Dense_Row::add_zeroes_and_shift() in concatenate_assign(), improving performance and avoiding calls to the Constraint::set_is_inequality() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=672f4837b6ab… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 22:40:08 2011 +0100 Dense_Row: add an add_zeroes_and_shift() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=771c88ffd2c5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 20:50:37 2011 +0100 Constraint: add some methods, to make its interface a superset of Linear_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9ccf2c1eba5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 20:48:14 2011 +0100 Constraint.defs.hh: re-order the includes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45ac2f171b38… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 20:36:47 2011 +0100 Constraint: assert OK() in most constructors and non-const methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5263d2eeeca… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 20:36:09 2011 +0100 Constraint: call strong_normalize() in the constructor from a Linear_Expression. Remove such calls in client code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73ee75716d52… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jan 8 20:33:33 2011 +0100 Constraint: simplify some methods.

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 13 Jan '11

13 Jan '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2941cea03d8a… Merge: dc027679371676490ea74a3356c5c5aa6e9b735f 0fd2de73dd626465d1c77d925eb63e2adb639648 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 13 08:37:26 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fd2de73dd62… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jan 8 17:23:18 2011 +0100 Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c16cf1e891f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 7 18:39:22 2011 +0100 Cyclic dependency avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d3d269f7907… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jan 6 11:44:48 2011 +0100 Fixed documentation copy-and-paste error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27d130ce3196… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 10:42:46 2011 +0100 Replaced several occurrences of assert() by PPL_ASSERT(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a0f1627560d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 09:31:27 2011 +0100 Added missing parameter documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87b7c0d322e1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 08:57:57 2011 +0100 Do not build documentation for interfaces that are not enabled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ba95253a8b9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jan 5 17:02:18 2011 +0100 Added missing `use_module' directive. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86dc7a898cd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Dec 30 14:44:10 2010 +0100 Dense_Row: simplify the exception safety implementation by using an implementation subobject. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a24129e95d80… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 27 17:05:58 2010 +0100 Dense_Row: improve exception safety in constructors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff7564a57ae5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 27 09:20:53 2010 +0100 Dense_Row: remove useless debugging code from the OK() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=242769b816b4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Dec 26 22:57:26 2010 +0100 Dense_Row, Sparse_Row, Linear_Row: modify the flags' getter and setter methods, to follow strict aliasing rules. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c85e31fb4f45… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 25 10:50:44 2010 +0100 Dense_Row, Sparse_Row: remove the construct() methods and add a constructor from Flags. Update client code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecffa9a026c3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Dec 25 10:46:23 2010 +0100 Dense_Row: simplify the internal representation and implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5c712fb8577… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 24 12:02:23 2010 +0100 Avoid a couple of doxygen warnings. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bae9231e876e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 24 11:59:17 2010 +0100 Memory leaks fixed. (Patch by Marco Poletti.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84600dacfb4b… Author: Roberto Bagnara <bagnara(a)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=96604c0b3612… Author: Enea Zaffanella <zaffanella(a)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=b7c689f3a1f8… Author: Roberto Bagnara <bagnara(a)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=b952f1fa47bc… Author: Roberto Bagnara <bagnara(a)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=99a25a1ecae2… Author: Abramo Bagnara <abramo.bagnara(a)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=533d88da39b8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 11 18:27:07 2010 +0100 Avoid using identifier PS, since Solaris has a macro with that name.

1 0

[GIT] ppl/w3ppl(master): Links to GMP's home page updated.
by Roberto Bagnara 12 Jan '11

12 Jan '11

Module: ppl/w3ppl Branch: master Commit: dd3cf19481ea829a4f628a05aa23ba37659cbdd3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=dd3cf19481… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jan 12 07:26:14 2011 +0100 Links to GMP's home page updated. --- htdocs/Download/requirements.raw | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/htdocs/Download/requirements.raw b/htdocs/Download/requirements.raw index 2455ec9..b89e2a4 100644 --- a/htdocs/Download/requirements.raw +++ b/htdocs/Download/requirements.raw @@ -41,7 +41,7 @@ in the source distribution for more details on the subject. <A NAME="GMP"> <H3>GMP: the GNU Multiple Precision library</H3> -<A HREF="http://www.swox.com/gmp/">GMP</A> is a free library for +<A HREF="http://gmplib.org/">GMP</A> is a free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point numbers. There is no limit to the precision except that implied by the available memory in the @@ -69,7 +69,7 @@ Since binary distributions of GMP may contain a version of the C++ interface compiled with a C++ compiler implementing a different ABI than the compiler you will use to compile the PPL, the most reliable way to satisfy the points -above is to visit the <A HREF="http://www.swox.com/gmp/">GMP web site</A>, +above is to visit the <A HREF="http://gmplib.org/">GMP web site</A>, download the sources of the last available version, and then follow the steps detailed in <A HREF="@BASE_DIR@Download/ftp/releases/LATEST/README.configure"><CODE>README.configure</CODE></A>

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY.
by Enea Zaffanella 09 Jan '11

09 Jan '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: f6bc2ee2fcc49c9b2d7d4c7ba15aa7577e2ce525 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6bc2ee2fcc4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 9 11:17:16 2011 +0100 Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY. --- src/Partially_Reduced_Product.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Partially_Reduced_Product.inlines.hh b/src/Partially_Reduced_Product.inlines.hh index 2e24c89..bbd14f1 100644 --- a/src/Partially_Reduced_Product.inlines.hh +++ b/src/Partially_Reduced_Product.inlines.hh @@ -357,7 +357,7 @@ Partially_Reduced_Product<D1, D2, R> y.reduce(); d1.time_elapse_assign(y.d1); d2.time_elapse_assign(y.d2); - PPL_ASSERT(OK()); + PPL_ASSERT_HEAVY(OK()); } template <typename D1, typename D2, typename R>

1 0