May 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): No longer use CS and PS as template parameter names.
by Roberto Bagnara 02 May '09

02 May '09

Module: ppl/ppl Branch: master Commit: 9a08d1d3a98ca1af8ff0cb94017888528c6875a7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a08d1d3a98c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 20:53:47 2009 +0200 No longer use CS and PS as template parameter names. --- src/Determinate.defs.hh | 40 ++-- src/Determinate.inlines.hh | 168 +++++++++--------- src/Determinate.types.hh | 2 +- src/Pointset_Ask_Tell.defs.hh | 22 ++-- src/Pointset_Ask_Tell.inlines.hh | 100 ++++++----- src/Pointset_Ask_Tell.templates.hh | 76 ++++---- src/Pointset_Ask_Tell.types.hh | 2 +- src/Pointset_Powerset.defs.hh | 46 +++--- src/Pointset_Powerset.inlines.hh | 148 ++++++++-------- src/Pointset_Powerset.templates.hh | 340 ++++++++++++++++++------------------ src/Pointset_Powerset.types.hh | 2 +- src/Widening_Function.defs.hh | 34 ++-- src/Widening_Function.inlines.hh | 40 ++-- src/Widening_Function.types.hh | 4 +- src/wrap_assign.hh | 22 ++-- 15 files changed, 525 insertions(+), 521 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9a08d1d3…

1 0

[GIT] ppl/ppl(master): Unused variable removed.
by Roberto Bagnara 02 May '09

02 May '09

Module: ppl/ppl Branch: master Commit: e13568ef98abefe1b710d32105cb5dbb0bac0b90 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13568ef98ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 20:18:34 2009 +0200 Unused variable removed. --- src/wrap_assign.hh | 1 - 1 files changed, 0 insertions(+), 1 deletions(-) diff --git a/src/wrap_assign.hh b/src/wrap_assign.hh index 6c44a4d..91f3306 100644 --- a/src/wrap_assign.hh +++ b/src/wrap_assign.hh @@ -60,7 +60,6 @@ wrap_assign_rec(PS& dest, unsigned complexity_threshold, Coefficient& tmp1, Coefficient& tmp2) { - dimension_type space_dim = dest.space_dimension(); if (first == end) { PS p(src); if (pcs != 0)

1 0

[GIT] ppl/ppl(master): Bad spacing fixed.
by Roberto Bagnara 02 May '09

02 May '09

Module: ppl/ppl Branch: master Commit: 9a0d5faafbb0019e0012eeb3cbb311a1ff8765f2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a0d5faafbb0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 19:41:44 2009 +0200 Bad spacing fixed. --- tests/Grid/asciidumpload1.cc | 40 +++++++++++++++++----------------- tests/Grid/asciidumpload2.cc | 6 ++-- tests/Grid/asciidumpload4.cc | 8 +++--- tests/Grid/asciidumpload5.cc | 6 ++-- tests/Grid/asciidumpload6.cc | 8 +++--- tests/Polyhedron/ascii_dump_load1.cc | 6 ++-- tests/Polyhedron/ascii_dump_load3.cc | 10 ++++---- 7 files changed, 42 insertions(+), 42 deletions(-) diff --git a/tests/Grid/asciidumpload1.cc b/tests/Grid/asciidumpload1.cc index ab7da3c..3e687cb 100644 --- a/tests/Grid/asciidumpload1.cc +++ b/tests/Grid/asciidumpload1.cc @@ -188,7 +188,7 @@ test06() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -205,7 +205,7 @@ test07() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -223,7 +223,7 @@ test08() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -242,7 +242,7 @@ test09() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -261,7 +261,7 @@ test10() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -280,7 +280,7 @@ test11() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -300,7 +300,7 @@ test12() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -323,7 +323,7 @@ test13() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -346,7 +346,7 @@ test14() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -369,7 +369,7 @@ test15() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -393,7 +393,7 @@ test16() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -419,7 +419,7 @@ test17() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -446,7 +446,7 @@ test18() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -473,7 +473,7 @@ test19() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -500,7 +500,7 @@ test20() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -519,7 +519,7 @@ test21() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -538,7 +538,7 @@ test22() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -557,7 +557,7 @@ test23() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -576,7 +576,7 @@ test24() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; @@ -595,7 +595,7 @@ test25() { open(f, my_file, ios_base::in); Grid gr; - bool ok =! gr.ascii_load(f); + bool ok = !gr.ascii_load(f); close(f); return ok; diff --git a/tests/Grid/asciidumpload2.cc b/tests/Grid/asciidumpload2.cc index 2d73426..22d675f 100644 --- a/tests/Grid/asciidumpload2.cc +++ b/tests/Grid/asciidumpload2.cc @@ -332,7 +332,7 @@ test10() { open(f, my_file, ios_base::in); Grid gr2; - bool ok =! gr2.ascii_load(f); + bool ok = !gr2.ascii_load(f); close(f); return ok; @@ -349,7 +349,7 @@ test11() { open(f, my_file, ios_base::in); Grid gr2; - bool ok =! gr2.ascii_load(f); + bool ok = !gr2.ascii_load(f); close(f); return ok; @@ -366,7 +366,7 @@ test12() { open(f, my_file, ios_base::in); Grid gr2; - bool ok =! gr2.ascii_load(f); + bool ok = !gr2.ascii_load(f); close(f); return ok; diff --git a/tests/Grid/asciidumpload4.cc b/tests/Grid/asciidumpload4.cc index 9f08ceb..a537b1d 100644 --- a/tests/Grid/asciidumpload4.cc +++ b/tests/Grid/asciidumpload4.cc @@ -72,7 +72,7 @@ test02() { open(f, my_file, ios_base::in); Congruence_System cgs(0*A %= 0); - bool ok =! cgs.ascii_load(f); + bool ok = !cgs.ascii_load(f); close(f); return ok; @@ -90,7 +90,7 @@ test03() { open(f, my_file, ios_base::in); Congruence_System cgs(0*A %= 0); - bool ok =! cgs.ascii_load(f); + bool ok = !cgs.ascii_load(f); close(f); return ok; @@ -108,7 +108,7 @@ test04() { open(f, my_file, ios_base::in); Congruence_System cgs(0*A %= 0); - bool ok =! cgs.ascii_load(f); + bool ok = !cgs.ascii_load(f); close(f); return ok; @@ -127,7 +127,7 @@ test05() { open(f, my_file, ios_base::in); Congruence_System cgs(0*A %= 0); - bool ok =! cgs.ascii_load(f); + bool ok = !cgs.ascii_load(f); close(f); return ok; diff --git a/tests/Grid/asciidumpload5.cc b/tests/Grid/asciidumpload5.cc index 300241d..6433e05 100644 --- a/tests/Grid/asciidumpload5.cc +++ b/tests/Grid/asciidumpload5.cc @@ -72,7 +72,7 @@ test02() { open(f, my_file, ios_base::in); Grid_Generator g(grid_point(0*A)); - bool ok =! g.ascii_load(f); + bool ok = !g.ascii_load(f); close(f); return ok; @@ -91,7 +91,7 @@ test03() { open(f, my_file, ios_base::in); Grid_Generator g(grid_point(0*A)); - bool ok =! g.ascii_load(f); + bool ok = !g.ascii_load(f); close(f); return ok; @@ -110,7 +110,7 @@ test04() { open(f, my_file, ios_base::in); Grid_Generator g(grid_point(0*A)); - bool ok =! g.ascii_load(f); + bool ok = !g.ascii_load(f); close(f); return ok; diff --git a/tests/Grid/asciidumpload6.cc b/tests/Grid/asciidumpload6.cc index 22e581e..4932982 100644 --- a/tests/Grid/asciidumpload6.cc +++ b/tests/Grid/asciidumpload6.cc @@ -72,7 +72,7 @@ test02() { open(f, my_file, ios_base::in); Grid_Generator_System gs(grid_point(0*A)); - bool ok =! gs.ascii_load(f); + bool ok = !gs.ascii_load(f); close(f); return ok; @@ -90,7 +90,7 @@ test03() { open(f, my_file, ios_base::in); Grid_Generator_System gs(grid_point(0*A)); - bool ok =! gs.ascii_load(f); + bool ok = !gs.ascii_load(f); close(f); return ok; @@ -108,7 +108,7 @@ test04() { open(f, my_file, ios_base::in); Grid_Generator_System gs(grid_point(0*A)); - bool ok =! gs.ascii_load(f); + bool ok = !gs.ascii_load(f); close(f); return ok; @@ -127,7 +127,7 @@ test05() { open(f, my_file, ios_base::in); Grid_Generator_System gs(grid_point(0*A)); - bool ok =! gs.ascii_load(f); + bool ok = !gs.ascii_load(f); close(f); return ok; diff --git a/tests/Polyhedron/ascii_dump_load1.cc b/tests/Polyhedron/ascii_dump_load1.cc index c98955d..07410f4 100644 --- a/tests/Polyhedron/ascii_dump_load1.cc +++ b/tests/Polyhedron/ascii_dump_load1.cc @@ -518,7 +518,7 @@ test17() { open(f, my_file, ios_base::in); C_Polyhedron ph2; - bool ok =! ph2.ascii_load(f); + bool ok = !ph2.ascii_load(f); close(f); return ok; @@ -535,7 +535,7 @@ test18() { open(f, my_file, ios_base::in); C_Polyhedron ph2; - bool ok =! ph2.ascii_load(f); + bool ok = !ph2.ascii_load(f); close(f); return ok; @@ -552,7 +552,7 @@ test19() { open(f, my_file, ios_base::in); C_Polyhedron ph2; - bool ok =! ph2.ascii_load(f); + bool ok = !ph2.ascii_load(f); close(f); return ok; diff --git a/tests/Polyhedron/ascii_dump_load3.cc b/tests/Polyhedron/ascii_dump_load3.cc index c907a65..92f10eb 100644 --- a/tests/Polyhedron/ascii_dump_load3.cc +++ b/tests/Polyhedron/ascii_dump_load3.cc @@ -306,7 +306,7 @@ test09() { open(f, my_file, ios_base::in); C_Polyhedron ph2; - bool ok =! ph2.ascii_load(f); + bool ok = !ph2.ascii_load(f); close(f); return ok; @@ -333,7 +333,7 @@ test10() { open(f, my_file, ios_base::in); C_Polyhedron ph2; - bool ok =! ph2.ascii_load(f); + bool ok = !ph2.ascii_load(f); close(f); return ok; @@ -353,7 +353,7 @@ test11() { open(f, my_file, ios_base::in); C_Polyhedron ph2; - bool ok =! ph2.ascii_load(f); + bool ok = !ph2.ascii_load(f); close(f); return ok; @@ -372,7 +372,7 @@ test12() { open(f, my_file, ios_base::in); C_Polyhedron ph2; - bool ok =! ph2.ascii_load(f); + bool ok = !ph2.ascii_load(f); close(f); return ok; @@ -408,7 +408,7 @@ test13() { open(f, my_file, ios_base::in); C_Polyhedron ph2; - bool ok =! ph2.ascii_load(f); + bool ok = !ph2.ascii_load(f); close(f); return ok;

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 02 May '09

02 May '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36b2b16c3022… Merge: b61a3356aa6bab867a721214170f419e7d4bd483 099c11d215bf8bf113bec36fbe1b802d939bf92b Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 18:22:40 2009 +0200 Merge branch 'bounded_arithmetic' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099c11d215bf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 18:16:44 2009 +0200 Implementation of wrap_assign() made generic. The same implementation is now used for Polyhedron, BD_Shape and Octagonal_Shape. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42eb3a3d2ab5… Merge: 02e818f7cd915af0e99ac755e1567932ec164992 453d5f2f3a322c55bc2a702567f7f08f5b0bfe0d Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 20:58:45 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02e818f7cd91… Merge: abefc4529cb38ff95c24f85e9f0c6399a35880ad 54b366817e0798f9ce92d95a1fcc1ec59eb7406a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 14:25:03 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abefc4529cb3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 12:03:05 2009 +0200 Renamed some pleonastic identifiers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be59e29965cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 11:30:00 2009 +0200 Added a proof-of-concept implementation of affine spaces. The implementation is based on rational grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc5983fb937c… Merge: 6431f35e4360c7c8385635f1e262c2f984cf07b1 9ce7c8bdce348315c574891ecb60cc0dc4cb3720 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 30 20:18:37 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6431f35e4360… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 28 19:19:04 2009 +0200 In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_IMPOSSIBLE'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d65c2598c43… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 27 22:27:06 2009 +0200 In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_UNDEFINED'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4917f7ba9b6d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 27 22:13:20 2009 +0200 Added a new parameter `pcs' to Polyhedron::wrap_assign(). Other parameters reordered. The tests now check for the expected result. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df4d4fcfb090… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 23:34:10 2009 +0200 Started the implementation of Polyhedron::wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cebc86fa1c4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 20:39:06 2009 +0200 Added missing pattern. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2bfeb6d0eb4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 20:35:34 2009 +0200 Unused parameter name omitted. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fae84063e557… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 20:35:03 2009 +0200 Added missing patterns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05a160461d87… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 20:31:35 2009 +0200 The `mul2exp' and `div2exp' functions are now called `mul_2exp' and `div_2exp'. They have also been changed so as to take an unsigned int parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18abd8ea5a0b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 17:29:39 2009 +0200 Added void div_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da83bd6fe05a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 17:16:02 2009 +0200 Added void mul_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95aa5c9f987b… Merge: 636f1db00bb3ae68ffbcdfbe22bc56c03f9cfdbd 79dac5cc0b03dec162bdcca40e01828a52371765 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 16:43:28 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=636f1db00bb3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 11:36:33 2009 +0200 New file wrap1.cc will contain tests for method Polyhedron::wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3879ecb87976… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 11:34:24 2009 +0200 Added the declaration and a stub implementation of new method Polyhedron::wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f568dac0119… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 11:33:15 2009 +0200 New enumerations Bounded_Integer_Type_Width, Bounded_Integer_Type_Signedness and Bounded_Integer_Type_Overflow to encode the width, signedness and overflow behavior of bounded integer types, respectively.

1 0

[GIT] ppl/ppl(bounded_arithmetic): Implementation of wrap_assign() made generic.
by Roberto Bagnara 02 May '09

02 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 099c11d215bf8bf113bec36fbe1b802d939bf92b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099c11d215bf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 18:16:44 2009 +0200 Implementation of wrap_assign() made generic. The same implementation is now used for Polyhedron, BD_Shape and Octagonal_Shape. --- src/BD_Shape.defs.hh | 49 +++++ src/BD_Shape.templates.hh | 15 ++ src/Makefile.am | 1 + src/Octagonal_Shape.defs.hh | 49 +++++ src/Octagonal_Shape.templates.hh | 15 ++ src/Polyhedron.defs.hh | 6 +- src/Polyhedron_public.cc | 146 ++------------ src/wrap_assign.hh | 302 +++++++++++++++++++++++++++++ tests/Octagonal_Shape/Makefile.am | 3 + tests/Octagonal_Shape/wrap1.cc | 382 +++++++++++++++++++++++++++++++++++++ tests/Polyhedron/wrap1.cc | 182 ++++++++++++++++++ 11 files changed, 1021 insertions(+), 129 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=099c11d2…

1 0

[GIT] ppl/ppl(products): Reduction methods ( Constraints and Shrink_Using_Congruences) improved.
by Patricia Hill 02 May '09

02 May '09

Module: ppl/ppl Branch: products Commit: d1cde86de0626030ebb6fa6cae49e3111074a7ee URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1cde86de062… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat May 2 11:00:24 2009 +0100 Reduction methods (Constraints and Shrink_Using_Congruences) improved. Tests specific to the Constraints_Reduction added. --- src/Partially_Reduced_Product.templates.hh | 25 ++- tests/Partially_Reduced_Product/Makefile.am | 3 + .../constraintsproduct1.cc | 307 ++++++++++++++++++++ .../shrinkusingcongruences1.cc | 28 ++- 4 files changed, 351 insertions(+), 12 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d1cde86d…

1 0

[Fwd: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library]
by Roberto Bagnara 02 May '09

02 May '09

-------- Original Message -------- Subject: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library Date: Thu, 30 Apr 2009 23:05:45 +1000 From: David Billinghurst <dbcygwin(a)gmail.com> Reply-To: cygwin(a)cygwin.com To: cygwin(a)cygwin.com Version ppl-0.10.2-1 of the Parma Polyhedra Library (PPL) has been released. PACKAGE DESCRIPTION =================== Homepage: http://www.cs.unipr.it/ppl/ License : GNU GPL 3 or later The Parma Polyhedra Library (PPL) provides numerical abstractions specially targeted at applications in the field of analysis and verification of complex systems. These abstractions include convex polyhedra, defined as the intersection of a finite number of (open or closed) halfspaces, each described by a linear inequality (strict or on-strict) with rational coefficients; some special classes of polyhedra shapes that offer interesting complexity/precision tradeoffs; and grids which represent regularly spaced points that satisfy a set of linear congruence relations. This package is needed to build GCC 4.4 with the Graphite loop optimizations - http://gcc.gnu.org/install/prerequisites.html. The package includes > 4 MB of documentation, which is packaged separately The cygwin PPL release comprises four packages libppl - the run time libraries ppl-devel - the headers and link libraries ppl - man pages, licenses, etc ppl-doc - 4 MB of documentation INSTALL OR UPGRADE NOTES ======================== Standard install built with gcc-4.3.2 and g++-4.3.2. For correct functionality, users may need to link applications with LDFLAGS=-Wl,--enable-auto-import. The majority of the PPL tests fail when built without this option. PPL was built with the C++ and C interfaces. Other interfaces may be provided, if requested, in future Cygwin releases. -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/ -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/ppl(master): Obsolete test programs removed.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: master Commit: b61a3356aa6bab867a721214170f419e7d4bd483 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b61a3356aa6b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 22:46:07 2009 +0200 Obsolete test programs removed. --- tests/Grid/Makefile.am | 4 - tests/Grid/coveringbox1.cc | 346 ------------------ tests/Grid/coveringbox2.cc | 846 -------------------------------------------- 3 files changed, 0 insertions(+), 1196 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b61a3356…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Merge branch 'master' into bounded_arithmetic
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 42eb3a3d2ab598be84c7dbc145a983265fc6ed29 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42eb3a3d2ab5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 20:58:45 2009 +0200 Merge branch 'master' into bounded_arithmetic ---

1 0

[GIT] ppl/ppl(bounded_arithmetic): Renamed some pleonastic identifiers. Fixed some comments.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 453d5f2f3a322c55bc2a702567f7f08f5b0bfe0d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=453d5f2f3a32… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 14:22:00 2009 +0200 Renamed some pleonastic identifiers. Fixed some comments. --- interfaces/C/ppl_c_implementation_common.cc | 6 +- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 18 ++-- .../Fake_Class_for_Doxygen.java | 31 +++--- ...l_interface_generator_java_classes_java_code.m4 | 8 +- src/Any_Pointset.defs.hh | 42 ++++---- src/BD_Shape.defs.hh | 38 ++++---- src/BD_Shape.templates.hh | 86 +++++++++--------- src/Box.defs.hh | 38 ++++---- src/Box.templates.hh | 82 ++++++++-------- src/Grid.defs.hh | 60 ++++++------ src/Grid_Generator_System.cc | 18 ++-- src/Grid_Generator_System.defs.hh | 4 +- src/Grid_chdims.cc | 47 +++++----- src/Grid_public.cc | 12 +- src/Octagonal_Shape.defs.hh | 38 ++++---- src/Octagonal_Shape.templates.hh | 98 ++++++++++---------- src/Partially_Reduced_Product.defs.hh | 38 ++++---- src/Partially_Reduced_Product.inlines.hh | 21 ++-- src/Pointset_Ask_Tell.defs.hh | 14 ++-- src/Pointset_Ask_Tell.templates.hh | 12 +- src/Pointset_Powerset.defs.hh | 51 +++++----- src/Pointset_Powerset.templates.hh | 27 +++--- src/Polyhedron.defs.hh | 60 ++++++------ src/Polyhedron_chdims.cc | 58 ++++++------ src/Polyhedron_public.cc | 18 ++-- 25 files changed, 460 insertions(+), 465 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=453d5f2f…

1 0