October 2010 Archives by subject

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

Starting: Fri Oct 1 15:34:10 CEST 2010
Ending: Fri Oct 29 08:45:32 CEST 2010
Messages: 34

• [PPL-devel] [GIT] ppl/ppl(floating_point): Added missing asserts.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added two FIXME notes.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Never add a rounding error when casting 1.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Never add a rounding error when casting the 0 value.   Fabio Bossi
• [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): Properly quote the assignment MAKE=$(MAKE).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Reflect latest changes to affine_image into   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(master): CO_Tree: add a max_size() static method.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(master): CO_Tree: fix comment.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(master): Dense_Matrix, Sparse_Matrix: remove useless typedefs for row_type.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(master): Dense_Row: remove the unused assign() method.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(master): Documented precondition of method Bit_Matrix:: remove_trailing_columns().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug whereby the argument of all the methods unconstrain( Variable var) was not checked correctly for space dimension compatibility.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved precision of Octagonal_Shape::affine_image( ).   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): In method Bit_Matrix::OK(), do also check the first Bit_Row.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Properly quote the assignment MAKE=$(MAKE).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Sparse_Matrix: add some methods, to be fully compatible with Dense_Matrix.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(master): Sparse_Row: add some methods, to be fully compatible with Dense_Row.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(master): Sparse_Row: optimize linear_combine(), avoiding the insertion of too many elements.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(master): Updated list of bug fixes.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed a bug whereby the argument of all the methods unconstrain( Variable var) was not checked correctly for space dimension compatibility.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Properly quote the assignment MAKE=$(MAKE).   Roberto Bagnara
• [PPL-devel] compiling PPL 0.11 with -flto option to GCC 4.5?   Basile Starynkevitch
• [PPL-devel] my problem with using ppl   saber mirzaei
• [PPL-devel] my problem with using ppl   Roberto Bagnara
• [PPL-devel] Octagonal_Shape::affine_image too imprecise?   FABIO BOSSI
• [PPL-devel] Octagonal_Shape::affine_image too imprecise?   Enea Zaffanella
• [PPL-devel] PPL configuration [--enable-instanciations=c should be default]   Basile Starynkevitch
• [PPL-devel] PPL configuration [--enable-instanciations=c should be default]   Enea Zaffanella
• [PPL-devel] Question about PPL: Only one polyhedron-representation   Sebastian Junges
• [PPL-devel] Question about PPL: Only one polyhedron-representation   Enea Zaffanella
• [PPL-devel] Question about PPL: Only one polyhedron-representation   Roberto Bagnara

Last message date: Fri Oct 29 08:45:32 CEST 2010
Archived on: Sun Mar 6 09:35:44 CET 2022

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