- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_11-branch): New commits
by Roberto Bagnara 03 Sep '10

03 Sep '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3feffbc17e3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Sep 1 08:36:00 2010 +0200 Improved documentation for number input routine. Added another couple of tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd5bdc7dd6b3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Sep 1 08:18:04 2010 +0200 Let the input routine accept floating-point syntax starting with ".". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c00c6ad02ef6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Aug 31 22:20:12 2010 +0200 Let the input routine for checked numbers accepts C99 hexadecimal float syntax. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eac65c875791… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 30 09:20:53 2010 +0200 Use a convenience library to confine the compilation of glpk_set_d_eps.c. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f078b9a6bcc0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 29 14:32:07 2010 +0200 Started revising the expected results. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=108769b7f3ca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 29 14:10:03 2010 +0200 For checking purposes, use the exact LP solver of GLPK. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12f60158e212… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 29 12:10:11 2010 +0200 When the `--check' option is used, input data is perturbed the same way as GLPK does. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c82a27391846… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Aug 29 11:01:58 2010 +0200 Do also read the inhomogeneous term of the objective function. This should allow for a (almost) meaningful comparison with the optimizied value computed by glpk when using command line option -c. Also corrected a minor bug in the output routine for the objective function (an open parenthesis was sometimes missing). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f75832a600df… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:31:18 2010 +0200 Tightened the implementation of the `--max-memory' option. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95a83d824c7f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:11:34 2010 +0200 Fixed the argument type of limit_virtual_memory(): should be unsigned long. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=309c66893fcd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:05:20 2010 +0200 Put under Git control. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=512ff26f25f4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:00:21 2010 +0200 Fixed the argument type of limit_virtual_memory(): should be unsigned long. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb82804e0fac… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 13:58:44 2010 +0200 Augment the precision with which floating point numbers are printed in error messages. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5f7fe919c77… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 25 18:29:52 2010 +0200 Added $(top_builddir)/src/libppl.la to ppl_lpsol_LDADD. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb8063c03702… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Aug 15 15:24:43 2010 +0200 Improved doxygen docs for Matrix::permute_columns().

1 0

[GIT] ppl/ppl(floating_point): Do not use linear form abstract stores along
by Fabio Bossi 03 Sep '10

03 Sep '10

Module: ppl/ppl Branch: floating_point Commit: 22520a5a072e6b1641b6a94585eb20c6b1cec2e8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22520a5a072e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 3 11:03:16 2010 +0200 Do not use linear form abstract stores along with relational domains. --- tests/Concrete_Expression/digitalfilters1.cc | 75 ++----------------------- 1 files changed, 6 insertions(+), 69 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=22520a5a…

1 0

[GIT] ppl/ppl(master): Improved documentation for number input routine.
by Enea Zaffanella 01 Sep '10

01 Sep '10

Module: ppl/ppl Branch: master Commit: e3feffbc17e3188d86afc86f9457a856163d542a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3feffbc17e3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Sep 1 08:36:00 2010 +0200 Improved documentation for number input routine. Added another couple of tests. --- src/Checked_Number.defs.hh | 4 ++++ tests/Polyhedron/numberinput1.cc | 5 +++++ 2 files changed, 9 insertions(+), 0 deletions(-) diff --git a/src/Checked_Number.defs.hh b/src/Checked_Number.defs.hh index 5bef261..8807f59 100644 --- a/src/Checked_Number.defs.hh +++ b/src/Checked_Number.defs.hh @@ -926,6 +926,10 @@ ascii_dump(std::ostream& s, const T& t); <CODE>16^^1*^2</CODE> (meaning \f$256\f$); - the C-style hexadecimal prefix <CODE>0x</CODE> is interpreted as the Mathematica-style prefix <CODE>16^^</CODE>; + - the C-style binary exponent indicator <CODE>p</CODE> can only be used + when base 16 has been specified; if used, the exponent will be + applied to base 2 (instead of base 16, as is the case when the + indicator <CODE>e</CODE> is used); - special values like <CODE>inf</CODE> and <CODE>+inf</CODE> (meaning \f$+\infty\f$), <CODE>-inf</CODE> (meaning \f$-\infty\f$), and <CODE>nan</CODE> (meaning "not a number"). diff --git a/tests/Polyhedron/numberinput1.cc b/tests/Polyhedron/numberinput1.cc index cfb33e2..f4069c3 100644 --- a/tests/Polyhedron/numberinput1.cc +++ b/tests/Polyhedron/numberinput1.cc @@ -146,6 +146,8 @@ test04() { && aux_test("0.123456 ", "1929/15625", " ", V_EQ) && aux_test(".499975", "19999/40000", "", V_EQ) && aux_test(".333", "333/1000", "", V_EQ) + && aux_test("+.333", "333/1000", "", V_EQ) + && aux_test("-.333", "-333/1000", "", V_EQ) && aux_test(".0x333", "0", "x333", V_EQ); } @@ -195,7 +197,10 @@ test07() { && aux_test("0x0.f", "15/16", "", V_EQ) && aux_test("0x.f", "15/16", "", V_EQ) && aux_test("0x.fp3", "15/2", "", V_EQ) + && aux_test("16^^.fp3", "15/2", "", V_EQ) && aux_test("0x100p-9", "1/2", "", V_EQ) + && aux_test("16^^100p-9", "1/2", "", V_EQ) + && aux_test("100p-9", "nan", "p-9", V_CVT_STR_UNK) && aux_test("0x.f*^1", "15", "", V_EQ) && aux_test("0x-f", "nan", "-f", V_CVT_STR_UNK) && aux_test("0xfa", "250", "", V_EQ)

1 0

[GIT] ppl/ppl(master): Let the input routine accept floating-point syntax starting with ".".
by Enea Zaffanella 01 Sep '10

01 Sep '10

Module: ppl/ppl Branch: master Commit: dd5bdc7dd6b33e94ff4bbf0b3e33d7f791d8e31c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd5bdc7dd6b3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Sep 1 08:18:04 2010 +0200 Let the input routine accept floating-point syntax starting with ".". --- src/checked.cc | 38 +++++++++++++++++++++++--------------- tests/Polyhedron/numberinput1.cc | 6 ++++-- 2 files changed, 27 insertions(+), 17 deletions(-) diff --git a/src/checked.cc b/src/checked.cc index c3ba12f..a36bce4 100644 --- a/src/checked.cc +++ b/src/checked.cc @@ -120,6 +120,12 @@ parse_number_part(std::istream& is, number_struct& num) { c = is.get(); if (c == 'i' || c == 'I') goto inf; + if (c != '.') + break; + // Fall through. + case '.': + state = FRACTIONAL; + c = is.get(); break; case 'n': case 'N': @@ -141,26 +147,28 @@ parse_number_part(std::istream& is, number_struct& num) { goto error; return num.neg_mantissa ? V_EQ_MINUS_INFINITY : V_EQ_PLUS_INFINITY; } - if (get_digit(c, 10) < 0) - goto error; - if (c == '0') { - int d = is.get(); - if (d == 'x' || d == 'X') { - num.base = 16; - num.base_for_exponent = 16; - state = INTEGER; - c = is.get(); + if (state != FRACTIONAL) { + if (get_digit(c, 10) < 0) + goto error; + if (c == '0') { + int d = is.get(); + if (d == 'x' || d == 'X') { + num.base = 16; + num.base_for_exponent = 16; + state = INTEGER; + c = is.get(); + } + else { + c = d; + empty_mantissa = false; + } } else { - c = d; + num.mantissa += (char) c; empty_mantissa = false; + c = is.get(); } } - else { - num.mantissa += (char) c; - empty_mantissa = false; - c = is.get(); - } while (true) { switch (state) { case BASE: diff --git a/tests/Polyhedron/numberinput1.cc b/tests/Polyhedron/numberinput1.cc index cdc43f1..cfb33e2 100644 --- a/tests/Polyhedron/numberinput1.cc +++ b/tests/Polyhedron/numberinput1.cc @@ -144,7 +144,9 @@ test04() { && aux_test("0.123456 101", "1929/15625", " 101", V_EQ) && aux_test("0.123456 101", "1929/15625", " 101", V_EQ) && aux_test("0.123456 ", "1929/15625", " ", V_EQ) - && aux_test(".333", "nan", ".333", V_CVT_STR_UNK); + && aux_test(".499975", "19999/40000", "", V_EQ) + && aux_test(".333", "333/1000", "", V_EQ) + && aux_test(".0x333", "0", "x333", V_EQ); } // Testing exponent. @@ -256,7 +258,7 @@ test09() { bool test10() { return - // Fraction. + // Fraction. aux_test("2^^11.1", "7/2", "", V_EQ) && aux_test("2^^11.1a", "7/2", "a", V_EQ) && aux_test("2^^11.1.", "7/2", ".", V_EQ)

1 0

[GIT] ppl/ppl(master): Let the input routine for checked numbers accepts C99 hexadecimal float syntax .
by Enea Zaffanella 31 Aug '10

31 Aug '10

Module: ppl/ppl Branch: master Commit: c00c6ad02ef68fb19f2692ff0ff0d290d203673b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c00c6ad02ef6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Aug 31 22:20:12 2010 +0200 Let the input routine for checked numbers accepts C99 hexadecimal float syntax. --- src/Checked_Number.defs.hh | 6 +++--- src/checked.cc | 29 ++++++++++++++++++++++------- tests/Polyhedron/numberinput1.cc | 2 ++ 3 files changed, 27 insertions(+), 10 deletions(-) diff --git a/src/Checked_Number.defs.hh b/src/Checked_Number.defs.hh index 514732d..5bef261 100644 --- a/src/Checked_Number.defs.hh +++ b/src/Checked_Number.defs.hh @@ -960,9 +960,9 @@ num : unum | '+' | SIGN unum ; unum : unum1 EXP : 'e' - | HEX unum1 | '*^' - | base BASE unum1 ; - ; + | HEX unum1 | 'p' + | base BASE unum1 | '*^' + ; ; POINT : '.' unum1 : mantissa ; | mantissa EXP exponent diff --git a/src/checked.cc b/src/checked.cc index 9e32beb..c3ba12f 100644 --- a/src/checked.cc +++ b/src/checked.cc @@ -40,6 +40,7 @@ struct number_struct { bool neg_mantissa; bool neg_exponent; std::string mantissa; + unsigned int base_for_exponent; unsigned long exponent; }; @@ -100,7 +101,9 @@ parse_number_part(std::istream& is, number_struct& num) { bool empty_exponent = true; bool empty_mantissa = true; long exponent_offset = 0; + long exponent_offset_scale = 1; num.base = 10; + num.base_for_exponent = 10; num.neg_mantissa = false; num.neg_exponent = false; num.mantissa.erase(); @@ -144,6 +147,7 @@ parse_number_part(std::istream& is, number_struct& num) { int d = is.get(); if (d == 'x' || d == 'X') { num.base = 16; + num.base_for_exponent = 16; state = INTEGER; c = is.get(); } @@ -179,6 +183,7 @@ parse_number_part(std::istream& is, number_struct& num) { } if (num.base < 2) goto error; + num.base_for_exponent = num.base; num.mantissa.erase(); empty_mantissa = true; state = INTEGER; @@ -210,7 +215,16 @@ parse_number_part(std::istream& is, number_struct& num) { if (empty_mantissa) goto error; if (c == 'e' || c == 'E') - goto exp; + goto exp; + if (c == 'p' || c == 'P') { + if (num.base == 16) { + num.base_for_exponent = 2; + exponent_offset_scale = 4; + goto exp; + } + else + goto error; + } if (c == '*') { c = is.get(); if (c != '^') @@ -263,7 +277,7 @@ parse_number_part(std::istream& is, number_struct& num) { else neg = false; sum_sign(num.neg_exponent, num.exponent, - neg, exponent_offset); + neg, exponent_offset * exponent_offset_scale); return V_EQ; } @@ -292,7 +306,8 @@ parse_number(std::istream& is, number_struct& num, number_struct& den) { r = parse_number_part(is, den); if (r != V_EQ) return V_CVT_STR_UNK; - if (num.base == den.base) { + if (num.base == den.base + && num.base_for_exponent == den.base_for_exponent) { if (sum_sign(num.neg_exponent, num.exponent, !den.neg_exponent, den.exponent)) { if (num.neg_exponent) { @@ -333,14 +348,14 @@ input_mpq(mpq_class& to, std::istream& is) { mpz_t z; mpz_init(z); if (num_struct.exponent) { - mpz_ui_pow_ui(z, num_struct.base, num_struct.exponent); + mpz_ui_pow_ui(z, num_struct.base_for_exponent, num_struct.exponent); if (num_struct.neg_exponent) mpz_mul(den, den, z); else mpz_mul(num, num, z); } if (den_struct.exponent) { - mpz_ui_pow_ui(z, den_struct.base, den_struct.exponent); + mpz_ui_pow_ui(z, den_struct.base_for_exponent, den_struct.exponent); if (den_struct.neg_exponent) mpz_mul(num, num, z); else @@ -355,13 +370,13 @@ input_mpq(mpq_class& to, std::istream& is) { if (num_struct.exponent) { if (num_struct.neg_exponent) { // Add the negative exponent as a denominator. - mpz_ui_pow_ui(den, num_struct.base, num_struct.exponent); + mpz_ui_pow_ui(den, num_struct.base_for_exponent, num_struct.exponent); goto end; } // Multiply the exponent into the numerator. mpz_t z; mpz_init(z); - mpz_ui_pow_ui(z, num_struct.base, num_struct.exponent); + mpz_ui_pow_ui(z, num_struct.base_for_exponent, num_struct.exponent); mpz_mul(num, num, z); mpz_clear(z); } diff --git a/tests/Polyhedron/numberinput1.cc b/tests/Polyhedron/numberinput1.cc index e98a2f7..cdc43f1 100644 --- a/tests/Polyhedron/numberinput1.cc +++ b/tests/Polyhedron/numberinput1.cc @@ -192,6 +192,8 @@ test07() { && aux_test("0xx", "nan", "x", V_CVT_STR_UNK) && aux_test("0x0.f", "15/16", "", V_EQ) && aux_test("0x.f", "15/16", "", V_EQ) + && aux_test("0x.fp3", "15/2", "", V_EQ) + && aux_test("0x100p-9", "1/2", "", V_EQ) && aux_test("0x.f*^1", "15", "", V_EQ) && aux_test("0x-f", "nan", "-f", V_CVT_STR_UNK) && aux_test("0xfa", "250", "", V_EQ)

1 0

[GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices
by Roberto Bagnara 30 Aug '10

30 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: 2383538528e5352f404923d2b919fe970658611b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2383538528e5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 30 09:24:00 2010 +0200 Merge branch 'master' into sparse_matrices ---

1 0

[GIT] ppl/ppl(sparse_matrices): Use a convenience library to confine the compilation of glpk_set_d_eps.c.
by Roberto Bagnara 30 Aug '10

30 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: eac65c875791c7ad6065a918cada3783f487f706 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eac65c875791… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 30 09:20:53 2010 +0200 Use a convenience library to confine the compilation of glpk_set_d_eps.c. --- demos/ppl_lpsol/Makefile.am | 20 ++++++++++++-------- 1 files changed, 12 insertions(+), 8 deletions(-) diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am index a8c234f..1365fa2 100644 --- a/demos/ppl_lpsol/Makefile.am +++ b/demos/ppl_lpsol/Makefile.am @@ -42,27 +42,31 @@ AM_CPPFLAGS = \ -I$(top_builddir)/interfaces/C \ @extra_includes@ -if GCC - -# We cannot use -std=c89 because of the definition of sigaction in <signal.h>. -AM_CFLAGS = -pedantic -std=gnu89 -Werror - -endif GCC - bin_PROGRAMS = ppl_lpsol # dummy.cc serves the only purpose to force linking using the C++ compiler. ppl_lpsol_SOURCES = \ ppl_lpsol.c \ -glpk_set_d_eps.c \ dummy.cc +if GCC + +# We cannot use -std=c89 because of the definition of sigaction in <signal.h>. +ppl_lpsol_CFLAGS = -pedantic -std=gnu89 -Werror + +endif GCC + ppl_lpsol_LDADD = \ +libglpk_set_d_eps.a \ -lglpk \ $(top_builddir)/interfaces/C/libppl_c.la \ $(top_builddir)/src/libppl.la \ @extra_libraries@ +noinst_LIBRARIES = libglpk_set_d_eps.a +libglpk_set_d_eps_a_SOURCES = \ +glpk_set_d_eps.c + dist_man_MANS = \ ppl_lpsol.1

1 0

[GIT] ppl/ppl(master): Use a convenience library to confine the compilation of glpk_set_d_eps.c.
by Roberto Bagnara 30 Aug '10

30 Aug '10

Module: ppl/ppl Branch: master Commit: eac65c875791c7ad6065a918cada3783f487f706 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eac65c875791… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 30 09:20:53 2010 +0200 Use a convenience library to confine the compilation of glpk_set_d_eps.c. --- demos/ppl_lpsol/Makefile.am | 20 ++++++++++++-------- 1 files changed, 12 insertions(+), 8 deletions(-) diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am index a8c234f..1365fa2 100644 --- a/demos/ppl_lpsol/Makefile.am +++ b/demos/ppl_lpsol/Makefile.am @@ -42,27 +42,31 @@ AM_CPPFLAGS = \ -I$(top_builddir)/interfaces/C \ @extra_includes@ -if GCC - -# We cannot use -std=c89 because of the definition of sigaction in <signal.h>. -AM_CFLAGS = -pedantic -std=gnu89 -Werror - -endif GCC - bin_PROGRAMS = ppl_lpsol # dummy.cc serves the only purpose to force linking using the C++ compiler. ppl_lpsol_SOURCES = \ ppl_lpsol.c \ -glpk_set_d_eps.c \ dummy.cc +if GCC + +# We cannot use -std=c89 because of the definition of sigaction in <signal.h>. +ppl_lpsol_CFLAGS = -pedantic -std=gnu89 -Werror + +endif GCC + ppl_lpsol_LDADD = \ +libglpk_set_d_eps.a \ -lglpk \ $(top_builddir)/interfaces/C/libppl_c.la \ $(top_builddir)/src/libppl.la \ @extra_libraries@ +noinst_LIBRARIES = libglpk_set_d_eps.a +libglpk_set_d_eps_a_SOURCES = \ +glpk_set_d_eps.c + dist_man_MANS = \ ppl_lpsol.1

1 0

[GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices
by Roberto Bagnara 29 Aug '10

29 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: 23a67cd07cf8ffa710f3c23ba6ee182aa84d7a57 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23a67cd07cf8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 29 14:32:58 2010 +0200 Merge branch 'master' into sparse_matrices ---

1 0

[GIT] ppl/ppl(sparse_matrices): Started revising the expected results.
by Roberto Bagnara 29 Aug '10

29 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: f078b9a6bcc0c1fa82d474e676e82a8e5dd8d319 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f078b9a6bcc0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 29 14:32:07 2010 +0200 Started revising the expected results. --- demos/ppl_lpsol/.gitignore | 2 +- demos/ppl_lpsol/Makefile.am | 44 +- demos/ppl_lpsol/expected_mpz | 1852 +++++++++++++++++++++++++++++++--------- demos/ppl_lpsol/expected_mpz_a | 1796 +++++++++++++++++++++++++++++++-------- 4 files changed, 2912 insertions(+), 782 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=f078b9a6…

1 0