- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Code layout improved.
by Roberto Bagnara 28 Oct '11

28 Oct '11

Module: ppl/ppl Branch: master Commit: 5084ccde7ea4cdfed1a71dc9944a4777f7ee9e98 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5084ccde7ea4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 28 07:42:28 2011 +0200 Code layout improved. --- src/globals.cc | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/src/globals.cc b/src/globals.cc index 3be1db8..e10cf83 100644 --- a/src/globals.cc +++ b/src/globals.cc @@ -37,8 +37,10 @@ void (*Weightwatch_Traits::check_function)(void) = 0; #ifndef NDEBUG namespace Implementation { + unsigned int in_assert = 0; -} + +} // namespace Implementation #endif } // namespace Parma_Polyhedra_Library

1 0

[GIT] ppl/ppl(master): Use standard notation for pairs.
by Roberto Bagnara 28 Oct '11

28 Oct '11

Module: ppl/ppl Branch: master Commit: 975155b93f219d5b8e5faddbb811c11101e76ffb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=975155b93f21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 28 06:33:57 2011 +0200 Use standard notation for pairs. --- src/CO_Tree.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/CO_Tree.defs.hh b/src/CO_Tree.defs.hh index 5936105..f565ffd 100644 --- a/src/CO_Tree.defs.hh +++ b/src/CO_Tree.defs.hh @@ -75,7 +75,7 @@ namespace Parma_Polyhedra_Library { available caches. Assuming \p n is the number of elements in the tree and \p B is the number - of <dimension_type,Coefficient> pairs that fit in a cache line, the + of (dimension_type, Coefficient) pairs that fit in a cache line, the time and cache misses complexities are the following: - Insertions/Queries/Deletions: \f$O(\log^2 n)\f$ time,

1 0

[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