- PPL-devel - BUGSENG Mailman

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

25 Jan '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 9c6b584f2f87a31e6124ae698a712a0bd2f6f1df URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c6b584f2f87… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 24 21:04:46 2011 +0100 Copyright notices updated. --- src/Cast_Floating_Point_Expression.defs.hh | 1 + src/Cast_Floating_Point_Expression.inlines.hh | 1 + src/Cast_Floating_Point_Expression.templates.hh | 1 + src/Cast_Floating_Point_Expression.types.hh | 1 + src/Concrete_Expression.cc | 1 + src/Concrete_Expression.defs.hh | 1 + src/Concrete_Expression.inlines.hh | 1 + src/Concrete_Expression.types.hh | 1 + src/Constant_Floating_Point_Expression.defs.hh | 1 + src/Constant_Floating_Point_Expression.inlines.hh | 1 + src/Constant_Floating_Point_Expression.types.hh | 1 + src/Difference_Floating_Point_Expression.defs.hh | 1 + ...Difference_Floating_Point_Expression.inlines.hh | 1 + ...fference_Floating_Point_Expression.templates.hh | 1 + src/Difference_Floating_Point_Expression.types.hh | 1 + src/Division_Floating_Point_Expression.defs.hh | 1 + src/Division_Floating_Point_Expression.inlines.hh | 1 + ...Division_Floating_Point_Expression.templates.hh | 1 + src/Division_Floating_Point_Expression.types.hh | 1 + src/Float.templates.hh | 1 + src/Floating_Point_Expression.defs.hh | 1 + src/Floating_Point_Expression.inlines.hh | 1 + src/Floating_Point_Expression.templates.hh | 1 + src/Floating_Point_Expression.types.hh | 1 + src/Integer_Interval.hh | 1 + src/Linear_Form.cc | 1 + src/Linear_Form.defs.hh | 1 + src/Linear_Form.inlines.hh | 1 + src/Linear_Form.templates.hh | 1 + src/Linear_Form.types.hh | 1 + ...ultiplication_Floating_Point_Expression.defs.hh | 1 + ...iplication_Floating_Point_Expression.inlines.hh | 1 + ...lication_Floating_Point_Expression.templates.hh | 1 + ...ltiplication_Floating_Point_Expression.types.hh | 1 + src/Opposite_Floating_Point_Expression.defs.hh | 1 + src/Opposite_Floating_Point_Expression.inlines.hh | 1 + src/Opposite_Floating_Point_Expression.types.hh | 1 + src/Sum_Floating_Point_Expression.defs.hh | 1 + src/Sum_Floating_Point_Expression.inlines.hh | 1 + src/Sum_Floating_Point_Expression.templates.hh | 1 + src/Sum_Floating_Point_Expression.types.hh | 1 + src/Variable_Floating_Point_Expression.defs.hh | 1 + src/Variable_Floating_Point_Expression.inlines.hh | 1 + src/Variable_Floating_Point_Expression.types.hh | 1 + src/linearize.hh | 1 + tests/Concrete_Expression/C_Expr.cc | 1 + tests/Concrete_Expression/C_Expr.defs.hh | 1 + tests/Concrete_Expression/C_Expr.inlines.hh | 1 + tests/Concrete_Expression/C_Expr.types.hh | 1 + tests/Concrete_Expression/Makefile.am | 1 + tests/Concrete_Expression/bdshape1.cc | 1 + tests/Concrete_Expression/bdshape2.cc | 1 + tests/Concrete_Expression/digitalfilters1.cc | 1 + tests/Concrete_Expression/linearform1.cc | 1 + tests/Concrete_Expression/linearize.cc | 1 + tests/Concrete_Expression/octagonalshape1.cc | 1 + tests/Concrete_Expression/octagonalshape2.cc | 1 + tests/Concrete_Expression/polyhedron1.cc | 1 + tests/Concrete_Expression/polyhedron2.cc | 1 + tests/Concrete_Expression/run_tests | 1 + 60 files changed, 60 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9c6b584f…

1 0

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

25 Jan '11

1 0

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

25 Jan '11

Module: ppl/ppl Branch: floating_point Commit: 430352775db7751e904089268357d9462b7e5646 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=430352775db7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 24 21:04:46 2011 +0100 Copyright notices updated. --- src/Cast_Floating_Point_Expression.defs.hh | 1 + src/Cast_Floating_Point_Expression.inlines.hh | 1 + src/Cast_Floating_Point_Expression.templates.hh | 1 + src/Cast_Floating_Point_Expression.types.hh | 1 + src/Concrete_Expression.cc | 1 + src/Concrete_Expression.defs.hh | 1 + src/Concrete_Expression.inlines.hh | 1 + src/Concrete_Expression.types.hh | 1 + src/Constant_Floating_Point_Expression.defs.hh | 1 + src/Constant_Floating_Point_Expression.inlines.hh | 1 + src/Constant_Floating_Point_Expression.types.hh | 1 + src/Difference_Floating_Point_Expression.defs.hh | 1 + ...Difference_Floating_Point_Expression.inlines.hh | 1 + ...fference_Floating_Point_Expression.templates.hh | 1 + src/Difference_Floating_Point_Expression.types.hh | 1 + src/Division_Floating_Point_Expression.defs.hh | 1 + src/Division_Floating_Point_Expression.inlines.hh | 1 + ...Division_Floating_Point_Expression.templates.hh | 1 + src/Division_Floating_Point_Expression.types.hh | 1 + src/Float.templates.hh | 1 + src/Floating_Point_Expression.defs.hh | 1 + src/Floating_Point_Expression.inlines.hh | 1 + src/Floating_Point_Expression.templates.hh | 1 + src/Floating_Point_Expression.types.hh | 1 + src/Integer_Interval.hh | 1 + src/Linear_Form.cc | 1 + src/Linear_Form.defs.hh | 1 + src/Linear_Form.inlines.hh | 1 + src/Linear_Form.templates.hh | 1 + src/Linear_Form.types.hh | 1 + ...ultiplication_Floating_Point_Expression.defs.hh | 1 + ...iplication_Floating_Point_Expression.inlines.hh | 1 + ...lication_Floating_Point_Expression.templates.hh | 1 + ...ltiplication_Floating_Point_Expression.types.hh | 1 + src/Opposite_Floating_Point_Expression.defs.hh | 1 + src/Opposite_Floating_Point_Expression.inlines.hh | 1 + src/Opposite_Floating_Point_Expression.types.hh | 1 + src/Sum_Floating_Point_Expression.defs.hh | 1 + src/Sum_Floating_Point_Expression.inlines.hh | 1 + src/Sum_Floating_Point_Expression.templates.hh | 1 + src/Sum_Floating_Point_Expression.types.hh | 1 + src/Variable_Floating_Point_Expression.defs.hh | 1 + src/Variable_Floating_Point_Expression.inlines.hh | 1 + src/Variable_Floating_Point_Expression.types.hh | 1 + src/linearize.hh | 1 + tests/Concrete_Expression/C_Expr.cc | 1 + tests/Concrete_Expression/C_Expr.defs.hh | 1 + tests/Concrete_Expression/C_Expr.inlines.hh | 1 + tests/Concrete_Expression/C_Expr.types.hh | 1 + tests/Concrete_Expression/Makefile.am | 1 + tests/Concrete_Expression/bdshape1.cc | 1 + tests/Concrete_Expression/bdshape2.cc | 1 + tests/Concrete_Expression/digitalfilters1.cc | 1 + tests/Concrete_Expression/linearform1.cc | 1 + tests/Concrete_Expression/linearize.cc | 1 + tests/Concrete_Expression/octagonalshape1.cc | 1 + tests/Concrete_Expression/octagonalshape2.cc | 1 + tests/Concrete_Expression/polyhedron1.cc | 1 + tests/Concrete_Expression/polyhedron2.cc | 1 + tests/Concrete_Expression/run_tests | 1 + 60 files changed, 60 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=43035277…

1 0

[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