October 2011 Archives by subject

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

Starting: Sat Oct 1 16:03:55 CEST 2011
Ending: Mon Oct 31 18:10:16 CET 2011
Messages: 57

• [PPL-devel] 10 years of PPL   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added test showing a bug when solving again a 0-dimensional MIP_Problem.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): An initial vocabulary for the PPL.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid #include directives after code (except for "*. idefs.hh", "*.inlines.hh" and "*.templates.hh").   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid anonymous namespaces in header files.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid excessive and dangerous reliance on the C++ operator precedence rules .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid excessive and dangerous reliance on the C++ operator precedence rules .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid excessive and dangerous reliance on the C++ operator precedence rules .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid explicit integral conversions that change the signedness of the underlying type of complex expressions .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid implementation-defined behavior by having bitfields of explicit unsigned integral type .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid unsigned integer wrap-around in constant expressions.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(master): Better terminology and identifiers concerning time units.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Code layout improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Do not reuse names reserved by the C++ implementation.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Do rename HAVE_DECL_SETRLIMIT.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug whereby a wrong computational weight was computed due to missing parentheses around a macro argument .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed bugs whereby the wrong types were used so that overflows were possible .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed MIP_Problem bug shown by tests/MIP_Problem/ mipproblem4.cc.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed typo.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed wrong type uses.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Header file inclusions reordered.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Initialize all elements of Dimension_Kind.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Long line avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Long lines avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Magic constants avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Magic constants avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Magic constants avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Magic constants avoided.   Anthony Foiani
• [PPL-devel] [GIT] ppl/ppl(master): Magic constants avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Magic constants avoided.   Anthony Foiani
• [PPL-devel] [GIT] ppl/ppl(master): Make sure all the uses of macro arguments are surrounded by parentheses.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Make sure we find <gmpxx.hh> when compiling instchk. hh to check for valid instantiations.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Minor readability improvements.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Moved misplaced parentheses.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Moved namespace alias declaration.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed commented out line of code that was introduced in the debugging phase .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Removed trailing whitespace.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Reorganized the generation of Prolog interface manuals to avoid duplication .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Source file renamed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Temporary list of words allowed in comments and to compose identifiers.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Unwanted, commented-out code removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Unwanted null statements removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated to reflect the removal of `--with-gmp-prefix ' in favor of `--with-gmp'.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use <> brackets for system and standard library headers only; use "" quotes for all other headers.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use standard notation for pairs.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Very long line shortened.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Web site URI updated.   Roberto Bagnara
• [PPL-devel] Fwd: RE: Re: ppl configure error   Roberto Bagnara
• [PPL-devel] Integer projection   Didier Lime
• [PPL-devel] Integer projection   Enea Zaffanella
• [PPL-devel] ppl configure error   Li, Hui
• [PPL-devel] ppl configure error   Li, Hui
• [PPL-devel] ppl configure error   Roberto Bagnara
• [PPL-devel] ppl configure error   Li, Hui
• [PPL-devel] ppl configure error   Roberto Bagnara
• [PPL-devel] PPL timings depend on sort (ordering) of input?   Nestor Aguilera
• [PPL-devel] PPL timings depend on sort (ordering) of input?   Enea Zaffanella

Last message date: Mon Oct 31 18:10:16 CET 2011
Archived on: Sun Mar 6 09:35:46 CET 2022

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