May 2009 Archives by date
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: Sun Mar 6 09:35:39 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).