May 2009 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Fri May 1 07:30:41 CEST 2009
Ending: Sun May 24 09:46:56 CEST 2009
Messages: 250

• [PPL-devel] [GIT] ppl/ppl(master): Previous change reverted.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed two code formatting glitches.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Useless returns removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed copy-and-paste mistakes.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): Unwanted changes to test01() undone.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added a proof-of-concept implementation of affine spaces.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Renamed some pleonastic identifiers.   Roberto Bagnara
• [PPL-devel] Check dependency resolution for 64 bit linking   Markus Elfring
• [PPL-devel] Check dependency resolution for 64 bit linking   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added missing patterns.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Renamed some pleonastic identifiers. Fixed some comments.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits   Roberto Bagnara
• [PPL-devel] Check dependency resolution for 64 bit linking   Markus Elfring
• [PPL-devel] Check dependency resolution for 64 bit linking   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added missing patterns.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Renamed some pleonastic identifiers. Fixed some comments.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Merge branch 'master' into bounded_arithmetic   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Obsolete test programs removed.   Roberto Bagnara
• [PPL-devel] [Fwd: [ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library]   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): Reduction methods ( Constraints and Shrink_Using_Congruences) improved.   Patricia Hill
• [PPL-devel] Check dependency resolution for 64 bit linking   Markus Elfring
• [PPL-devel] Check dependency resolution for 64 bit linking   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Implementation of wrap_assign() made generic.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] Check dependency resolution for 64 bit linking   Markus Elfring
• [PPL-devel] [GIT] ppl/ppl(master): Bad spacing fixed.   Roberto Bagnara
• [PPL-devel] Check dependency resolution for 64 bit linking   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Unused variable removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): No longer use CS and PS as template parameter names.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Files renamed to avoid ambiguity with respect to numerical wrapping.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed assignment to int.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Debugging print statement added.   Roberto Bagnara
• [PPL-devel] Check dependency resolution for 64 bit linking   Markus Elfring
• [PPL-devel] [GIT] ppl/ppl(master): Expected result adapted to the different types of coefficients.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed PPL_SPECIALIZE_LIMITS_INT.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid use of constructors in numeric_limits.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed computation of known results for test01() and test02().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): Renamed reduction Shrink_Using_Congruences_Reduction to Congruences_Reduction .   Patricia Hill
• [PPL-devel] fine-tuning for "configure.ac"   Markus Elfring
• [PPL-devel] [GIT] ppl/ppl(master): Check for NaNs only when debugging.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Check for NaNs only when debugging.   Markus Elfring
• [PPL-devel] [GIT] ppl/ppl(master): Test BD_Shape::wrap_assign().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Expected behavior made dependent on the range of Coefficient.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Cached Java method IDs for class parma_polyhedra_library/Pair.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a couple of comments for BD and octagonal shapes.   Enea Zaffanella
• [PPL-devel] ppl_io_asprint_* behavior for null pointers?   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Documented a systematic assumption about the C interface opaque pointers.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Check for NaNs only when debugging.   Roberto Bagnara
• [PPL-devel] fine-tuning for "configure.ac"   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed obsolete comments about minimization.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Marked the tests that are expected to fail with 8-bit coefficients.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed some comments.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Documented recent changes in the Java interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Further steps in the definition of the interface of Affine_Space.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added missing full stops.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Two new items added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Documentation of the wrapping methods improved. Typos fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added a section on "Approximating Bounded Arithmetic ", to be written.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Fixed the links to the openSUSE packages.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Completed the \exception section of the documentation for wrap_assign().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The `Determinate' class has been renamed `COW_Pointset'.   Roberto Bagnara
• [PPL-devel] fine-tuning for "configure.ac"   Markus Elfring
• [PPL-devel] [GIT] ppl/ppl(master): Systematically write "copy constructor" instead of " copy-constructor."   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): test02() and test09() fail also with 16-bit coefficients.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Method COW_Pointset::element() renamed pointset(). Comments improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Method COW_Pointset::element() renamed pointset().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Method COW_Pointset::element() renamed pointset().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Indentation and comments fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Method COW_Pointset::element() renamed pointset().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added Circular Integer intervals.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed typo on assertion.   Abramo Bagnara
• [PPL-devel] PPL Library capabilities   Vladimir Koshelev
• [PPL-devel] [GIT] ppl/ppl(master): Added basic timeout support to the C library interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): The rename of Determinate was in fact a bad idea: backtracked.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Spurious parentheses removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): test07() only fails if assertions are enabled.   Roberto Bagnara
• [PPL-devel] Problems with in-tree host libraries (gmp, ppl, etc)   Roberto Bagnara
• [PPL-devel] PPL Library capabilities   P M Hill
• [PPL-devel] Problems with in-tree host libraries (gmp, ppl, etc)   Paolo Bonzini
• [PPL-devel] [GIT] ppl/ppl(master): test03() fails also with 16-bit coefficients when assertions are enabled.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed result check for ThrowNew.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Added SenS07TR.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Added LeconteB06.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added basic timeout support to the Java library interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added draft implementation for wrap_assign() for the grid domain.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Use the appropriate throw_dimension_incompatible() method in wrap_assign().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Drafted specialized implementation for Box<ITV>::wrap_assign.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added umod_2exp and smod_2exp to checked numbers. Fixed rem for mpq to work similarly to other numeric types.   Abramo Bagnara
• [PPL-devel] [Fwd: Re: Some troubles I met while building PPL.]   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Improved wrap_assign() for grids.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Redid the intended changes for the last commit for wrap_assign().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Got rid of a TODO item.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added a _draft_ description of the wrap operator for grids.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Avoid unnecessary unbounded precision value in floating point steepest edge .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Do not test for result dependent on floating point steepest edge heuristics .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Several tests are expected to fail for checked-in8.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Renamed rational_sqrt_precision_parameter to irrational_precision.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Parameter irrational_precision made available in all language interfaces.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Another item dealt with.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Improved code for wrap_assign() for grids for constant values.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Several improvements for the wrap_assign() operator for grids.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Simplification and improvement of code for wrap_assign().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Updated from Gnulib.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Some efficiency improvements. Comments improved.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Another efficiency improvement to wrap_assign().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): We cannot test the Java interface unless ENABLE_SHARED.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved documentation and small efficiency improvement to the code.   Patricia Hill
• [PPL-devel] Trouble building Graphite   Roberto Bagnara
• [PPL-devel] Graphite build fails if PPL configured with --disable-shared   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Method Box::refine_with is now based on (single step ) constraint propagation.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added a section on commits to consider should we release PPL 0.10.3.   Roberto Bagnara
• [PPL-devel] Graphite build fails if PPL configured with --disable-shared   Ian Lance Taylor
• [PPL-devel] [GIT] ppl/ppl(master): Another TODO item dealt with.   Enea Zaffanella
• [PPL-devel] Trouble building Graphite   Ian Lance Taylor
• [PPL-devel] [GIT] ppl/ppl(master): Known result adapted to increased Box constructor precision.   Enea Zaffanella
• [PPL-devel] Graphite build fails if PPL configured with --disable-shared   Laurent GUERBY
• [PPL-devel] Graphite build fails if PPL configured with --disable-shared   Andreas Schwab
• [PPL-devel] Graphite build fails if PPL configured with --disable-shared   Laurent GUERBY
• [PPL-devel] Graphite build fails if PPL configured with --disable-shared   Andreas Schwab
• [PPL-devel] [GIT] ppl/ppl(master): New configuration option `--with-gmp-build=DIR'.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added a commit to consider should we release PPL 0. 10.3.   Roberto Bagnara
• [PPL-devel] Graphite build fails if PPL configured with --disable-shared   Laurent GUERBY
• [PPL-devel] Graphite build fails if PPL configured with --disable-shared   Janis Johnson
• [PPL-devel] [GIT] ppl/ppl(master): AC_CHECK_GMP fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug in wrap_assign() for grids.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed topological closure for unbounded intervals.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added smod_2exp and umod_2exp for boundary.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Reorganized and separated Result classes to be more informative.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Checked_Number_Transparent_Policy properly commented.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Use Bounded_Integer_Coefficient_Policy as the policy for checked coefficients .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added Bounded_Integer_Coefficient_Policy .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed return type.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Checked number policy parameter `check_nan_result' renamed `fpu_check_nan_result'.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Also check for NaN in Bounded_Integer_Coefficient_Policy::handle_result().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Bounded_Integer_Coefficient_Policy:: handle_result() commented.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Got rid of Checked_Number_Default_Policy .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Comment fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Coefficient types of weakly-relational domains moved to new source files.   Roberto Bagnara
• [PPL-devel] Parametric integer linear programming solver   Sebastian Pop
• [PPL-devel] [GIT] ppl/ppl(master): Removed repeated specification of operators in the grids section.   Patricia Hill
• [PPL-devel] Parametric integer linear programming solver   Roberto Bagnara
• [PPL-devel] Parametric integer linear programming solver   Cédric Bastoul
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added missing info clearing.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added add_2exp and sub_2exp.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added wrap_assign.   Abramo Bagnara
• [PPL-devel] Parametric integer linear programming solver   Sebastian Pop
• [PPL-devel] Parametric integer linear programming solver   Cédric Bastoul
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Marked tests that are expected to fail with 8-bit coefficients.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): WRD_Extended_Number_Policy properly commented.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New policy Debug_WRD_Extended_Number_Policy.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed some typos.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added missing Result values.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): Added new method frequency() for Grids.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): Added new method frequency() for Grids.   Patricia Hill
• [PPL-devel] PPL Library capabilities (fwd)   P M Hill
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Silenced bogus comparison warnings.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added missing policy.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Commits improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Some progress on Box::wrap_assign().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed typo.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added missing clear.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use PPL_DIRTY_TEMP for temporary objects.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Adapted generic implementation of wrap_assign to model the rational case.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Temporarily marked test15() and test16() as expected to fail.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Last commit partly undone.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Partially reverted changes 71e9992afa9bc049b93d0b29fd9dbe52ead850cf.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the bug witnessed by test15().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): Added two tests based on the examples 5(a), 5(b) in SenS07.   Patricia Hill
• [PPL-devel] [50984] ppl Lint Report   noreply at macports.org
• [PPL-devel] [GIT] ppl/ppl(master): Added a few missing accessor methods to Java interface classes.   Enea Zaffanella
• [PPL-devel] PPL Library capabilities (fwd)   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): When wrapping no variable, do not ignore the optional constraint system.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added a note about the use of `assign' helper functions.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Let the wrap_assign tests succeed until the specification is clarified.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/w3ppl(master): BagnaraHZ09 will be published in Formal Methods in System Design.   Roberto Bagnara
• [PPL-devel] [50984] ppl Lint Report   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Changed the specification of wrap_assign().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed rounding.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Minor improvement.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected typo in explanatory output.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Several improvements to Octagonal_Shape<T>:: relation_with(const Congruence&).   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Check that all variables upon which `*pcs' depends are in `vars'.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the invocation of the generic implementation of wrap_assign().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved method Polyhedron::relation_with( const Congruence&) const.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Renamed and commented ROUND_STRICT_RELATION. Added some use of it. Added some optimizations when ROUND_NOT_NEEDED is specified.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid two warnings.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added an assert(false) for unreachable code.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a typo.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): A strict relation info is required here.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): A strict relation info is required here too.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the generic implementation of wrap_assign().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The test fails also with 32 bit coefficients.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): FIXME resolved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The test fails also with 32 bit coefficients.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Item removed: no big deal.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): These tests fails with 16 bit coefficients.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): test19() must fail with 8-bit coefficients.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved a few timeout and exception tests.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Further cleaning of relation_with(Congruence) implementations.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Started writing the section on approximating bounded arithmetic.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Comments improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Bounded_Integer_Type_Signedness renamed Bounded_Integer_Type_Representation .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): More work on the documentation of approximations for bounded integer arithmetic .   Roberto Bagnara
• [PPL-devel] [51065] ppl Lint Report   noreply at macports.org
• [PPL-devel] [GIT] ppl/ppl(master): Added more in the section about the wrapping operator.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): After the affine (pre)image operations, unset the reduced flag.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Simplified code.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Get rid of a comparison warning.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Rounding direction is not relevant here.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Finished the documentation about the wrapping operator.   Roberto Bagnara
• [PPL-devel] [Fwd: GNU Automake 1.11 released]   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added declarations and stub implementations for drop_some_non_integer_points ().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): 8-bit coefficients are now enough for test07().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added a test showing a bug in wrap_assign when wrap_individually == false.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug in wrap_assign_col().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): First draft of Box::wrap_assign() is now operational . Added a few tests.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Known result for test03() corrected; test now marked to succeed.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): New tests for Polyhedron::wrap_assign().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved the relation_with(Congruence) implementation for the weakly relational domains.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Improved the methods refine_with_congruence[s]().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Started adapting the Java tests to make better use of class Test_Executor.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): When the congruences have inconsistent equalities, the box is set empty.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): The generated Java tests now exploit the Test_Executor class functionality .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed omitted renaming.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The refine_with_congrueces() detects inconsistent equalities.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'gridwraps'   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Where cost is negligible, enforce integrality.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Corrected a typo in the known result of a wrap_assign test.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(products): Removed redundant test files.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): Revised the tests so as to follow the organization for other domains.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Non-standard commas removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): Some tests are expected to fail with 8-bit integers.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): Added a warning about non-integrality for wrap_assign().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): Revert " Added a warning about non-integrality for wrap_assign()."   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added a warning about non-integrality for wrap_assign().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Test test02() overflows with 16 bit checked integers .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(products): Added method frequency() to the Polyhedron and BD Shape domains.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): Added the method frequency() to the Octagonal shape domain.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): Added the method frequency() to the Box domain.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): Bug in frequency() for Octagonal shapes fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): A new product called Shape_Preserving_Product added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): The method frequency() added to the Affine_Space domain.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): Code for frequency() improved.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): Further improvements to frequency() code.   Patricia Hill

Last message date: Sun May 24 09:46:56 CEST 2009
Archived on: Fri Jan 20 18:10:34 CET 2012

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...