February 2011 Archives by subject
Starting: Wed Feb 2 16:49:54 CET 2011
Ending: Mon Feb 28 10:17:33 CET 2011
Messages: 178
- [PPL-devel] [Doxygen-users] A problem with hypertarget.
Enea Zaffanella
- [PPL-devel] [Doxygen-users] Patch for Doxygen's src/latexgen.cpp
Dimitri Van Heesch
- [PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing specializations for plain char.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added other plain char specializations.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added specializations for plain char.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): All known bugs have been fixed for PPL 0.11.1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Copy-and-paste mistake fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Copyright notices updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Copyright notices updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Corrected a (checked-integer related) problem in PIP_Solution_Tree::solve().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Corrected a bug in cut generation.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Detect whether the plain char type is signed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Disabled the `memory1' test ( at least for the time being).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Document parameter indent_level in PIP_Tree_Node:: solve().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Do not use the deprecated function mpz_div_2exp.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(master): Fixed a number of wrong conditionals.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed auxiliary function aux_test to perform proper comparisons.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed stream state on checked input.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Grid: avoid using an invalid reference in the constructor from a Box.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Ignore *.lzma.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mentioned a correction affecting PIP_Problem solution trees.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Mentioned the correction of a few problems.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Minor improvements to documentation.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Never use `\c'; use <CODE></CODE> instead (yes, uppercase).
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): No longer overwrite the SIGILL handler.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): PIP_Solution_Node: avoid repeated lookup of Sparse_Row's coefficients, in solve().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): PIP_Solution_Node: improve the performance of solve( ).
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): PIP_Tree: avoid repeated calls to Sparse_Row::get(), in solve().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): PIP_Tree: simplify unnecessarily complicated code in compatibility_check_find_pivot_in_set ().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Polyhedron: fix an invalid reference bug in generalized_affine_image().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Reduce the argument of valgrind' s --num-callers below the allowed maximum.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Specialize C_Integer<T> for plain char.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): test06 no longer overflows when using 8-bit coefficients.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): The `--disable-fpmath' configure option now disables all floating point computations.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Two items added.
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 the entry for Marco Poletti.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated to minimize risks when the time of releasing PPL 0.12 will come.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): When cross-compiling, assume that GMP has been compiled with support for propagating exceptions.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Work around a bug showing up under mingw-w64.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): A minor improvement to the debug printing mechanism.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Corrected expected results.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Corrected the expected result for test02 to match integral simplifications .
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Exploit integrality when adding constraints for mixed parameter sign rows.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Exploit variable integrality when creating tautology constraints.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed a bug in the simplification of the solution tree.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed stream state on checked input.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): For readability, separate the input operation from input stream status check.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Fully normalize artificial parameters on construction.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Further improvement to debug output.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Grid: avoid using an invalid reference in the constructor from a Box.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(pip): Mentioned a correction affecting PIP_Problem solution trees.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Mentioned the correction of a few problems.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Merge branch 'master' into pip
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Merge branch 'master' into pip
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Merge branch 'master' into pip
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Minor changes related to coding standards.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Minor readability improvements to PIP_Decision_Node:: solve().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Polyhedron: fix an invalid reference bug in generalized_affine_image().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added an entry for Marco Poletti.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added missing news items.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added missing specializations for plain char.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added other plain char specializations.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Avoid (again) using the same macro name for different purposes.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Avoid duplicate PDF labels in the configured C interface manuals.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Avoid using the same macro name for different purposes.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Copyright notices updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Copyright notices updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Corrected expected results.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Corrected expected results.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Disabled the `memory1' test ( at least for the time being).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Document parameter indent_level in PIP_Tree_Node::solve().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Do not use the deprecated function mpz_div_2exp.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed a bug in the simplification of the solution tree.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed a couple of Doxygen related problems.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed a documentation problem in a \ref Doxygen command.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed a duplicate hypertarget error in the generated PDF documentation.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed a number of wrong conditionals.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed auxiliary function aux_test to perform proper comparisons.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed stream state on checked input.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Further changes for PPL 0.11.1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Get rid of LaTeX warnings related to package fancyhdr.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Grid: avoid using an invalid reference in the constructor from a Box.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Ignore *.lzma.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Improved precision of Octagonal_Shape:: affine_image().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Mark ChangeLog.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Mentioned the correction of a few problems.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Never use `\c'; use <CODE></CODE> instead (yes, uppercase).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): No longer overwrite the SIGILL handler.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Polyhedron: fix an invalid reference bug in generalized_affine_image().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Preparation for the release of PPL 0.11.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Reduce the argument of valgrind' s --num-callers below the allowed maximum.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Replaced the algorithm used for sorting Linear_System and Bit_Matrix.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Set INLINE_SOURCES = NO when producing LaTeX documentation.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Specialize C_Integer<T> for plain char.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): test06 no longer overflows when using 8-bit coefficients.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): The `--disable-fpmath' configure option now disables all floating point computations.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): The resolution process for PIP_Problem now better exploits the
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Two items added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated expected results.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated for the release of PPL 0.11.1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Update version.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Update version.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): When cross-compiling, assume that GMP has been compiled with support for propagating exceptions.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Work around a bug showing up under mingw-w64.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Constraint_System, Generator_System, Grid_Generator_System: don't call contained objects' OK(), in OK().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Grid: avoid using Congruence::operator[], in conversion().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Linear_System: don't call contained objects ' OK(), in OK(); also remove the OK() argument.
Marco Poletti
- [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(sparse_matrices): 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(sparse_matrices): 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(sparse_matrices): 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(sparse_matrices): Replaced the algorithm used for sorting Linear_System and Bit_Matrix.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/w3ppl(master): Added a --with-java option to the configuration command.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added links to the lzma tar archive.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added PPL 0.11 bugs.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/w3ppl(master): Avoid parallelism: it impedes debugging.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): First steps at annoucing the release of PPL 0.11.1 .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Fixed redirection.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): List the known bugs of PPL 0.11.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Make sure the Java SDK is found on the machine used for producing the releases .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Reflected the switch to gitolite.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Two corrections concerning the location of the Git repositories.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Typo corrected.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated for PPL 0.11.2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Use parallelism and do not stop on error.
Roberto Bagnara
- [PPL-devel] [PATCH] Add -lpwl to ppllibs.
Sebastian Pop
- [PPL-devel] [PATCH] Add -lpwl to ppllibs.
Prof. Roberto Bagnara
- [PPL-devel] A problem with hypertarget.
Enea Zaffanella
- [PPL-devel] A problem with hypertarget.
Enea Zaffanella
- [PPL-devel] Minor bug in PPL test-suite
J.S. van Bethlehem
- [PPL-devel] Minor bug in PPL test-suite
Roberto Bagnara
- [PPL-devel] ocaml interface issues
piotrm
- [PPL-devel] ocaml interface issues
Enea Zaffanella
- [PPL-devel] ocaml interface issues
Enea Zaffanella
- [PPL-devel] Parma Polyhedra Library 0.11.1
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.11.1
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.11.1
Jack Howarth
- [PPL-devel] Parma Polyhedra Library 0.11.1
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.11.1
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.11.1
David Fang
- [PPL-devel] Parma Polyhedra Library 0.11.1
Dongsheng Song
- [PPL-devel] Parma Polyhedra Library 0.11.1
Dongsheng Song
- [PPL-devel] Parma Polyhedra Library 0.11.2
Prof. Roberto Bagnara
- [PPL-devel] Patch for Doxygen's src/latexgen.cpp
Roberto Bagnara
- [PPL-devel] ppl_pips problems
Roberto Bagnara
- [PPL-devel] ppl_pips problems
Sven Verdoolaege
Last message date:
Mon Feb 28 10:17:33 CET 2011
Archived on: Sun Mar 6 09:35:45 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).