February 2012 Archives by subject
Starting: Fri Feb 3 10:24:15 CET 2012
Ending: Wed Feb 29 21:41:58 CET 2012
Messages: 211
- [PPL-devel] [GIT] ppl/ppl(master): `#error' messages made consistent.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added '&' prefix to function identifiers that are not used to call the function.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Added '&' prefix to function identifiers that are not used to call the function.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added/fixed some copyright notices.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added `Watchdog' to `SUBDIRS'.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added a default label to switch.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Added a missing project and updated a broken link.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added any_iterator operator+= and operator+ overloadings for unsigned types.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added helper function check_space_dimension_overflow ().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added helper function Implementation:: num_constraints().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added helper function least_significant_one_mask().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added helper function to compute the hash code from a space dimension.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added helper is_space(), to be used instead of directly calling isspace().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added missing parentheses around a macro argument.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing parentheses around a macro arguments.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing template parameter.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added several missing \relates and \ingroup Doxygen commands.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Add the release date for PPL 0.11.2.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid abusing short-circuited logical operators ( prefer explicit control flow).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid abusing sort-circuited logical operators.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid commented-out code.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid commented-out code.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid commented-out code.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoided functional cast. Detected by ECLAIR service castexpr.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversion changing signedness.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversion changing signedness.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversion changing signedness.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversion changing signedness.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversion changing type signedness.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversion changing type signedness.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversions changing integer type signedness.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversions changing integer type signedness.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversions changing integer type signedness.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversions changing integer type signedness.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversions changing type signedness.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid implicit conversions changing type signedness.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid long line.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid long lines and try to improve readability.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid mixing boolean and arithmetic values.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid mixing plain character data with numeric data.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid mixing plain character data with numeric data.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid not needed virtual inheritance.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid null statements that, apart from a comment, are not on a line by themselves.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid pointer casts when allocating coefficients in Dense_Row::Impl.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid to offset iterators twice.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid to use Variable references. Uniformed Variable creations.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid unnamed namespace in header file.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid using functional casts.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Be consistent with the use of attribute weak.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Cater for platforms where no floating-point type is supported.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): CO_Tree and Sparse_Row should only appear in the devref manual.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Code layout fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Code layout made conformat to the coding standard.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Comment punctuation fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Comments improved.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Comments improved.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Completed `ppl_config_SOURCES'.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Completed previous commit, fixing is_{m, p}inf_float.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Declarations that can be moved into a smaller scope have been moved.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Declare pure virtual methods in abstract base classes.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Delimit pseudo-code in non-Doxygen comments within < CODE> </CODE>. Comments improved.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Documented the enumerated values of enum Floating_Point_Format.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Enabled CC76_narrowing_assign for Boxes.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Enclose macro argument in parentheses.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Explicitly state the array size. New option --decl-only.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Exploit new helper function least_significant_one_mask(),
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Exploit operator| overloading for Rounding_Dir.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug in Box<ITV>::upper_bound_assign( _if_exact).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed a few misuses of assignment ( instead of comparison) in assertions.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed and uniformed iomanip uses.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed cast. Detected by ECLAIR service utypflag.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed C interface incongruence.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed documentation for linearize and added \relates directive.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed implementation defined implicit cast.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed implementation defined implicit cast.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed missing namespace.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed punctuation in comments.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed signedness. Detected by ECLAIR service utypflag.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed value for Valgrind --num-callers option.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): For clarity, renamed three-state Float method is_inf () as inf_sign().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): For code clarity purposes, better distinguish signed /unsigned operations.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Forgotten changes.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): For naming consistency, `coefficient_allocator' renamed as `data_allocator'.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Get rid of redundant declarations of a couple of functions.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Global-replace mistake fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Grouped together docs for the linear-ranking functions.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Group together documentation of functions controlling FPU.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Hide enum initializers from docs.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Improved implementation of OR_Matrix<T>:: any_row_iterator<U>::operator+=().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Improved strcaseeq implementation.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): INT_MIN % -1 is undefined behavior in C++11.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): INT_MIN % -1 is undefined behavior in C++11.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Invoke libtool when checking with Valgrind enabled.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Let bitwise operators be applied to unsigned integer types.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Let bitwise operators be applied to unsigned integer types.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Let bitwise operators be applied to unsigned integer types.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Let bitwise operators be applied to unsigned integer types.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Let bitwise operators be applied to unsigned integer types.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Let classes in Concrete_Expression.defs. hh appear in the user manual.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Let is_inf_float() return a Boolean value, rather than an integer.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Let the docs for the I_Result enum appear on the devref manual only.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Make comparison against zero explicit.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Make comparison against zero explicit.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Make comparison against zero explicit.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Make comparison against zero explicit.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Make sure each case within a switch statement is properly terminated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mark some docs for the devref manual only.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Missing default added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Moved another declaration into a smaller scope.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Move declarations to nsure variables are declared at smallest possible scope .
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): mp_bitcnt_t is not present in gmp 3.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Multiple-inclusion guards added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): New automatically generated files BUGS.hh, COPYING. hh and CREDITS.hh.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Prefer bool field.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit test against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit test against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit test against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit test against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit test against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit tests against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit tests against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit tests against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit tests against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit tests against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit tests against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit tests against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer explicit tests againts zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer testing against zero.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer using C_Integer traits rather than <climits> macros,
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer using C_Integer traits rather than macros in <climits>, thereby
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer using logical (wrt bitwise) operators on Boolean values.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer using vector::resize wrt insert.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prolog sources must go under .../share/ ppl as these files are architecture independent.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Properly terminate Doxygen comments.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Provide a named group for all library version control functions.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Reduced the scope of some variables.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Reduced the scope of variable declarations.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Reduce scope of loop index variable.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Reflected file removal.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Removed a couple of useless explicit casts.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Removed interval restrictions.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Remove docs for a few implementation classes from the user manual.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Removed redundant and unused stuff.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Removed references to an obsolete file.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Renamed is_infinity() as infinity_sign(), returning an `int' in {-1, 0, 1}.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Renamed some variables so that declarations in an outer scope are not hidden .
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Renamed some variables so that declarations in an outer scope are not hidden .
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Replaced all c-style casts.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Restored a few tests commented out long time ago.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Restore previous names.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Revert " Renamed some variables so that declarations in an outer scope are not hidden ."
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Rewritten function to avoid mixing signed and unsigned integer types.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Silenced a warning.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Simplified.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Simplified.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Simplified implementation of method Grid:: reduce_reduced().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Simplified Interval_Info::ascii_load().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Simplified min/max evaluation.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Specify the `virtual' keyword when declaring overriding methods.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Spurious line removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Spurious spaces removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): The functions fatal() and internal_error() are now attributed with noreturn.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): The Parma Watchdog Library has been merged into the Parma Polyhedra Library .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): The Parma Watchdog Library has been merged into the Parma Polyhedra Library .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Type fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Types fixed. Useless if-then-else removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Uniformed, improved and moved to a better place implementation of clz/ctz.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Unwanted inclusion removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Unwanted inclusion removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated Doxygen configuration files to release 1.7.4 .
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Use "" quotes to include non-system headers.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use `libtool' to test linking with GMP only if the option `--with-gmp-build' was given.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use always long for time related quantities.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use the same typenames in function declarations/ definitions.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Variable names fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): When object is not used for control, declaration moved outside for statement.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): When working with sizes, prefer vector::resize() to vector::erase().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Wrong guard fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Documented the enumerated values of enum Floating_Point_Format.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Let classes in Concrete_Expression.defs. hh appear in the user manual.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Let the docs for the I_Result enum appear on the devref manual only.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Update version.
Roberto Bagnara
- [PPL-devel] a bug in PPL Java bindings
Gianluca Amato
- [PPL-devel] a bug in PPL Java bindings
Enea Zaffanella
- [PPL-devel] a bug in PPL Java bindings
Gianluca Amato
- [PPL-devel] Fwd: Re: [Doxygen-users] installdox
Roberto Bagnara
- [PPL-devel] narrowing and Java bindings
Gianluca Amato
- [PPL-devel] narrowing and Java bindings
Roberto Bagnara
- [PPL-devel] narrowing and Java bindings
Roberto Bagnara
- [PPL-devel] narrowing and Java bindings
Gianluca Amato
- [PPL-devel] Parma Polyhedra Library 0.12
Roberto Bagnara
- [PPL-devel] PPL v0.11.2 test failure
Anil Sahukar
- [PPL-devel] PPL v0.11.2 test failure
Enea Zaffanella
- [PPL-devel] Problems installing PPL on Mac OS X Lion
Roberto Bagnara
- [PPL-devel] Problems installing PPL on Mac OS X Lion
Fred Mesnard
- [PPL-devel] Problems installing PPL on Mac OS X Lion
Jan Gustafsson
Last message date:
Wed Feb 29 21:41:58 CET 2012
Archived on: Sun Mar 6 09:35:46 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).