July 2010 Archives by date

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

Starting: Fri Jul 2 01:33:50 CEST 2010
Ending: Sat Jul 31 16:08:26 CEST 2010
Messages: 85

• [PPL-devel] build fails for ppl-0.10.2; ppl_interface_generator_c_cc_files.m4 "killed".   Steve Murphy
• [PPL-devel] build fails for ppl-0.10.2; ppl_interface_generator_c_cc_files.m4 "killed".   Pat Hill
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Started working on the new scheme for the representation of concrete expressions .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Started drafting the classes to be used withing the PPL for testing purposes .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Some progress in the definition of the classes.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Changed operator names.   Abramo Bagnara
• [PPL-devel] build fails for ppl-0.10.2; ppl_interface_generator_c_cc_files.m4 "killed".   Steve Murphy
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added the class Concrete_Expression_Type.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: drop optimizations meant for sparse implementations that are about to be removed .   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed Concrete_Expression. cc so that it compiles   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented compute_absolute_error.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added class absolute_error.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Do not const-qualify by-copy parameters in declarations.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented Linear_Form::overflows and   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed error in the use of NDEBUG.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed iostream inclusion.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented Linear_Form::intervalize ( still not compiling,   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Made class absolute_error a struct.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Correctly handle unexpected formats.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Removed class absolute_error.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a typo in the inclusion guard.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Removed two probable unnecessary inclusions.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a typo.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added a FIXME note.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Restored inclusion of Polyhedron.defs. hh to allow   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Avoid a cyclic dependency problem ( make check still doesn't work).   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added missing inline specifier.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added a few trivial tests.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added a skeleton for the new linearization function.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added a skeleton for the new linearization function.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Some progress with the linearization algorithm.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Small improvement in bnot_linearize.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed operator names.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added some documentation.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Started rewriting the incarnation of concrete expression to be used in PPL tests .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Makefile.am:   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Adapted to latest changes in Concrete_Expression's   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Consistently use the typedefs.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added some documentation.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Removed an assertion.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Concrete_Expression:   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added method associated_dimension.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): linearize.hh:   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed bad spacing.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Concrete_Expression:   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Use values of enum Floating_Point_Format   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a few mistakes.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Various changes.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added test file for the new linearization algorithm.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Improved inheritance relations.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed typos.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed several mistakes in linearize and started   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added two FIXME notes.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added two simple tests.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a typo.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added a few tests.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(master): Added missing inclusion.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added is and as methods.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Commented and moved methods is() and as().   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug in is().   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Constructors now take a Concrete_Expression_Type.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Avoid dangerous casts when computing errors.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added method get_integer_interval() ( make check not working yet).   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug in DB_Row_Impl_Handler<T>::Impl:: construct_upward_approximation(const U&).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug in DB_Row_Impl_Handler<T>::Impl:: expand_within_capacity(dimension_type).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Unwanted assertions removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added missing inclusion.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug in DB_Row_Impl_Handler<T>::Impl: :expand_within_capacity(dimension_type).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Unwanted assertions removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug in DB_Row_Impl_Handler<T>::Impl: :construct_upward_approximation(const U&).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Merge branch 'master' into floating_point   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Corrected the policy values.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added linearization of cast expressions along with a   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Removed a test file.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Avoid adding errors when casting to a more precise   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(master): Moved two methods in the right place.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Do not add errors after rounding to a less precise format.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Started rewriting tests on digital filters.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Rewritten test05 ( still lacks proper use of the linear   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Float:   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Do not perform interval analysis on an assignment   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(floating_point): Rewritten test06 and test07.   Fabio Bossi

Last message date: Sat Jul 31 16:08:26 CEST 2010
Archived on: Fri Jan 20 18:10:38 CET 2012

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