July 2009 Archives by subject

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

Starting: Wed Jul 8 13:54:03 CEST 2009
Ending: Fri Jul 31 13:16:14 CEST 2009
Messages: 148

• [PPL-devel] [Fwd: Re: [ppl 0.10.2] gmp not found when compiled shared for mingw32 host (-> .dll.a)]   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): A couple of minor doxygen documentation corrections.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added a first test for the deterministic timeout.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added a test for deterministic timeouts in the C language interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added additional info about Traits template parameter.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added determinisitc timeout functionality to the Ocaml interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added deterministic timeout functionality to the Java language interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added deterministic timeout predicates to the Prolog language interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added printing of MIP solver recursion level for ( noisy) debugging.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added profiled weights.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added some weights. Added some debugging prints.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added tentative computational weights to MIP_Problem .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added the documentation of some parameters.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added weight profiler   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added WEIGHT_BEGIN and corrected WEIGHT_ADD_MUL macro.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added WEIGHT_BEGIN() macros and reset a few weights.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added Weightwatch.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added Weightwatch_Traits class (from Abramo). Modified maybe_abandon().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Adjusted weight thresholds.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Announced availability of the deterministic timeout facilities.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid dummy parameter in constructor for Threshold_Watcher::Initialize.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Comment improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Converted assert in PPL_ASSERT.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Converted watchdog time argument to unsigned.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Converted weight threshold to unsigned long long.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Converted Weightwatch in more generic Threshold_Watcher.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Debugging prints improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Don't compile Weight_Profiler if it's not used.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Doxygen reference fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Drafted a few missing comments. To be completed ( by the author).   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a (potential) exception safety bug in class MIP_Problem.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed INPUT variable in Doxygen configuration for devref.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed several documentation bugs signalled by Doxygen.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed typo.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed WEIGHT_ADD use.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Force rebuild.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Forgotten file.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Got rid of the REACTIVE_ABANDONING macro.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved and generalized the detection of YAP.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): In the Ocaml tests, timeouts are now reset unconditionally.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Item improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Minor formatting improvements.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Minor improvements: prefer direct header file inclusions to indirect ones.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Modified computational weight for propagate_constraints.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): More weights adjusted. Added a couple of debugging prints.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Moved in_assert in Implementation namespace.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New configure option --with-gmp-prefix supersedes the (now removed)   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Now we throw/ catch ad hoc exceptions for deterministic timeouts.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): On Windows, the console version of SWI-Prolog is called `plcon'.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed forgotten WEIGHT_ADD.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed repeated declaration.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Require Automake 1.11, enable lzma tar archives and silent rules.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Require Automake 1.11, enable lzma tar archives and silent rules.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Spurious parenthesis removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Synchronized with the current reality.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The *_and_minimize/N predicates have gone: remove residual references to them.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The deterministic timeout facilities are in the C language interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): These tests fail also with 16-bit coefficients.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): These tests fail also with 32-bit coefficients.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): These tests fail with 8-bit coefficients.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Todo items reorganized. Removed the one about NOT_EQUAL.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated for PWL 0.8.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated from Autoconf 2.64.   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 less simplistic weights.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Warnings avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Warnings avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): WEIGHT_ADD moved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Weights adjusted. Added more debugging prints.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Weightwatch are now generic threshold watchdog.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Weightwatch are now independent from client code.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Weightwatch test fixed so as to behave properly under arithmetic overflows .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(products): Corrected test as already corrected in the master branch.   Patricia Hill
• [PPL-devel] [GIT] ppl/w3ppl(master): Added JeannetM09.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Added LimeRST09.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Added PerezRS09.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): BagnaraHZ09 updated and renamed BagnaraHZ09FMSD.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Halbwachs93 completed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): More spurious colons (':') removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Removed several spurious colons (':').   Roberto Bagnara
• [PPL-devel] [ppl 0.10.2] gmp not found when compiled shared for mingw32 host (-> .dll.a)   Heiko Lechner
• [PPL-devel] [ppl 0.10.2] gmp not found when compiled shared for mingw32 host (-> .dll.a)   Roberto Bagnara
• [PPL-devel] Closed versus NNC polyhedra   Roberto Bagnara
• [PPL-devel] Closed versus NNC polyhedra   Michael Classen
• [PPL-devel] Closed versus NNC polyhedra   Roberto Bagnara
• [PPL-devel] Closed versus NNC polyhedra   Michael Classen
• [PPL-devel] Closed versus NNC polyhedra   Roberto Bagnara
• [PPL-devel] configure fails...   Tovrea, George W (US SSA)
• [PPL-devel] configure fails...   Roberto Bagnara
• [PPL-devel] configure fails...   Tovrea, George W (US SSA)
• [PPL-devel] configure fails...   Roberto Bagnara
• [PPL-devel] cray_pointers_2.f90   Roberto Bagnara
• [PPL-devel] cray_pointers_2.f90   Konrad Trifunovic
• [PPL-devel] cray_pointers_2.f90   Sebastian Pop
• [PPL-devel] cray_pointers_2.f90   Konrad Trifunovic
• [PPL-devel] cray_pointers_2.f90   Sebastian Pop
• [PPL-devel] Graphite build fails if PPL configured with --disable-shared   Maik Beckmann
• [PPL-devel] integer versus rational solutions   Tobias Grosser
• [PPL-devel] integer versus rational solutions   P M Hill
• [PPL-devel] integer versus rational solutions   P M Hill
• [PPL-devel] integer versus rational solutions   Roberto Bagnara
• [PPL-devel] integer versus rational solutions   Tobias Grosser
• [PPL-devel] integer versus rational solutions   Konrad Trifunovic
• [PPL-devel] integer versus rational solutions   Roberto Bagnara
• [PPL-devel] integer versus rational solutions   Roberto Bagnara
• [PPL-devel] integer versus rational solutions   Konrad Trifunovic
• [PPL-devel] integer versus rational solutions   Konrad Trifunovic
• [PPL-devel] integer versus rational solutions   Konrad Trifunovic
• [PPL-devel] integer versus rational solutions   Enea Zaffanella
• [PPL-devel] integer versus rational solutions   Enea Zaffanella
• [PPL-devel] integer versus rational solutions   Konrad Trifunovic
• [PPL-devel] integer versus rational solutions   Roberto Bagnara
• [PPL-devel] integer versus rational solutions   Albert Cohen
• [PPL-devel] integer versus rational solutions   Roberto Bagnara
• [PPL-devel] integer versus rational solutions   Albert Cohen
• [PPL-devel] integer versus rational solutions   Tobias Grosser
• [PPL-devel] integer versus rational solutions   Albert Cohen
• [PPL-devel] integer versus rational solutions   Tobias Grosser
• [PPL-devel] integer versus rational solutions   Albert Cohen
• [PPL-devel] integer versus rational solutions   Tobias Grosser
• [PPL-devel] integer versus rational solutions   Michael Claßen
• [PPL-devel] integer versus rational solutions   Roberto Bagnara
• [PPL-devel] integer versus rational solutions   Roberto Bagnara
• [PPL-devel] integer versus rational solutions   Albert Cohen
• [PPL-devel] integer versus rational solutions   Roberto Bagnara
• [PPL-devel] integer versus rational solutions   Michael Claßen
• [PPL-devel] integer versus rational solutions   Albert Cohen
• [PPL-devel] integer versus rational solutions   Roberto Bagnara
• [PPL-devel] integer versus rational solutions   Michael Classen
• [PPL-devel] integer versus rational solutions   Michael Classen
• [PPL-devel] integer versus rational solutions   Roberto Bagnara
• [PPL-devel] integer versus rational solutions (fwd)   P M Hill
• [PPL-devel] integer versus rational solutions (fwd)   P M Hill
• [PPL-devel] integer versus rational solutions (fwd)   P M Hill
• [PPL-devel] integer versus rational solutions (fwd)   P M Hill
• [PPL-devel] integer versus rational solutions (fwd)   P M Hill
• [PPL-devel] integer versus rational solutions (fwd)   P M Hill
• [PPL-devel] integer versus rational solutions (fwd)   Michael Classen
• [PPL-devel] integer versus rational solutions (fwd)   P M Hill
• [PPL-devel] Mark Mitchell - Graphite Merge Expected in Mid/Late July   Roberto Bagnara
• [PPL-devel] New deterministic timeout facilities of the PPL and PWL   Sebastian Pop
• [PPL-devel] New deterministic timeout facilities of the PPL and PWL   Roberto Bagnara
• [PPL-devel] New deterministic timeout facilities of the PPL and PWL   Roberto Bagnara

Last message date: Fri Jul 31 13:16:14 CEST 2009
Archived on: Fri Jan 20 18:10:34 CET 2012

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