August 2010 Archives by subject

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

Starting: Sun Aug 1 14:37:05 CEST 2010
Ending: Tue Aug 31 22:22:36 CEST 2010
Messages: 138

• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sebastian Pop
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sergei Steshenko
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Roberto Bagnara
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sergei Steshenko
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sergei Steshenko
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sergei Steshenko
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sebastian Pop
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sebastian Pop
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sebastian Pop
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sebastian Pop
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sergei Steshenko
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sergei Steshenko
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Roberto Bagnara
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Roberto Bagnara
• [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'   Sven Verdoolaege
• [PPL-devel] [GIT] ppl/ppl(floating_point): Do not use log2 to compute the base 2 logarithm of   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Small style improvement in the use of iterators.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(master): Added $(top_builddir)/src/libppl. la to ppl_lpsol_LDADD.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added a space after :: to avoid Doxygen (incorrect) autolink generation.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added missing conversions.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Announce the new wrapping operator used to approximate machine arithmetic.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Augment the precision with which floating point numbers are printed in error messages .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid using overlapping regular expressions.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid variable length arrays: use a std:: vector instead.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Comment fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Commented out code concerning affine spaces.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Commented out code concerning affine spaces.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Commented out code concerning affine spaces.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Corrected a bug affecting Interval:: CC76_widening_assign(const From&, Iterator, Iterator).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Corrected mismatch in parameter name ( for documentation purposes only).   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Distribute all READMEs and ChangeLogs.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Do also read the inhomogeneous term of the objective function.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the argument type of limit_virtual_memory(): should be unsigned long.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the argument type of limit_virtual_memory(): should be unsigned long.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): FIXMEs resolved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): For checking purposes, use the exact LP solver of GLPK.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Implemented the constructors from generator systems.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved doxygen docs for Matrix::permute_columns().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Inclusions fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Invalid case option in map_space_dimensions removed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Let the input routine for checked numbers accepts C99 hexadecimal float syntax .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'ppl-0_11-branch'   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Missing sections added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Put under Git control.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed spurious semicolon.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Set aside the domain of affine spaces, for the time being.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Started revising the expected results.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Tightened the implementation of the `--max-memory' option.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated and typo fixed.   Patricia Hill
• [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.   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): Use a convenience library to confine the compilation of glpk_set_d_eps.c.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Useless assignment removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): When the `--check' option is used, input data is perturbed the same way as GLPK does.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added a space after :: to avoid Doxygen ( incorrect) autolink generation.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added missing conversions.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Announce the new wrapping operator used to approximate machine arithmetic.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Avoid using overlapping regular expressions .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Corrected a bug affecting Interval:: CC76_widening_assign(const From&, Iterator, Iterator).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Corrected mismatch in parameter name ( for documentation purposes only).   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Distribute all READMEs and ChangeLogs.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Invalid case option in map_space_dimensions removed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Merge branch 'ppl-0_11-branch'   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated and typo fixed.   Patricia Hill
• [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): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Augment the precision with which floating point numbers are printed in error messages .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree, Sparse_Row, Sparse_Matrix: remove unnecessary includes.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: don' t use an iterator in move_data_from().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: improve code in rebalance().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: simplify code in the init() method .   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: use new/delete instead of malloc/ free.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Do also read the inhomogeneous term of the objective function.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Fixed the argument type of limit_virtual_memory(): should be unsigned long .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Fixed the argument type of limit_virtual_memory(): should be unsigned long .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): For checking purposes, use the exact LP solver of GLPK.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices   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): 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): Put under Git control.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Started revising the expected results.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Tightened the implementation of the `--max-memory' option.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Use a convenience library to confine the compilation of glpk_set_d_eps.c.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): When the `--check' option is used, input data is perturbed the same way as GLPK does.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Added a section on exact join detection.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Avoid just repeating the title.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Better explained how to check whether SSH connection to git.cs.unipr. it works.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): BRZH02a is (of course) no longer a current reference for the PPL.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Fixed links and punctuation. Avoid replicating the links to the PDF files.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Fixed misplaced </TABLE>.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Little improvements: Mazzi and Trabucchi are former students.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/w3ppl(master): Missing label added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Redone the part on the synthesis of linear ranking functions.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Section names made more specific.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): The current reference for weakly-relational domains is BHZ09FMSD.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): There are no known bugs in PPL 0.11.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Two more papers added: BHZ09FMSD and BHZ09TCS.   Patricia Hill
• [PPL-devel] [GIT] ppl/w3ppl(master): Updated and fixed a few bugs.   Patricia Hill
• [PPL-devel] [GIT] ppl/w3ppl(master): Updated following the CREDITS file in the ppl.   Patricia Hill
• [PPL-devel] [GIT] ppl/w3ppl(master): Updated for the release of PPL 0.11.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Updated paragraph about the University of Leeds.   Patricia Hill
• [PPL-devel] [GIT] ppl/w3ppl(master): Updated the part about binary distributions.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Updated with paper on linear ranking functions and that the sttp paper   Patricia Hill
• [PPL-devel] [GIT] ppl/w3ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] Parma Polyhedra Library 0.11   Roberto Bagnara
• [PPL-devel] Parma Polyhedra Library 0.11   Roberto Bagnara
• [PPL-devel] Test suites about PPL   Peng Li
• [PPL-devel] Test suites about PPL   Enea Zaffanella
• [PPL-devel] Test suites about PPL   Roberto Bagnara

Last message date: Tue Aug 31 22:22:36 CEST 2010
Archived on: Fri Jan 20 18:10:38 CET 2012

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