September 2009 Archives by subject
Starting: Tue Sep 1 09:59:07 CEST 2009
Ending: Wed Sep 30 18:54:13 CEST 2009
Messages: 317
- [PPL-devel] [Fwd: Re: PPL on a Power6 running AIX]
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Adapted test files to new representation of interval abstract stores.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Adapted the class to the policies defined in Float.defs.hh.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a couple of assertions.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a couple of simple tests.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a few classes that represent floating point expressions.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a few details about other floating point formats.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a few lines of documentation that were previously forgotten.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a few more classes for floating point expressions.
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a few more implementations of the linearization operator.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a first, untested implementation of
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a first implementation of overapproximate_linear_form.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a first implementation of refine_with_linear_form_inequality.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a first implementation of tests on Octagon and Polyhedra.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a first implementation of the relative_error and intervalize
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a first version of class Variable_Floating_Point_Expression.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added an auxiliary method.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added and modified some tests.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added and modified tests.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added and modified tests in order to reach the coverage of 100%
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added another helper function.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added another test.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added another test.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added another test. Coverage of 100% reached for affine_image and
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added another test for the general case of affine_image.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a preliminary version of test05. Edited previous tests.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a skeleton for the rest of the affine_image implementation.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a temporary implementation for external method neg_assign.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a test.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a test.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a test.
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a test directory ( and a dummy test file).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a test for Octagonal_Shape:: affine_image in
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a test for trivial cases of BD_Shape:: affine_image.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a test in polyhedron2.cc
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a trivial implementation of
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a workaround for the fact that we don' t have an explicit way to
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added Fabio Biselli to the list of current contributors.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added Fabio Bossi to the list of current contributors.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added few tests;
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added function BD_Shape::affine_image( const Variable& var,
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added interfaces (and empty body) of two new methods.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added Latex macro for abstract division.
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added Linear_Form into doxyconf file
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added linearization operator for
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added missing assertion and FIXME note.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added missing const qualifiers.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added missing multiplications by 2.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added missing static_casts in Linear_Form.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added missing static casts so that tests now pass again.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added more cases for refine_linear_form_inequality.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added more documentation
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added more floating point formats.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added more typedefs and one test.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added necessary static_cast when computing absolute error.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added necessary typedefs for tests. Removed garbage.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added new macros into doc/ppl.sty
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added new test.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added one test.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added operator/= and method negate for class Linear_Form.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added other simple cases of affine_image.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added Roberto Amadini to the list of current contributors.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added several corrections in order to parametrize floatingpointexpr1.cc
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added some (and corrected some of the) documentation.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added some comments.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added some documentation.
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added some documentation.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added some infrastructure to perform parametric tests.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added some more documentation.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added some tests.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added some tests in tests/ Floating_Point_Expression/polyhedron1.cc
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added swap functions and inhibited assignment and copy constructor.
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added test for Octagonal_Shape<T>:: refine_fp_interval_abstract_store.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added test for unary minus and multiplication by constant.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added the constructor Constant_Floating_Point_Expression(const char*).
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added two more tests in refinelf1.cc
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added two simple tests.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added two tests.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added two tests.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added two tests. Particular cases totally covered.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added two tests;
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Always assert that all variables in the abstract store are bounded.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Always use add_octagon_constraint to update contraints in
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Always use Box instead of map for interval abstract stores.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Assert that the octagon is not empty when refining, since the analyzer
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Bugs fixes
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Completed the method refine_with_linear_form_inequality();
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Converted helpers to work also for native numbers.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Corrected absolute error calculation to account for underflows.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Corrected the interface of method linearize.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Corrected the interface of the two-argument constructor.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Coverage of 100% reached for refine_with_linear_form_inequality.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Definitively removed counterproductive checks in
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Deleted a superfluous test.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Deleted a useless tests file.
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Deleted FIXME note.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Documentation improved.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Documentation updates
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Do not ignore undefined variables while intervalizing: assert that they
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Do not reset strong closure manually since add_octagonal_constraint
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Extended method linearize to also accept a linear form abstract store.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Few tests added;
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Finished to test Polyhedron::affine_image.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Finished writing a first implementation of convert_to_integer_expression
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Finished writing a first version of our affine_image variant.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug in affine_image and implemented three new tests.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug in affine_image and modified one_variable_affine_image.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug in BD_Shape<T>:: affine_image and added more tests for
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug in Linar_Form::operator== where zero coefficients were not
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug in Linear_Form::operator<<()
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug in method relative_error.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug in operator==.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a couple of syntax errors.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a few typos.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a few typos preventing compilation.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed an error in command invocation.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed an error in method linearize.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed an error in relative_error.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed an error introduced by previous commit .
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed another small documentation inconsistency.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed another small error in the documentation.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed another typo that prevented compilation of tests.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a typo that prevented compilation of tests.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed bad use of constructor.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed bug in Linear_Form.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed comments and documentation
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed documentation
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed erroneous declarations of namespace std inside namespace
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed erroneous use of const&.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed few bugs in inhomogeneous_refine();
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed few typo
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed inclusion guards.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed inclusions.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed indentation.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed many errors.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed one cut-&-paste error.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed one nasty cut & paste error.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed one small typo.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed one typo.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed operator>>(std::istream&, Interval< Boundary, Info>&).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed pedix.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed test04: do not perform floating point operations outside of the interval
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed test05.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed test05.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed two serious bugs in linear_form_upper_bound.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed typo.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed various errors.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): For consistency, use std::numeric_limits<T>: :is_exact in order to check
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Forgot to pass the common denominator to bounded_affine_image.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Grammar fix in the documentation.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented another case for affine_image.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented a preliminary (yet untested) version of methods
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented generalized_refine_with_linear_form_inequality.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented linearization operator for
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented methods BD_Shape<T>:: inhomogeneous_affine_image and
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented tests (from test04 to test08).
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Improved test05
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Improved test for class Linear_Form.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Improved tests. Now they all pass and reach the maximum coverage.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): It is NECESSARY to delay the update of unary constraints on var.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Little correction in two_variables_affine_image method.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Made absolute_error constant.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Made the refine_fp_interval_abstract_store methods inline.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Many corrections.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Modified poyhedron2. cc in order to test NNC_Polyhedron and
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Modified test04 and test05.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): More additions and corrections to the documentation.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): More documentation.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Moved linearform1.cc into tests/Polyhedron.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Notify that open intervals should not be allowed.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Now the trivial case of affine_image works.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Optimized linear_form_upper_bound: got rid of two unnecessary
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Optimized refine_with_linear_form_inequality , removing six temporaries
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Other small corrections to the documentation .
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Parametrized floatingpointexpr1.cc
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Parametrized linearform1.cc and bdshape1.cc
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Parametrized tests for Octagonal_Shape.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Partial implementation of refine_with_linear_form_inequality();
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Pass variables to affine_image as const references.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Pass variables to affine_image by copy.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Predisposed everything to start implementing our own customized version
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Refactoring of test files into test/ Floating_Point_Expression.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Remove all references to floating point format f.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed a bug in test functions. Added a test for general case.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed ad useless parameter in linear_form_upperbound();
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed a temporary using sub_assign_r instead of add_assign_r
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed commented code in floatingpointexpr1 .cc
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed comments.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed dummy linearization operators.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed garbage
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed outdated FIXME note.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed spurious occurrence of a closing comment, preventing compilation.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed the check on empty octagons in function test01.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed trailing whitespace.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed trailing whitespaces.
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed two unused parameters;
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed unnecessary temporaries from affine_image.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed useless comments.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed useless emptiness check.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Renamed float_IBM_single and float_IBM_double lowering the case for IBM.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Replaced typedefs according to the new policies.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Rewritten according to Enea's indications.
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Small documentation corrections.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Small documentation improvements.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Small progress in writing convert_to_integer_expressions.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Spurious print statement removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Started the implementation of our affine_image variant.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Started to test analysis on digital filters.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Started to test Polyhedron:: affine_image on FP_Linear_Form.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Start to test Octagonal_Shape:: refine_with_linear_form_inequality.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Sterted writing the functions that are used to convert floating point
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Style improvements.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Temporarily edited tests/ Floating_Point_Expression/Makefile.am
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Updated documentation
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Updated intervalize documentation;
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Updated linearization documentation;
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Update documentation
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Update variale and constant documentations
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use 0 instead of NULL.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use \defeq instead of = for definitions.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use \infty instead of \infinity.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use Box to represent an interval abstract store.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use new linearization macro.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use PPL_COMPILE_TIME_CHECK insteas of PPL_ASSERT whenever possible.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use references instead of pointers whenever possible.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use ROUND_DOWN instead of ROUND_UP to compute the negation of the upper
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use ROUND_UP (or, in one case where intervals are involved, ROUND_DOWN)
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use the proper exception thrower.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Various corrections.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Written a preliminary, non working first part of our variant of
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Written Polyhedron:: refine_fp_interval_abstract_store.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Wrote a first implementation of refine_with_linear_form_inequality.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(master): Added missing comment.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Corrected a couple of typos in documentation of Variables_Set.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Do not include <stdint.h>.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed and simplified DIRTY_TEMP for use with -fno-elide-constructors.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed operator>>(std::istream&, Interval<Boundary, Info>&).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed several rounding modes in Octagonal_Shape methods.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Make sure the latest changes to NDEBUG effective.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Make sure uintptr_t is defined, if at all possible.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): New constructor explicit Interval::Interval( const char* s).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Spurious print statement removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Suggest using -fno-elide-constructors when configuring for coverage.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Added additional check in simplex, leading to simpler decision trees.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added first tests in OK() methods of PIP_Tree classes.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added mechanism for fetching parametric values for variables.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added reference to the Problem object in solution tree Nodes.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added support for adding constraints in initial context .
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added test02().
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Bug fixes.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Changed index ordering in parameter constraints.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Changed modelization of contexts from Constraint_System to Matrix.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Corrected bug in PIP_Problem:: add_space_dimensions_and_embed().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Correctly deal with pipproblem1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Do perform PIP_Problem tests first.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Do perform PIP_Problem tests first.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Drafted implementation for ascii_dump and ascii_load methods.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Drafted implementation for ascii_dump and ascii_load methods.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Finished parametric simplex algorithm. No cut generation yet.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Fix compilation problems when assertions are turned on.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed ASCII dump/load methods, solving compilation issues.
Francois GALEA
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed bugs.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed missing make dependency for recently added header file.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed regression due to change in index ordering in parameter constraints.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Fixes to avoid some useless Coefficient duplicates.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Identifiers starting with an underscore are reserved: avoid them.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented additional steps of the simplex algorithm.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented constraint negation, plus minor fixes.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented display of solution trees.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented handling of artificial parameters, preparing cut generation.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented integer context compatibility check.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented methods querying/ adding space dimensions and parameters.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented proper handling of nonbasic variables when adding rows.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented row sign detection.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented simplex basis and tableau initialization in PIP solver.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented simplex pivot on rational matrices.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented some helper functions for the PIP solver.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented the first steps of the parametric simplex algorithm.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented the Rational_Matrix normalize method.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Improved recently added helper functions.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Included the PIP_Problem and PIP_Tree classes in the devref documentation.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Integrated the solve method in the different PIP_Tree node classes.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Listed François Galea among the current contributors .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Minor coding style improvements.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Minor coding style improvements.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Modified prototype for solve method in PIP_Tree_Node and derivates.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Moved the constraint() method to PIP_Tree_Node class.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Moved the simplex tableau from PIP_Problem to PIP_Solution_Node.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Proper update of internal state of PIP_Problem object.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Redefined and implemented the tree node constructors.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Removed useless parameter in PIP_Tree_Node:: update_tableau method.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Renamed to follow the PPL convention on test file naming.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): started the implementation of the PIP_Problem class
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Started the implementation of the PIP_Problem class.
François Galea
- [PPL-devel] [GIT] ppl/w3ppl(master): Added BagnaraHZ09CGTA.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): BagnaraHZ09TCS completed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Put under Git control.
Roberto Bagnara
- [PPL-devel] about install PPL under SGI IRIX 6.5
陈功
- [PPL-devel] about install PPL under SGI IRIX 6.5
Roberto Bagnara
- [PPL-devel] about install PPL under SGI IRIX 6.5
陈功
- [PPL-devel] about install PPL under SGI IRIX 6.5
Roberto Bagnara
- [PPL-devel] PPL fails to build on SGI - with config.log.bz2
Tovrea, George W (US SSA)
- [PPL-devel] PPL on a Power6 running AIX
Davide Del Vento
- [PPL-devel] PPL on a Power6 running AIX
Roberto Bagnara
- [PPL-devel] PPL on a Power6 running AIX
Davide Del Vento
- [PPL-devel] PPL on a Power6 running AIX
Enea Zaffanella
- [PPL-devel] PPL on a Power6 running AIX
Davide Del Vento
- [PPL-devel] PPL on a Power6 running AIX
Enea Zaffanella
- [PPL-devel] PPL on a Power6 running AIX
Enea Zaffanella
- [PPL-devel] PPL on a Power6 running AIX
Davide Del Vento
- [PPL-devel] PPL on a Power6 running AIX
Roberto Bagnara
- [PPL-devel] PPL on a Power6 running AIX
Davide Del Vento
- [PPL-devel] PPL on a Power6 running AIX
Roberto Bagnara
Last message date:
Wed Sep 30 18:54:13 CEST 2009
Archived on: Sun Mar 6 09:35:41 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).