October 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Unwanted, commented-out code removed.
by Roberto Bagnara 28 Oct '11

28 Oct '11

Module: ppl/ppl Branch: master Commit: a484f5db19949f35735cedfe84f882a8d56ff67d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a484f5db1994… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 28 06:32:03 2011 +0200 Unwanted, commented-out code removed. Detected by ECLAIR service cmntdout. (Thanks to Roberto Amadini.) --- src/BD_Shape.templates.hh | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-) diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index 7c1d30b..0635784 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -4347,10 +4347,6 @@ void BD_Shape<T> ::two_variables_affine_form_image(const dimension_type& var_id, const Linear_Form< Interval<T, Interval_Info> >& lf, const dimension_type& space_dim) { - - // Remove all constraints on 'var'. - //forget_all_dbm_constraints(var_id); - // Shortest-path closure is maintained, but not reduction. if (marked_shortest_path_reduced()) reset_shortest_path_reduced();

1 0

[GIT] ppl/ppl(master): Removed commented out line of code that was introduced in the debugging phase .
by Enea Zaffanella 27 Oct '11

27 Oct '11

Module: ppl/ppl Branch: master Commit: 2e3166f54c69b3c7dfb48ab7cd94cfe6b45a2e55 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e3166f54c69… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Oct 27 09:54:14 2011 +0200 Removed commented out line of code that was introduced in the debugging phase. Detected by ECLAIR service cmntdout. --- src/termination.cc | 1 - 1 files changed, 0 insertions(+), 1 deletions(-) diff --git a/src/termination.cc b/src/termination.cc index f37c76f..5ea3d02 100644 --- a/src/termination.cc +++ b/src/termination.cc @@ -875,7 +875,6 @@ all_affine_ranking_functions_PR_original(const Constraint_System& cs, // lambda_2 corresponds to space dimensions m, ..., 2*m-1. Variables_Set lambda1(Variable(0), Variable(m-1)); ph.remove_space_dimensions(lambda1); - //ph.remove_higher_space_dimensions(m); #if PRINT_DEBUG_INFO std::cout << "*** ph ***" << std::endl;

1 0

[GIT] ppl/ppl(master): Do rename HAVE_DECL_SETRLIMIT.
by Roberto Bagnara 26 Oct '11

26 Oct '11

Module: ppl/ppl Branch: master Commit: d5d512deb4d04f0cf2fc6ce9a2c792cb09fd5475 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5d512deb4d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 26 21:37:08 2011 +0200 Do rename HAVE_DECL_SETRLIMIT. Detected by ECLAIR service idntvcbl. --- ppl-config.sed | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/ppl-config.sed b/ppl-config.sed index 95f8ae1..0cbe5d5 100644 --- a/ppl-config.sed +++ b/ppl-config.sed @@ -10,6 +10,7 @@ s/\([^A-Z_]\)HAVE_DECL_RLIMIT_AS/\1PPL_HAVE_DECL_RLIMIT_AS/g s/\([^A-Z_]\)HAVE_DECL_RLIMIT_DATA/\1PPL_HAVE_DECL_RLIMIT_DATA/g s/\([^A-Z_]\)HAVE_DECL_RLIMIT_RSS/\1PPL_HAVE_DECL_RLIMIT_RSS/g s/\([^A-Z_]\)HAVE_DECL_RLIMIT_VMEM/\1PPL_HAVE_DECL_RLIMIT_VMEM/g +s/\([^A-Z_]\)HAVE_DECL_SETRLIMIT/\1PPL_HAVE_DECL_SETRLIMIT/g s/\([^A-Z_]\)HAVE_DECL_SIGACTION/\1PPL_HAVE_DECL_SIGACTION/g s/\([^A-Z_]\)HAVE_DECL_STRTOD/\1PPL_HAVE_DECL_STRTOD/g s/\([^A-Z_]\)HAVE_DECL_STRTOF/\1PPL_HAVE_DECL_STRTOF/g

1 0

10 years of PPL
by Roberto Bagnara 26 Oct '11

26 Oct '11

PPL 0.1 was released on October 24th, 2001. Happy birthday, PPL! -- 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(master): Web site URI updated.
by Roberto Bagnara 25 Oct '11

25 Oct '11

1 0

[GIT] ppl/ppl(master): Temporary list of words allowed in comments and to compose identifiers.
by Roberto Bagnara 25 Oct '11

25 Oct '11

Module: ppl/ppl Branch: master Commit: 4079afb77c67f23f23d12a836c9029a6c424b336 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4079afb77c67… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 25 15:05:26 2011 +0200 Temporary list of words allowed in comments and to compose identifiers. --- devtools/good_words | 168 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 168 insertions(+), 0 deletions(-) diff --git a/devtools/good_words b/devtools/good_words new file mode 100644 index 0000000..6e31b06 --- /dev/null +++ b/devtools/good_words @@ -0,0 +1,168 @@ +ac +addmod +addmul +alloc +ansi +antoine +argc +argv +autoheader +biggl +biggr +bigl +bigm +bigoplus +bigr +bindir +bnot +bor +bugs +bxor +caml +casting +cdot +cend +cflags +ciao +command +confined +conform +conforms +cousot +cplusplus +cppflags +credits +csh +cstdarg +cxxflags +defeq +defs +denorm +develop +development +downarrow +driven +duplicating +effective +endcode +endian +endverbatim +fatal +files +floats +forall +getrlimit +glpk +hh +hideinitializer +highly +home +idefs +iff +indirectly +interfere +intervalized +java +langle +ldflags +ldots +letters +lfloor +lib +libdir +libstdc +libtool +lift +macros +makefile +mapsto +mathbf +mathit +mathop +mathord +mathrel +mathrm +mathtt +metaprogramming +mine +motorola +namespaces +notin +objdir +ocaml +official +operand +operands +ostream +ostringstream +outputs +overapproximate +overapproximated +overapproximates +overapproximation +overline +papadimitriou +pattern +pedantic +pmod +popcount +portray +postdecrement +predefined +prefixes +processor +prolog +proof +pwl +rangle +rbegin +reports +rfloor +rhs +rightarrow +rlimit +scriptstyle +sent +setrlimit +sh +sicstus +sigalrm +siginfo +signum +sigprof +sigset +situations +snapshots +sound +spells +spurious +src +sseq +sstream +stderr +stdexcept +stdint +stdlib +strcaseeq +strcmp +strtod +strtof +strtold +strtoll +strtoull +swi +tags +textrm +thesis +uninstalled +unistd +unlikely +uparrow +varepsilon +varid +vc +vfprintf +whatsoever +wide +yap +yielding

1 0

[GIT] ppl/ppl(master): An initial vocabulary for the PPL.
by Roberto Bagnara 25 Oct '11

25 Oct '11

Module: ppl/ppl Branch: master Commit: 6347ff1e2c8ba2efc185db4f0c58306d1abbfb8f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6347ff1e2c8b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 25 12:11:33 2011 +0200 An initial vocabulary for the PPL. --- devtools/vocabulary | 3672 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 3672 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=6347ff1e…

1 0

[GIT] ppl/ppl(master): Make sure all the uses of macro arguments are surrounded by parentheses.
by Roberto Bagnara 21 Oct '11

21 Oct '11

Module: ppl/ppl Branch: master Commit: 2997c02bb8cbd547dc6a368234d4468b31c78cbf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2997c02bb8cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 21 20:27:16 2011 +0200 Make sure all the uses of macro arguments are surrounded by parentheses. --- configure.ac | 2 + src/Checked_Number.inlines.hh | 7 +- src/Temp.inlines.hh | 4 +- src/checked.defs.hh | 187 +++++++++++++++++++++++------------------ src/checked.inlines.hh | 5 +- src/compiler.hh | 3 +- src/globals.defs.hh | 20 +++-- src/meta_programming.hh | 6 +- 8 files changed, 134 insertions(+), 100 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2997c02b…

1 0

[GIT] ppl/ppl(master): Fixed a bug whereby a wrong computational weight was computed due to missing parentheses around a macro argument .
by Roberto Bagnara 21 Oct '11

21 Oct '11

Module: ppl/ppl Branch: master Commit: 8014bfef880f3b3dc0be3ee29b2c7d82472ba222 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8014bfef880f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 21 17:45:17 2011 +0200 Fixed a bug whereby a wrong computational weight was computed due to missing parentheses around a macro argument. Detected by ECLAIR service macrbody. --- src/globals.defs.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/globals.defs.hh b/src/globals.defs.hh index 310f133..6c45381 100644 --- a/src/globals.defs.hh +++ b/src/globals.defs.hh @@ -158,11 +158,11 @@ extern unsigned int in_assert; #define WEIGHT_BEGIN() #define WEIGHT_ADD(delta) \ do { \ - Weightwatch_Traits::weight += delta; \ + Weightwatch_Traits::weight += (delta); \ } while(0) #define WEIGHT_ADD_MUL(delta, factor) \ do { \ - Weightwatch_Traits::weight += delta * factor; \ + Weightwatch_Traits::weight += (delta)*(factor); \ } while(0) #endif #else

1 0

[GIT] ppl/ppl(master): Very long line shortened.
by Roberto Bagnara 21 Oct '11

21 Oct '11

Module: ppl/ppl Branch: master Commit: 5295880df1fc9f3a0fee656e9390c76fbb6f0984 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5295880df1fc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 21 16:36:01 2011 +0200 Very long line shortened. --- src/Checked_Number.inlines.hh | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/Checked_Number.inlines.hh b/src/Checked_Number.inlines.hh index 4364900..7c8e7cc 100644 --- a/src/Checked_Number.inlines.hh +++ b/src/Checked_Number.inlines.hh @@ -115,7 +115,8 @@ template <typename T, typename Policy> \ inline \ Checked_Number<T, Policy>::Checked_Number(const type x, Rounding_Dir dir) { \ Policy::handle_result \ - (check_result(Checked::assign_ext<Policy, Checked_Number_Transparent_Policy<type> > \ + (check_result(Checked::assign_ext<Policy, \ + Checked_Number_Transparent_Policy<type> > \ (v, x, rounding_dir(dir)), \ dir)); \ } \ @@ -124,7 +125,8 @@ inline \ Checked_Number<T, Policy>::Checked_Number(const type x) { \ Rounding_Dir dir = Policy::ROUND_DEFAULT_CONSTRUCTOR; \ Policy::handle_result \ - (check_result(Checked::assign_ext<Policy, Checked_Number_Transparent_Policy<type> > \ + (check_result(Checked::assign_ext<Policy, \ + Checked_Number_Transparent_Policy<type> > \ (v, x, rounding_dir(dir)), \ dir)); \ }

1 0