March 2012 Archives by author
Starting: Thu Mar 1 22:36:59 CET 2012
Ending: Sat Mar 31 21:27:18 CEST 2012
Messages: 120
- [PPL-devel] [GIT] ppl/ppl(master): Fixed licenses text.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid needless macro complexity.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added some missing parenthesis.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Removed extra parenthesis.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed indentation.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed debugging code.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Output is exact also with some added needless zeroes .
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Surround non integer costants with a cast to boundary type.
Abramo Bagnara
- [PPL-devel] Fwd: Question regarding OCaml Interface of PPL
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing full-stop in comment.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Do use the notation "[l, u]" to denote the closed interval with boundaries `l' and `u'.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Old FIXMEs dealt with.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Comment corrected.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Commented-out code removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Comments simplified.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): String fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Identifier fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Predicates renamed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Typos fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use variables instead of repetition.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Removed bogus use of EXTRA_DIST.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated: we no longer use CVS.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Made uniform as far as the copyright message and licensing conditions are concerned .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Standardized copyright messages.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing paragraph.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use consistent formatting for the FDL.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Blank line added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Wording fixed/improved.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use a consistent formatting.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated two spurious references to FDL 1.1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Copyright wording fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Cleaned.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): URL fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use a canonical FDL text.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Man pages updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Sentence revised.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Text revised.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): This file is not part of the Parma Polyhedra Library .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed lots of parameter names.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed lots of parameter names.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Portability improved.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added `@extra_includes@' to `AM_CPPFLAGS'.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed debugging code.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Useless declarations removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing link options.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing uses of `$EXEEXT'.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Remove the drive indication SWI-Prolog prepends to the PLBASE path under Windows .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Make sure the trailing ^M are suppressed under Windows.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Cater for versions of SWI-Prolog configured with `--disable-libdirversion' .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Only build `ppl_pl' for checking and install it only when shared libraries are disabled.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Keep macro names within the PPL namespace.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Removed unused parameter name.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Do not rely on doubles being supported.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Do not assume doubles are supported.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Parameter name fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): On machines where float is supported and double is not supported, test01() can yield results that are significantly less precise.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): On machines where float is supported and double is not supported, test01() can yield results that are significantly less precise.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Version number bumped.
Roberto Bagnara
- [PPL-devel] PPL v0.11.2 test failure
Roberto Bagnara
- [PPL-devel] PPL 1 test (linearize) failed
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): New commits
Roberto Bagnara
- [PPL-devel] [PPL] Thread safety with Java API?
Rémi Delmas
- [PPL-devel] PPL 0.12 - 1 of 202 Polyhedron tests failed
Tim Donahue
- [PPL-devel] [GIT] ppl/ppl(master): Ensure parameters in macro bodies are parenthesized appropriately.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Ensure parameters in bodies of macros are parenthesized.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Ensure macro parameters in macro bodies are in parentheses.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Added parentheses and improved formatting.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Added missing parentheses.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Added comments.
Patricia Hill
- [PPL-devel] PPL 1 test (linearize) failed
Enric Caussa Morales
- [PPL-devel] PPL v0.11.2 test failure
Anil Sahukar
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit coversion to bool.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversions to bool.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit cast narrowing a signed integer value .
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Removed unused static const data member.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversions to bool ( prefer explicit tests against zero).
Enea Zaffanella
- [PPL-devel] Fwd: Question regarding OCaml Interface of PPL
Enea Zaffanella
- [PPL-devel] Fwd: Question regarding OCaml Interface of PPL
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Renamed Box methods get_{upper, lower}_bound() as has_{upper, lower}_bound().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer testing explicitly against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversion from boolean to integral.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversions to bool.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added Box methods has_{upper, lower}_bound to C language interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added Box method has_{upper, lower}_bound to Java language interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added Box method has_{upper. lower}_bound to OCaml and Prolog lang interfaces.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Modified interface for Box<ITV>::has_{upper, lower}_bound.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Improved documentation for Box<ITV>::has_{upper, lower}_bound().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed a couple of typos.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Added test showing an assertion crashing in Linear_System:: remove_row_no_ok().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Do not call is_sorted() in method remove_row_no_check().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Improved documentation for {Dense, Sparse}_Row::add_zeroes_and_shift().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Weaken assertion in Linear_System<Row>:: shift_space_dimensions().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Restored the build.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Corrected test for has_{upper, lower}_bound so as to avoid calling
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Prefer pre-increment to post-increment.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Corrected wrong assertion after call to Grid:: simplify().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Restored (after adapting it) commented out code.
Enea Zaffanella
- [PPL-devel] PPL 0.12 - 1 of 202 Polyhedron tests failed
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Use macro PPL_USED.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Corrected name of Doxygen documentation group.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed typo in documentation ( causing a Doxygen warning).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Improved documentation formatting using Doxygen command \tparam.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Use Doxygen command \class for declared-but-undefined class templates.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Further improvements to documentation of helper functions.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): No longer using the installdox command ( deprecated and subject to removal).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Doxygen \relates command can not be used with enumerated types.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Simplified INPUT tag values in devref manuals' Doxygen configuration files.
Enea Zaffanella
- [PPL-devel] PPL 1 test (linearize) failed
ppl-devel at cs.unipr.it
Last message date:
Sat Mar 31 21:27:18 CEST 2012
Archived on: Sun Mar 6 09:35:47 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).