August 2010 Archives by author
Starting: Sun Aug 1 14:37:05 CEST 2010
Ending: Tue Aug 31 22:22:36 CEST 2010
Messages: 138
- [PPL-devel] [GIT] ppl/ppl(master): Removed spurious semicolon.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Useless assignment removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Comment fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Inclusions fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Implemented the constructors from generator systems.
Roberto 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): 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): FIXMEs resolved.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Missing sections 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.
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(ppl-0_11-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated for the release of PPL 0.11.
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(ppl-0_11-branch): Announce the new wrapping operator used to approximate machine arithmetic.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Distribute all READMEs and ChangeLogs.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Distribute all READMEs and ChangeLogs.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing conversions.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added missing conversions.
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): There are no known bugs in PPL 0.11.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated the part about binary distributions.
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): The current reference for weakly-relational domains is BHZ09FMSD.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Section names made more specific.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Fixed misplaced </TABLE>.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Avoid just repeating the title.
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): Missing label added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added a section on exact join detection.
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.11
Roberto Bagnara
- [PPL-devel] Parma Polyhedra Library 0.11
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): Avoid using overlapping regular expressions .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid using overlapping regular expressions.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'ppl-0_11-branch'
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Merge branch 'ppl-0_11-branch'
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(master): Corrected a bug affecting Interval:: CC76_widening_assign(const From&, Iterator, Iterator).
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(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] Test suites about PPL
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added $(top_builddir)/src/libppl. la to ppl_lpsol_LDADD.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
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'
Roberto Bagnara
- [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'
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): Fixed the argument type of limit_virtual_memory(): should be unsigned long.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Put under Git control.
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): Fixed the argument type of limit_virtual_memory(): should be unsigned long .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Put under Git control.
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(sparse_matrices): Fixed the argument type of limit_virtual_memory(): should be unsigned long .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Tightened the implementation of the `--max-memory' option.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Tightened the implementation of the `--max-memory' option.
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(master): Started revising the expected results.
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(sparse_matrices): Started revising the expected results.
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): When the `--check' option is used, input data is perturbed the same way as GLPK does.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices
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(sparse_matrices): Merge branch 'master' into sparse_matrices
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(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/w3ppl(master): Updated following the CREDITS file in the ppl.
Patricia Hill
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated paragraph about the University of Leeds.
Patricia Hill
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated and fixed a few bugs.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Updated and typo fixed.
Patricia Hill
- [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): Two more papers added: BHZ09FMSD and BHZ09TCS.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated and typo fixed.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Invalid case option in map_space_dimensions removed.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Invalid case option in map_space_dimensions removed.
Patricia Hill
- [PPL-devel] Test suites about PPL
Peng Li
- [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: use new/delete instead of malloc/ free.
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, Sparse_Row, Sparse_Matrix: remove unnecessary includes.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: improve code in rebalance().
Marco Poletti
- [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'
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'
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'
Sergei Steshenko
- [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'
Sven Verdoolaege
- [PPL-devel] [GIT] ppl/ppl(master): Avoid variable length arrays: use a std:: vector instead.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/w3ppl(master): Little improvements: Mazzi and Trabucchi are former students.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Corrected mismatch in parameter name ( for documentation purposes only).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added a space after :: to avoid Doxygen (incorrect) autolink generation.
Enea Zaffanella
- [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): Corrected mismatch in parameter name ( for documentation purposes only).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Improved doxygen docs for Matrix::permute_columns().
Enea Zaffanella
- [PPL-devel] Test suites about PPL
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Do also read the inhomogeneous term of the objective function.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Do also read the inhomogeneous term of the objective function.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Let the input routine for checked numbers accepts C99 hexadecimal float syntax .
Enea Zaffanella
Last message date:
Tue Aug 31 22:22:36 CEST 2010
Archived on: Sun Mar 6 09:35:44 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).