July 2010 Archives by author

Messages sorted by: [ thread ] [ subject ] [ date ]
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] [GIT] ppl/ppl(floating_point): Changed operator names. Abramo Bagnara
[PPL-devel] [GIT] ppl/ppl(floating_point): Added a skeleton for the new linearization function. Abramo Bagnara
[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): Added is and as methods. Abramo Bagnara
[PPL-devel] [GIT] ppl/ppl(master): Moved two methods in the right place. Abramo Bagnara
[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): Added the class Concrete_Expression_Type. Roberto Bagnara
[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits Roberto Bagnara
[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): Consistently use the typedefs. Roberto Bagnara
[PPL-devel] [GIT] ppl/ppl(master): Added missing inclusion. Roberto Bagnara
[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): 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): 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): 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): 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): 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(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(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(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
[PPL-devel] build fails for ppl-0.10.2; ppl_interface_generator_c_cc_files.m4 "killed". Pat Hill
[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". Steve Murphy
[PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: drop optimizations meant for sparse implementations that are about to be removed . Marco Poletti

Last message date: Sat Jul 31 16:08:26 CEST 2010
Archived on: Sun Mar 6 09:35:43 CET 2022

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

This archive was generated by Pipermail 0.09 (Mailman edition).