March 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/w3ppl(master): Translate .cvsignore files into .gitignore files.
by Enea Zaffanella 22 Mar '09

22 Mar '09

Module: ppl/w3ppl Branch: master Commit: 57f6ce3c6d33a59c9d4fdb99ae358e543faf3ba4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=57f6ce3c6d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 12:33:52 2009 +0100 Translate .cvsignore files into .gitignore files. --- htdocs/.gitignore | 2 ++ htdocs/Documentation/.gitignore | 2 ++ htdocs/images/abstractions/.gitignore | 15 +++++++++++++++ 3 files changed, 19 insertions(+), 0 deletions(-) diff --git a/htdocs/.gitignore b/htdocs/.gitignore new file mode 100644 index 0000000..7291bbd --- /dev/null +++ b/htdocs/.gitignore @@ -0,0 +1,2 @@ +.depend +*.html diff --git a/htdocs/Documentation/.gitignore b/htdocs/Documentation/.gitignore new file mode 100644 index 0000000..0ecb0b3 --- /dev/null +++ b/htdocs/Documentation/.gitignore @@ -0,0 +1,2 @@ +bibliography.raw +citations.raw diff --git a/htdocs/images/abstractions/.gitignore b/htdocs/images/abstractions/.gitignore new file mode 100644 index 0000000..d5987fa --- /dev/null +++ b/htdocs/images/abstractions/.gitignore @@ -0,0 +1,15 @@ +abstractions.aux +abstractions.dvi +abstractions.log +abstractions.ps +abstractions_bboxes.gif +abstractions_bdiffs.gif +abstractions_noabstr.gif +abstractions_octagons.gif +abstractions_polys.gif +abstractions_rcongrs.gif +abstractions_scongrs.gif +abstractions_signs.gif +abstractions_tcongrs.gif +abstractions_zpolys1.gif +abstractions_zpolys2.gif

1 0

[GIT] ppl/w3ppl(master): Mention the bug affecting drop_disjunct in some language interfaces.
by Enea Zaffanella 22 Mar '09

22 Mar '09

Module: ppl/w3ppl Branch: master Commit: 1cbe2312120dd5f651fe3ee80869970e562a27ed URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=1cbe231212… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 11:51:01 2009 +0100 Mention the bug affecting drop_disjunct in some language interfaces. --- htdocs/Bugs/Bugs.raw | 9 +++++++++ htdocs/Bugs/archive.raw | 9 +++++++++ 2 files changed, 18 insertions(+), 0 deletions(-) diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index a406608..88b5e84 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -50,6 +50,15 @@ affecting various releases of the PPL. <DL> +<DT>March 22, 2009</DT> +<DD> +Found a bug affecting the Java, OCaml and Prolog language interfaces +whereby the method/function/predicate for dropping a disjunct from +a Pointset_Powerset object were returning an invalid iterator. +The bug has been corrected in the git master branch +(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a6734db48e2…">6a6734db48e2ca605dfc27ce5f1a923eb867ed25</A>). +</DD> + <DT>February 3, 2009</DT> <DD> Found a bug affecting PPL 0.10 and the CVS head version diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index 317b749..7bffb9f 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -10,6 +10,15 @@ for various versions of the PPL. <DL> +<DT>March 22, 2009</DT> +<DD> +Found a bug affecting the Java, OCaml and Prolog language interfaces +whereby the method/function/predicate for dropping a disjunct from +a Pointset_Powerset object were returning an invalid iterator. +The bug has been corrected in the git master branch +(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a6734db48e2…">6a6734db48e2ca605dfc27ce5f1a923eb867ed25</A>). +</DD> + <DT>February 3, 2009</DT> <DD> Found a bug affecting PPL 0.10 and the CVS head version

1 0

[GIT] ppl/ppl(master): FIXME resolved. Fixed a bug in Linear_Expression( Variable v, Variable w).
by Roberto Bagnara 22 Mar '09

22 Mar '09

Module: ppl/ppl Branch: master Commit: cb448212741bfb74cf3538cef7ffc32ff184cf34 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb448212741b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 12:21:32 2009 +0100 FIXME resolved. Fixed a bug in Linear_Expression(Variable v, Variable w). The bug would cause a wrong result to be computed when v == w. --- src/Linear_Expression.cc | 17 ++++++++++++++ src/Linear_Expression.defs.hh | 2 + src/Linear_Expression.inlines.hh | 17 ++++---------- tests/Polyhedron/.gitignore | 2 +- tests/Polyhedron/Makefile.am | 4 +- tests/Polyhedron/linearexpression1.cc | 39 ++++++++++++++++++++++----------- 6 files changed, 53 insertions(+), 28 deletions(-) diff --git a/src/Linear_Expression.cc b/src/Linear_Expression.cc index 5ba3ccc..aabaad5 100644 --- a/src/Linear_Expression.cc +++ b/src/Linear_Expression.cc @@ -119,6 +119,23 @@ PPL::operator+(Coefficient_traits::const_reference n, return r; } +/*! \relates Linear_Expression */ +PPL::Linear_Expression +PPL::operator+(const Variable v, const Variable w) { + const dimension_type v_space_dim = v.space_dimension(); + const dimension_type w_space_dim = w.space_dimension(); + const dimension_type space_dim = std::max(v_space_dim, w_space_dim); + if (space_dim > Linear_Expression::max_space_dimension()) + throw std::length_error("Linear_Expression " + "PPL::operator+(v, w):\n" + "v or w exceed the maximum allowed " + "space dimension."); + Linear_Expression r(space_dim+1, true); + ++r[v_space_dim]; + ++r[w_space_dim]; + return r; +} + /*! \relates Parma_Polyhedra_Library::Linear_Expression */ PPL::Linear_Expression PPL::operator-(const Linear_Expression& e) { diff --git a/src/Linear_Expression.defs.hh b/src/Linear_Expression.defs.hh index 9fcc77a..db4af74 100644 --- a/src/Linear_Expression.defs.hh +++ b/src/Linear_Expression.defs.hh @@ -408,6 +408,8 @@ private: operator+(Coefficient_traits::const_reference n, const Linear_Expression& e); friend Linear_Expression operator+(const Linear_Expression& e, Coefficient_traits::const_reference n); + friend Linear_Expression + operator+(Variable v, Variable w); friend Linear_Expression operator-(const Linear_Expression& e); diff --git a/src/Linear_Expression.inlines.hh b/src/Linear_Expression.inlines.hh index f1fb619..a5da9d2 100644 --- a/src/Linear_Expression.inlines.hh +++ b/src/Linear_Expression.inlines.hh @@ -47,14 +47,14 @@ Linear_Expression::Linear_Expression(dimension_type sz, bool) inline Linear_Expression::Linear_Expression(const Variable v) : Linear_Row(v.space_dimension() <= max_space_dimension() - ? v.id() + 2 + ? v.space_dimension() + 1 : (throw std::length_error("PPL::Linear_Expression::" "Linear_Expression(v):\n" "v exceeds the maximum allowed " "space dimension."), - v.id() + 2) + v.space_dimension() + 1) , Linear_Row::Flags()) { - (*this)[v.id() + 1] = 1; + ++((*this)[v.space_dimension()]); } inline @@ -70,8 +70,8 @@ Linear_Expression::Linear_Expression(const Variable v, const Variable w) "space dimension."); construct(space_dim+1, Linear_Row::Flags()); if (v_space_dim != w_space_dim) { - (*this)[v_space_dim] = 1; - (*this)[w_space_dim] = -1; + ++((*this)[v_space_dim]); + --((*this)[w_space_dim]); } } @@ -143,13 +143,6 @@ operator+(const Linear_Expression& e, Coefficient_traits::const_reference n) { /*! \relates Linear_Expression */ inline Linear_Expression -operator+(const Variable v, const Variable w) { - // FIXME(0.10.1): provide a better implementation. - return Linear_Expression(v) + Linear_Expression(w); -} - -/*! \relates Linear_Expression */ -inline Linear_Expression operator+(const Variable v, const Linear_Expression& e) { // FIXME(0.10.1): provide a better implementation. return e + Linear_Expression(v); diff --git a/tests/Polyhedron/.gitignore b/tests/Polyhedron/.gitignore index 69b05a3..8fa7846 100644 --- a/tests/Polyhedron/.gitignore +++ b/tests/Polyhedron/.gitignore @@ -72,7 +72,7 @@ limitedh79extrapolation1 linearpartition1 linearsystem1 linearsystem1.dat -linexpression1 +linearexpression1 mapspacedims1 matrix1 matrix1.dat diff --git a/tests/Polyhedron/Makefile.am b/tests/Polyhedron/Makefile.am index 9063201..98c0189 100644 --- a/tests/Polyhedron/Makefile.am +++ b/tests/Polyhedron/Makefile.am @@ -100,7 +100,7 @@ simplifyusingcontext1 \ limitedbhrz03extrapolation1 \ limitedh79extrapolation1 \ linearpartition1 \ -linexpression1 \ +linearexpression1 \ linearsystem1 \ mapspacedims1 \ matrix1 \ @@ -330,7 +330,7 @@ limitedh79extrapolation1_SOURCES = limitedh79extrapolation1.cc linearpartition1_SOURCES = linearpartition1.cc -linexpression1_SOURCES = linexpression1.cc +linearexpression1_SOURCES = linearexpression1.cc linearsystem1_SOURCES = linearsystem1.cc diff --git a/tests/Polyhedron/linearexpression1.cc b/tests/Polyhedron/linearexpression1.cc index 1de2763..84a7f16 100644 --- a/tests/Polyhedron/linearexpression1.cc +++ b/tests/Polyhedron/linearexpression1.cc @@ -52,26 +52,39 @@ test01() { bool test02() { - Variable A(0); - Variable B(15); + Variable A(15); + Variable B(0); Linear_Expression e1 = A; Linear_Expression e2 = B; - Linear_Expression known_result = e1 + e2; + Linear_Expression known_result1 = e1 + e2; - bool ok = EQUIVALENT(A + B, known_result) - && EQUIVALENT(B + A, known_result) - && EQUIVALENT(Linear_Expression(A) + B, known_result) - && EQUIVALENT(B + Linear_Expression(A), known_result) - && EQUIVALENT(A + Linear_Expression(B), known_result) - && EQUIVALENT(Linear_Expression(B) + A, known_result) - && EQUIVALENT(Linear_Expression(B) + Linear_Expression(A), known_result); + bool ok1 = EQUIVALENT(A + B, known_result1) + && EQUIVALENT(B + A, known_result1) + && EQUIVALENT(Linear_Expression(A) + B, known_result1) + && EQUIVALENT(B + Linear_Expression(A), known_result1) + && EQUIVALENT(A + Linear_Expression(B), known_result1) + && EQUIVALENT(Linear_Expression(B) + A, known_result1) + && EQUIVALENT(Linear_Expression(B) + Linear_Expression(A), known_result1); - nout << "*** known_result ***" << endl - << known_result << endl; + nout << "*** known_result1 ***" << endl + << known_result1 << endl; - return ok; + Linear_Expression known_result2 = e1 + e1; + + bool ok2 = EQUIVALENT(A + A, known_result2) + && EQUIVALENT(A + A, known_result2) + && EQUIVALENT(Linear_Expression(A) + A, known_result2) + && EQUIVALENT(A + Linear_Expression(A), known_result2) + && EQUIVALENT(A + Linear_Expression(A), known_result2) + && EQUIVALENT(Linear_Expression(A) + A, known_result2) + && EQUIVALENT(Linear_Expression(A) + Linear_Expression(A), known_result2); + + nout << "*** known_result2 ***" << endl + << known_result2 << endl; + + return ok1 && ok2; } } // namespace

1 0

[GIT] ppl/ppl(master): Mention the bug fixed with Commit: 6a6734db48e2ca605dfc27ce5f1a923eb867ed25
by Enea Zaffanella 22 Mar '09

22 Mar '09

Module: ppl/ppl Branch: master Commit: c6e39bd54c854f964e6f0369e239daf62a2114f6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6e39bd54c85… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 11:27:36 2009 +0100 Mention the bug fixed with Commit: 6a6734db48e2ca605dfc27ce5f1a923eb867ed25 --- NEWS | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 01aeca5..416de2d 100644 --- a/NEWS +++ b/NEWS @@ -78,6 +78,10 @@ o Fixed a bug in the Grid class that affected the methods o Fixed a bug whereby big-endian architectures were not properly recognized by the configuration script. +o Fixed a bug in the Java/OCaml/Prolog interfaces, whereby + the method/function/predicate for dropping a disjunct from a + Pointset_Powerset object were returning an invalid iterator. + -------------------------------------------------------------------------- NEWS for version 0.10 (released on November 4, 2008)

1 0

[GIT] ppl/ppl(master): Corrected a bug in the interfacing of drop_disjunct for Java, Ocaml and Prolog.
by Enea Zaffanella 22 Mar '09

22 Mar '09

Module: ppl/ppl Branch: master Commit: 6a6734db48e2ca605dfc27ce5f1a923eb867ed25 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a6734db48e2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 11:08:55 2009 +0100 Corrected a bug in the interfacing of drop_disjunct for Java, Ocaml and Prolog. Also corrected a wrong test in the automatically generated test suite for the OCaml interface: we were trying to decrement an iterator pointing to the start of the sequence of disjuncts. --- ...ppl_interface_generator_java_classes_cc_code.m4 | 6 +++--- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 2 +- .../ppl_interface_generator_ocaml_test_ml_code.m4 | 18 +++++++++++++++--- .../ppl_interface_generator_prolog_cc_code.m4 | 2 +- 4 files changed, 20 insertions(+), 8 deletions(-) diff --git a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 index 2a289d3..f532e32 100644 --- a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 +++ b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 @@ -165,11 +165,11 @@ m4_define(`ppl_@CLASS@_drop_disjunct_code', JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_@1TOPOLOGY@@1CLASS@_drop_1disjunct (JNIEnv* env, jobject j_this, jobject j_it) try { - @TOPOLOGY@@CPP_CLASS@::iterator* itr_ptr - = reinterpret_cast<@TOPOLOGY@@CPP_CLASS@::iterator*>(get_ptr(env, j_it)); @TOPOLOGY@@CPP_CLASS@* this_ptr = reinterpret_cast<@TOPOLOGY@@CPP_CLASS@*>(get_ptr(env, j_this)); - this_ptr->drop_disjunct(*itr_ptr); + @TOPOLOGY@@CPP_CLASS@::iterator& itr + = *(reinterpret_cast<@TOPOLOGY@@CPP_CLASS@::iterator*>(get_ptr(env, j_it))); + itr = this_ptr->drop_disjunct(itr); } CATCH_ALL diff --git a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 index cdc5e0b..35ff02b 100644 --- a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 +++ b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 @@ -957,7 +957,7 @@ ppl_@CLASS@_drop_disjunct(value t_pps, value caml_item_to_drop) try { CAMLparam2(t_pps, caml_item_to_drop); @CPP_CLASS@& pps = *p_@CLASS@_val(t_pps); @CPP_CLASS@::iterator& itr = *p_@CLASS@_iterator_val(caml_item_to_drop); - pps.drop_disjunct(itr); + itr = pps.drop_disjunct(itr); CAMLreturn0; } CATCH_ALL diff --git a/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml_code.m4 b/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml_code.m4 index df44c04..676d282 100644 --- a/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml_code.m4 +++ b/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml_code.m4 @@ -788,9 +788,21 @@ print_string_if_noisy "\n";; m4_define(`ppl_@CLASS@_@INCDEC@_iterator_code', ` print_string_if_noisy "testing ppl_@CLASS@_@INCDEC@_iterator: " ;; -let it = ppl_@CLASS@_begin_iterator @!CLASS@01;; -ppl_@CLASS@_@INCDEC@_iterator it;; -let out = if (ppl_@CLASS@_OK @!CLASS@01) +let itb = ppl_@CLASS@_begin_iterator @!CLASS@01;; +let it_begin = ppl_@CLASS@_begin_iterator @!CLASS@01;; +let ite = ppl_@CLASS@_end_iterator @!CLASS@01;; +let it_end = ppl_@CLASS@_end_iterator @!CLASS@01;; +let size = ppl_@CLASS@_size @!CLASS@01 in +if (size > 0) + then ( + ppl_@CLASS@_increment_iterator itb; + ppl_@CLASS@_decrement_iterator itb; + ppl_@CLASS@_decrement_iterator ite; + ppl_@CLASS@_increment_iterator ite; + );; +let out = if ((ppl_@CLASS@_OK @!CLASS@01) + & (ppl_@CLASS@_iterator_equals_iterator itb it_begin) + & (ppl_@CLASS@_iterator_equals_iterator ite it_end)) then "success" else "failed" in (print_string_if_noisy out);; print_string_if_noisy "\n";; diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 index 9e81e73..7bec765 100644 --- a/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 +++ b/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 @@ -403,7 +403,7 @@ m4_define(`ppl_@CLASS@_drop_disjunct_code', PPL_CHECK(it); @CPP_CLASS@::iterator& i = *it; - pps->drop_disjunct(i); + i = pps->drop_disjunct(i); return PROLOG_SUCCESS; }

1 0

[GIT] ppl/ppl(master): Reworded misleading comment.
by Enea Zaffanella 22 Mar '09

22 Mar '09

Module: ppl/ppl Branch: master Commit: 364ccfa621c70caefb8b9cbcec2d90c1ad7307d2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=364ccfa621c7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 12:21:34 2009 +0100 Reworded misleading comment. --- src/Pointset_Ask_Tell.templates.hh | 8 +++----- 1 files changed, 3 insertions(+), 5 deletions(-) diff --git a/src/Pointset_Ask_Tell.templates.hh b/src/Pointset_Ask_Tell.templates.hh index d955491..f318439 100644 --- a/src/Pointset_Ask_Tell.templates.hh +++ b/src/Pointset_Ask_Tell.templates.hh @@ -88,11 +88,9 @@ Pointset_Ask_Tell<C_Polyhedron> x.sequence.push_back(Pair(c_ask, c_tell)); } - // FIXME(0.10.1): the following comment should be rephrased! - // Note: this might be non-reduced even when `y' is known to be - // omega-reduced, because the constructor of C_Polyhedron, by - // enforcing topological closure, may have made different elements - // comparable. + // Note: in general, normalization of `y' does not propagate to `x', + // because the approximation potentially introduced by the conversion + // may have made uncomparable elements in `y' to become comparable in `x'. x.normalized = false; assert(x.OK()); }

1 0

[GIT] ppl/ppl(master): Test program renamed.
by Roberto Bagnara 22 Mar '09

22 Mar '09

Module: ppl/ppl Branch: master Commit: db916e5a564125db4e9a9dcdc16b624b9e9a462f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db916e5a5641… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 10:33:41 2009 +0100 Test program renamed. --- .../{linexpression1.cc => linearexpression1.cc} | 0 1 files changed, 0 insertions(+), 0 deletions(-) diff --git a/tests/Polyhedron/linexpression1.cc b/tests/Polyhedron/linearexpression1.cc similarity index 100% rename from tests/Polyhedron/linexpression1.cc rename to tests/Polyhedron/linearexpression1.cc

1 0

[GIT] ppl/ppl(master): Rewritted test01(). Added test02().
by Roberto Bagnara 22 Mar '09

22 Mar '09

Module: ppl/ppl Branch: master Commit: d2ff0ac213711cc1b35ff737f2146a6f0701ac0c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2ff0ac21371… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 10:14:27 2009 +0100 Rewritted test01(). Added test02(). --- tests/Polyhedron/linexpression1.cc | 38 ++++++++++++++++++++++++++++++----- 1 files changed, 32 insertions(+), 6 deletions(-) diff --git a/tests/Polyhedron/linexpression1.cc b/tests/Polyhedron/linexpression1.cc index 283fbd4..1de2763 100644 --- a/tests/Polyhedron/linexpression1.cc +++ b/tests/Polyhedron/linexpression1.cc @@ -24,6 +24,10 @@ site: http://www.cs.unipr.it/ppl/ . */ namespace { +using namespace Parma_Polyhedra_Library::IO_Operators; + +#define EQUIVALENT(le1, le2) (((le1) == 0) == ((le2) == 0)) + // Test operator-=(Linear_Expression& e1, const Linear_Expression& e2): // in this case the dimension of e2 is strictly greater than // the dimension of e1. @@ -36,15 +40,36 @@ test01() { Linear_Expression e2 = B; e1 -= e2; - C_Polyhedron ph(2); - ph.add_constraint(e1 >= 0); + Linear_Expression known_result = A - B; + + bool ok = EQUIVALENT(e1, known_result); + + nout << "*** known_result ***" << endl + << known_result << endl; + + return ok; +} + +bool +test02() { + Variable A(0); + Variable B(15); + + Linear_Expression e1 = A; + Linear_Expression e2 = B; - C_Polyhedron known_result(2); - known_result.add_constraint(A - B >= 0); + Linear_Expression known_result = e1 + e2; - bool ok = (ph == known_result); + bool ok = EQUIVALENT(A + B, known_result) + && EQUIVALENT(B + A, known_result) + && EQUIVALENT(Linear_Expression(A) + B, known_result) + && EQUIVALENT(B + Linear_Expression(A), known_result) + && EQUIVALENT(A + Linear_Expression(B), known_result) + && EQUIVALENT(Linear_Expression(B) + A, known_result) + && EQUIVALENT(Linear_Expression(B) + Linear_Expression(A), known_result); - print_constraints(ph, "*** ph ***"); + nout << "*** known_result ***" << endl + << known_result << endl; return ok; } @@ -53,4 +78,5 @@ test01() { BEGIN_MAIN DO_TEST(test01); + DO_TEST(test02); END_MAIN

1 0

[GIT] ppl/ppl(master): New machinery to create ppl-config.h and pwl-config. h.
by Roberto Bagnara 22 Mar '09

22 Mar '09

Module: ppl/ppl Branch: master Commit: e49e1cd77e7058714c710ec587e0ec969a025381 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e49e1cd77e70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 09:28:36 2009 +0100 New machinery to create ppl-config.h and pwl-config.h. --- .gitignore | 6 +- Makefile.am | 26 +++-- Watchdog/Makefile.am | 21 ++-- Watchdog/configure.ac | 107 +--------------- Watchdog/pwl-config.sed | 21 +++ configure.ac | 335 +---------------------------------------------- ppl-config.sed | 65 +++++++++ 7 files changed, 124 insertions(+), 457 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e49e1cd7…

1 0

[GIT] ppl/ppl(master): Destructor of abstract class Write_Function has to be virtual.
by Enea Zaffanella 21 Mar '09

21 Mar '09

Module: ppl/ppl Branch: master Commit: 471e611fbf18c702d9a26872bc7310e04a4d0f09 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=471e611fbf18… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 21:55:46 2009 +0100 Destructor of abstract class Write_Function has to be virtual. --- src/pretty_print.hh | 2 ++ src/pretty_print.inlines.hh | 4 ++++ 2 files changed, 6 insertions(+), 0 deletions(-) diff --git a/src/pretty_print.hh b/src/pretty_print.hh index de8aa57..f3ac636 100644 --- a/src/pretty_print.hh +++ b/src/pretty_print.hh @@ -48,6 +48,8 @@ public: The number of characters to be taken from \p buf. */ virtual size_t write(const char* buf, size_t size) = 0; + + virtual ~Write_Function(); }; //! Helper function for the wrapping of lines. diff --git a/src/pretty_print.inlines.hh b/src/pretty_print.inlines.hh index 2db1c5e..f0713ee 100644 --- a/src/pretty_print.inlines.hh +++ b/src/pretty_print.inlines.hh @@ -33,6 +33,10 @@ namespace Parma_Polyhedra_Library { namespace IO_Operators { inline +Write_Function::~Write_Function() { +} + +inline Write_To_Stream::Write_To_Stream(std::ostream& str) : os(str) { }

1 0