October 2009 Archives by date
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): Implemented cut generation. Not stable yet.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added test problem.
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): Fixed a few typos.
Fabio Bossi
- [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): 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): 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 few comments.
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): Improved display in noisy mode.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed bug in compatiblity_check().
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] [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] Parametric integer linear programming solver
Sebastian Pop
- [PPL-devel] [GIT] ppl/ppl(pip): Added implementations for PIP_Problem swap and operator = methods.
Enea Zaffanella
- [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 call to the solver to check problem satisfiability.
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] Parametric integer linear programming solver
Albert Cohen
- [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] [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] Fix needed to build gcc for x86/solaris
Daniel Gutson
- [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): Added new test, which should return an empty solution.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Always stop compatibility check at first negative row.
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] [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] Parametric integer linear programming solver
Roberto Bagnara
- [PPL-devel] Fix needed to build gcc for x86/solaris
Roberto Bagnara
- [PPL-devel] Parametric integer linear programming solver
Sebastian Pop
- [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 test program for PIP C interface.
François 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 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] Fix needed to build gcc for x86/solaris
Daniel Gutson
- [PPL-devel] Sample examples of use of PPL
Roberto Bagnara
- [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
Roberto Bagnara
- [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] Modified PPL 0.10.2 source distribution for Solaris
Daniel Gutson
- [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] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.
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): Fixed one bug in standalone PIP solver.
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): Added a standalone PIP solver demo program.
Sven Verdoolaege
- [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
alanpae at ilkda.com
- [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 a bug in PIP standalone solver.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Minor fix in PIP standalone solver.
François Galea
- [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
Last message date:
Sat Oct 31 10:10:25 CET 2009
Archived on: Sun Mar 6 09:35:41 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).