February 2011 Archives by author

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

Starting: Wed Feb 2 16:49:54 CET 2011
Ending: Mon Feb 28 10:17:33 CET 2011
Messages: 178

• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added other plain char specializations.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed stream state on checked input.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Fixed stream state on checked input.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed stream state on checked input.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added other plain char specializations.   Abramo Bagnara
• [PPL-devel] [PATCH] Add -lpwl to ppllibs.   Prof. Roberto Bagnara
• [PPL-devel] Parma Polyhedra Library 0.11.2   Prof. Roberto Bagnara
• [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): Do not use the deprecated function mpz_div_2exp.   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): Added missing specializations for plain char.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): New commits   Roberto Bagnara
• [PPL-devel] ppl_pips problems   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Version number bumped.   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(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): 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): Reduce the argument of valgrind' s --num-callers below the allowed maximum.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Reflected the switch to gitolite.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Version number bumped.   Roberto Bagnara
• [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): Detect whether the plain char type is signed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Copy-and-paste mistake fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added specializations for plain char.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Specialize C_Integer<T> for plain char.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added missing specializations for plain char.   Roberto Bagnara
• [PPL-devel] Minor bug in PPL test-suite   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Copyright notices updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a number of wrong conditionals.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [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): Copyright notices updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): List the known bugs of PPL 0.11.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Ignore *.lzma.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Ignore *.lzma.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   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(ppl-0_11-branch): Disabled the `memory1' test ( at least for the time being).   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] Patch for Doxygen's src/latexgen.cpp   Roberto Bagnara
• [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): Added an entry for Marco Poletti.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated the entry for Marco Poletti.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Further changes for PPL 0.11.1.   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(ppl-0_11-branch): Updated.   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(ppl-0_11-branch): Added missing news items.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Updated.   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): Update version.   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): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   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): Fixed redirection.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Use parallelism and do not stop on error.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Avoid parallelism: it impedes debugging.   Roberto Bagnara
• [PPL-devel] Parma Polyhedra Library 0.11.1   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): The `--disable-fpmath' configure option now disables all floating point computations.   Roberto Bagnara
• [PPL-devel] Parma Polyhedra Library 0.11.1   Roberto Bagnara
• [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] Parma Polyhedra Library 0.11.1   Roberto Bagnara
• [PPL-devel] Parma Polyhedra Library 0.11.1   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.   Roberto Bagnara
• [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): Never use `\c'; use <CODE></CODE> instead (yes, uppercase).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): No longer overwrite the SIGILL handler.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   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(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): Two items added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Work around a bug showing up under mingw-w64.   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): Two items added.   Roberto Bagnara
• [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): Updated.   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): Updated for PPL 0.11.2.   Roberto Bagnara
• [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/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): Update version.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.   Roberto Bagnara
• [PPL-devel] Minor bug in PPL test-suite   J.S. van Bethlehem
• [PPL-devel] [GIT] ppl/ppl(master): Do not use the deprecated function mpz_div_2exp.   Fabio Bossi
• [PPL-devel] Parma Polyhedra Library 0.11.1   David Fang
• [PPL-devel] [Doxygen-users] Patch for Doxygen's src/latexgen.cpp   Dimitri Van Heesch
• [PPL-devel] Parma Polyhedra Library 0.11.1   Jack Howarth
• [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): Polyhedron: fix an invalid reference bug in generalized_affine_image().   Marco Poletti
• [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): Polyhedron: fix an invalid reference bug in generalized_affine_image().   Marco Poletti
• [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): Polyhedron: fix an invalid reference bug in generalized_affine_image().   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): PIP_Solution_Node: improve the performance of solve( ).   Marco Poletti
• [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(sparse_matrices): Grid: avoid using Congruence::operator[], in conversion().   Marco Poletti
• [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): Linear_System: don't call contained objects ' OK(), in OK(); also remove the OK() argument.   Marco Poletti
• [PPL-devel] [PATCH] Add -lpwl to ppllibs.   Sebastian Pop
• [PPL-devel] Parma Polyhedra Library 0.11.1   Dongsheng Song
• [PPL-devel] Parma Polyhedra Library 0.11.1   Dongsheng Song
• [PPL-devel] ppl_pips problems   Sven Verdoolaege
• [PPL-devel] [GIT] ppl/ppl(master): Corrected a bug in cut generation.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Minor changes related to coding standards.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Fully normalize artificial parameters on construction.   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): A minor improvement to the debug printing mechanism.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Further improvement to debug output.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Fixed a bug in the simplification of the solution tree.   Enea Zaffanella
• [PPL-devel] ocaml interface issues   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface.   Enea Zaffanella
• [PPL-devel] ocaml interface issues   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Exploit variable integrality when creating tautology constraints.   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): Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Merge branch 'master' into pip   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Corrected expected results.   Enea Zaffanella
• [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): Merge branch 'master' into pip   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Minor readability improvements to PIP_Decision_Node:: solve().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Mentioned the correction of a few problems.   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): Mentioned the correction of a few problems.   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(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): Corrected expected results.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Corrected expected results.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed auxiliary function aux_test to perform proper comparisons.   Enea Zaffanella
• [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(pip): Mentioned a correction affecting PIP_Problem solution trees.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Mentioned a correction affecting PIP_Problem solution trees.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/w3ppl(master): Added PPL 0.11 bugs.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/w3ppl(master): Typo corrected.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Document parameter indent_level in PIP_Tree_Node:: solve().   Enea Zaffanella
• [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): The resolution process for PIP_Problem now better exploits the   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated expected results.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Minor improvements to documentation.   Enea Zaffanella
• [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): test06 no longer overflows when using 8-bit coefficients.   Enea Zaffanella
• [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): Replaced the algorithm used for sorting Linear_System and Bit_Matrix.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Replaced the algorithm used for sorting Linear_System and Bit_Matrix.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Improved precision of Octagonal_Shape:: affine_image().   Enea Zaffanella
• [PPL-devel] A problem with hypertarget.   Enea Zaffanella
• [PPL-devel] A problem with hypertarget.   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): Set INLINE_SOURCES = NO when producing LaTeX documentation.   Enea Zaffanella
• [PPL-devel] [Doxygen-users] A problem with hypertarget.   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): Fixed a duplicate hypertarget error in the generated PDF documentation.   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): Get rid of LaTeX warnings related to package fancyhdr.   Enea Zaffanella
• [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): Fixed a documentation problem in a \ref Doxygen command.   Enea Zaffanella
• [PPL-devel] ocaml interface issues   piotrm

Last message date: Mon Feb 28 10:17:33 CET 2011
Archived on: Sun Mar 6 09:35:45 CET 2022

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