September 2011 Archives by date

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

Starting: Tue Sep 6 18:59:43 CEST 2011
Ending: Fri Sep 30 16:07:35 CEST 2011
Messages: 29

• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Minor changes.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Changed the management of the intervals not bounded, into the functions of bitwise operator.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Corrected definition of approximation for the shift bitwise operators.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Changed order of linearization functions for bitwise operators,   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added into the function of the bitwise operators shift,   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Corrected comment of the shift function bitwise operators.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Corrected Boundary_Type into into xor_assign function.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Splitted function test for operator bitwise.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added into Makefile. am the new test files for bitwise operators.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Changed behavior of the function operator<< and operator<< about second   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Modified and corrected noisy output.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Minor changes.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Renamed the temporary names intervals, and corrected the compute of the   Alberto Gioia
• [PPL-devel] Error: Unbound value Ppl.manager_alloc_strict   Tie Cheng
• [PPL-devel] can't find "ppl.cma"   Tie Cheng
• [PPL-devel] can't find "ppl.cma"   Enea Zaffanella
• [PPL-devel] can't find "ppl.cma"   Tie Cheng
• [PPL-devel] can't find "ppl.cma"   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed several indentation mistakes.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Declare functions at file scope.   Roberto Bagnara
• [PPL-devel] PPL timings depend on sort (ordering) of input?   Nestor Aguilera
• [PPL-devel] Integer projection   Didier Lime
• [PPL-devel] PPL timings depend on sort (ordering) of input?   Enea Zaffanella
• [PPL-devel] Integer projection   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Removed several redundant explicit casts.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Removed a redundant explicit cast.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): For readability, prefer infix notation for operator[ ].   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): For readability, prefer infix notation for operator[ ].   Enea Zaffanella

Last message date: Fri Sep 30 16:07:35 CEST 2011
Archived on: Fri Jan 20 18:10:40 CET 2012

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