October 2009 Archives by thread

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

Starting: Thu Oct 1 15:06:40 CEST 2009
Ending: Sat Oct 31 10:10:25 CET 2009
Messages: 134

• [PPL-devel] [GIT] ppl/ppl(floating_point): Added two TODO notes.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Corrected tests with Intervals and Octagons in digitalfilters1.cc.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(pip): Fixed bugs.   François Galea
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a few assertions.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Modified test03 and test04.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented test of rate limiter using polyhedra abstract domain.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed bug in BD_Shape<T>:: two_variables_affine_image.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Improved BD_Shape<T>:: refine_with_linear_form_inequality.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented a test on rate limiter which uses octagons abstract   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(pip): Unified the common denominator between both matrices of the tableau.   François Galea
• [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented a test on polyhedra abstract domain with linearization   Roberto Amadini
  • [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented a test on polyhedra abstract domain with linearization   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Completed BagnaraHZ09TCS.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed comments.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added widening and extrapolation operators in test01, test02,   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Modified test01, test02, test03 and test04.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(pip): Added test problem.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Implemented cut generation. Not stable yet.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Added code for selection of the deepest cut.   François Galea
• [PPL-devel] [GIT] ppl/ppl(floating_point): Modified test03, test05 and test06.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Do not use an abstract store: extract lower and upper bounds of variables   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a few typos.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Removed abstract_store parameter of Polyhedron::affine_image and   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed Polyhedron:: refine_with_linear_form_inequality.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Removed few comments.   Fabio Biselli
• [PPL-devel] [GIT] ppl/ppl(floating_point): Extended float_ieee754_half format.   Fabio Biselli
• [PPL-devel] [GIT] ppl/ppl(floating_point): Minor changes.   Fabio Biselli
• [PPL-devel] [GIT] ppl/ppl(floating_point): Removed comments.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Computed the largest non-infinity number in digitalfilters1.cc   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed test03.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(pip): Fixed bug in compatiblity_check().   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Improved display in noisy mode.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Added generation of non-parametric cuts.   François Galea
• [PPL-devel] [GIT] ppl/ppl(floating_point): Changed loop-guards in the first four test of digitalfilters1.cc   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(pip): Improved accuracy of context compatibility checks.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Minor fixes in Doxygen documentation.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Removed useless pointer to problem object in PIP_Tree_Node.   François Galea
• [PPL-devel] [GIT] ppl/ppl(floating_point): Using uint16_t instead of uint32_t in float_ieee754_half.   Fabio Biselli
• [PPL-devel] [GIT] ppl/ppl(pip): Added a very basic interface for C to the PIP_Problem class.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed test05.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(pip): Added 2 more functions for the C interface to the PIP_Problem class.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(pip): More consistent naming of variables.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(floating_point): Removed a comment.   Fabio Biselli
• [PPL-devel] [GIT] ppl/ppl(pip): Commented PIP_Problem code in the C interface that requires methods   Patricia Hill
• [PPL-devel] Parametric integer linear programming solver   Roberto Bagnara
  • [PPL-devel] Parametric integer linear programming solver   Sebastian Pop
  • [PPL-devel] Parametric integer linear programming solver   Albert Cohen
    • [PPL-devel] Parametric integer linear programming solver   Roberto Bagnara
      • [PPL-devel] Parametric integer linear programming solver   Sebastian Pop
• [PPL-devel] [GIT] ppl/ppl(pip): Fixed memory leak.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Implemented missing methods.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Uncommented C interface code for add_constraint(),   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(pip): Implemeted missing methods.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Uncommented methods for the C interface for the PIP_Problem.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(pip): Removed trailing whitespaces.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Added missing headers for ppl_PIP_Problem_solve and   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(pip): Added implementations for PIP_Problem swap and operator = methods.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Added call to the solver to check problem satisfiability.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Fixed memory managment issue in copy constructor of PIP_Problem.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Added the c interface for as_decision() and as_solution ().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(pip): Added several C functions for PIP_Tree_Node and Artificial_Parameter*.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(pip): Improved best pivot row selection heuristic.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Fixed various bugs in the C interface for PIP_Problem methods.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(pip): More functions for the C interface to the PIP Tree class   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(pip): Uncommented C interface code for PIP_Problem assignment .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/w3ppl(master): Added the online version of BagnaraHZ09CGTA.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Optimized pivot operation.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Integrality check only on the original variables ( not slack ones).   François Galea
• [PPL-devel] [GIT] ppl/ppl(floating_point): Modified widening in test05 and test06.   Roberto Amadini
• [PPL-devel] warning GMP -fexception message on configure   Reimundo Heluani
  • [PPL-devel] warning GMP -fexception message on configure   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Added a test case illustrating an instability in the PIP solver.   François Galea
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added Floating_Point_Expression.templates. hh into documentation.   Fabio Biselli
• [PPL-devel] [Fwd: Re: warning GMP -fexception message on configure]   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added float_ibm_single declaration into class Float<T>.   Fabio Biselli
• [PPL-devel] Fix needed to build gcc for x86/solaris   Daniel Gutson
  • [PPL-devel] Fix needed to build gcc for x86/solaris   Roberto Bagnara
    • [PPL-devel] Fix needed to build gcc for x86/solaris   Daniel Gutson
      • [PPL-devel] Fix needed to build gcc for x86/solaris   Roberto Bagnara
      • [PPL-devel] Fix needed to build gcc for x86/solaris   Daniel Gutson
      • [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris   Roberto Bagnara
      • [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris   Daniel Gutson
• [PPL-devel] [GIT] ppl/ppl(pip): Corrected invalid compatibility check algorithm.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Better use of scaling and normalization to keep low coefficient values   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Improved the heuristic for the choice of the deepest cut.   François Galea
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added BASE field to floating point struct.   Fabio Biselli
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added a test on BD_Shape, improved a test on Polyhedra.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added FIXME notes.   Roberto Amadini
• [PPL-devel] SWI Prolog support added to the Debian package   Israel Herraiz
  • [PPL-devel] SWI Prolog support added to the Debian package   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Documentation updates.   Fabio Biselli
• [PPL-devel] [GIT] ppl/ppl(pip): Always stop compatibility check at first negative row.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Added new test, which should return an empty solution.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Added display of computed row parameter signs in noisy PIP mode.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Parameter compatibility check now applies a revised dual simplex method.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pi): Context compatibility check now searches for valid integer solutions.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Context compatibility check now searches for valid integer solutions.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Removed invalid optimization in context compatibility check.   François Galea
• [PPL-devel] Sample examples of use of PPL   Étienne André
  • [PPL-devel] Sample examples of use of PPL   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Put under Git control.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Adapted to the checking of ppl_pips.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Ditribute also MIP_Problem.types.hh, PIP_Tree.types. hh and PIP_Problem.types.hh.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Refer to PPL 0.11, not 0.10.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   Sven Verdoolaege
• [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   Sven Verdoolaege
  • [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   Francois Galea
• [PPL-devel] [GIT] ppl/ppl(pip): New parameter choice method. Updated the C interface.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Added test program for PIP C interface.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   Sven Verdoolaege
  • [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Added increment, dereference and equal functions   Patricia Hill
• [PPL-devel] [Fwd: Re: Modified PPL 0.10.2 source distribution for Solaris]   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Interfaced constructor/ destructor for Artificial_Parameter_Sequence iterators.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Another pass on the C interface for PIP_Problem related classes.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Fixed the C interface and the documentation for PIP_Tree_Node methods.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Added support for equality constraints; fixed a bug for strict inequalities.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Added support for Polylib-formatted files in standalone solver.   François Galea
• [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   Sven Verdoolaege
  • [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   François Galea
    • [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   Sven Verdoolaege
      • [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   Sven Verdoolaege
      • [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   Sven Verdoolaege
      • [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   Francois Galea
      • [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   Sven Verdoolaege
      • [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.   Sven Verdoolaege
• [PPL-devel] [GIT] ppl/ppl(pip): Fixed one bug in standalone PIP solver.   François Galea
• [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris   alanpae at ilkda.com
• [PPL-devel] [GIT] ppl/ppl(pip): Fixed a bug in PIP standalone solver.   François Galea
• [PPL-devel] [GIT] ppl/ppl(pip): Minor fix in PIP standalone solver.   François Galea

Last message date: Sat Oct 31 10:10:25 CET 2009
Archived on: Fri Jan 20 18:10:35 CET 2012

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