- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(bounded_arithmetic): Added function operator<< into Linear_Form.templates.hh,
by Alberto Gioia 05 May '11

05 May '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 87362a97f7fa7c07d9c48cf1204ff1419242f871 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87362a97f7fa… Author: Alberto Gioia <alberto.gioi1(a)studenti.unipr.it> Date: Thu May 5 15:50:17 2011 +0200 Added function operator<< into Linear_Form.templates.hh, and into Interval.defs.hh and Interval.inlines.hh added functions operator<< and lshift_assign. This functions are necessary for the linearization of the bitwise operator LEFT_SHIFT. The following file includes two functions needed to manipulate the second operator of a type expression LSHIFT. tests/Concrete_Expression/Number_Convertion.cc --- src/Interval.defs.hh | 12 +++ src/Interval.inlines.hh | 100 ++++++++++++++++++++++++ src/Linear_Form.templates.hh | 13 +++ tests/Concrete_Expression/C_Expr.defs.hh | 1 - tests/Concrete_Expression/Number_Convertion.cc | 28 +++++++ tests/Concrete_Expression/digitalfilters1.cc | 8 ++- tests/Concrete_Expression/linearize_integer.hh | 66 +++++++++++++--- 7 files changed, 213 insertions(+), 15 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=87362a97…

1 0

[GIT] ppl/ppl(master): Merge branch 'floating_point'
by Roberto Bagnara 04 May '11

04 May '11

Module: ppl/ppl Branch: master Commit: 3616d591577d423267e19a127d48c0027b635b1d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3616d591577d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 4 14:47:10 2011 +0200 Merge branch 'floating_point' ---

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 04 May '11

04 May '11

Module: ppl/ppl Branch: master Commit: e1cf43ab6cd604855a4b94256a20979e28192980 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1cf43ab6cd6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 4 14:37:21 2011 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index eab6bfe..32a7756 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.12pre1], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.12pre2], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(floating_point): Version number bumped.
by Roberto Bagnara 04 May '11

04 May '11

Module: ppl/ppl Branch: floating_point Commit: e1cf43ab6cd604855a4b94256a20979e28192980 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1cf43ab6cd6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 4 14:37:21 2011 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index eab6bfe..32a7756 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.12pre1], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.12pre2], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Fixed some bugs in the documentation for the MIP and PIP problems.
by Patricia Hill 04 May '11

04 May '11

Module: ppl/ppl Branch: master Commit: 2e71dea17ca82986fa7168af9e7ab5dafedeb215 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e71dea17ca8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 4 12:26:14 2011 +0100 Fixed some bugs in the documentation for the MIP and PIP problems. --- interfaces/Prolog/Prolog_interface.dox | 107 ++++++++++++++++++-------------- 1 files changed, 61 insertions(+), 46 deletions(-) diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox index 5bcd02f..f6d11dd 100644 --- a/interfaces/Prolog/Prolog_interface.dox +++ b/interfaces/Prolog/Prolog_interface.dox @@ -529,12 +529,13 @@ defining mixed integer (linear) programming problems. <CODE>Handle</CODE> is unified with the handle for \f$\mathrm{MIP}\f$. <CODE> - ppl_new_MIP_Problem(+Constraint_System, +Lin_Expr, +Optimization_Mode, - -Handle) + ppl_new_MIP_Problem(+Dimension_Type, +Constraint_System, +Lin_Expr, + +Optimization_Mode, -Handle) </CODE> Creates an MIP Problem \f$\mathrm{MIP}\f$ with - the feasible region represented by <CODE>Constraint_System</CODE>, + the feasible region the vector space of dimension + <CODE>Dimension_Type</CODE>, represented by <CODE>Constraint_System</CODE>, objective function <CODE>Lin_Expr</CODE> and optimization mode <CODE>Optimization_Mode</CODE>. <CODE>Handle</CODE> is unified with the handle for \f$\mathrm{MIP}\f$. @@ -733,6 +734,14 @@ defining mixed integer (linear) programming problems. satisfies all its implementation invariants. Useful for debugging purposes. +<CODE> + ppl_MIP_Problem_ascii_dump(+Handle) +</CODE> + + Dumps an ascii representation of the PPL internal state for + the MIP problem referenced by <CODE>Handle</CODE> on + the standard output. + \anchor pip_predicates @@ -750,6 +759,13 @@ defining parametric integer programming problems. <CODE>Handle</CODE> is unified with the handle for \f$\mathrm{PIP}\f$. <CODE> + ppl_new_PIP_Problem_from_PIP_Problem(+Handle_1, -Handle_2) +</CODE> + Creates a PIP Problem \f$\mathrm{PIP}\f$ from the PIP Problem + referenced by \c Handle_1. + \c Handle_2 is unified with the handle for \f$\mathrm{PIP}\f$. + +<CODE> ppl_new_PIP_Problem(+Dimension_Type, +Constraint_System, +Vars_List, -Handle) </CODE> @@ -761,13 +777,6 @@ defining parametric integer programming problems. <CODE>Handle</CODE> is unified with the handle for \f$\mathrm{PIP}\f$. <CODE> - ppl_new_PIP_Problem_from_PIP_Problem(+Handle_1, -Handle_2) -</CODE> - Creates a PIP Problem \f$\mathrm{PIP}\f$ from the PIP Problem - referenced by \c Handle_1. - \c Handle_2 is unified with the handle for \f$\mathrm{PIP}\f$. - -<CODE> ppl_PIP_Problem_swap(+Handle_1, +Handle_2) </CODE> Swaps the PIP Problem referenced by <CODE>Handle_1</CODE> @@ -803,6 +812,14 @@ defining parametric integer programming problems. referenced by <CODE>Handle</CODE>. <CODE> + ppl_PIP_Problem_get_control_parameter(+Handle, +Control_Parameter_Name, + ?Control_Parameter_Value) +</CODE> + + Unifies \c Control_Parameter_Value with the value of the + control parameter \c Control_Parameter_Name. + +<CODE> ppl_PIP_Problem_clear(+Handle) </CODE> Resets the PIP problem referenced by <CODE>Handle</CODE> @@ -839,18 +856,12 @@ defining parametric integer programming problems. <CODE>Constraint_System</CODE>. <CODE> - ppl_PIP_Problem_set_big_parameter_dimension(+Handle, +Dimension_Type) + ppl_PIP_Problem_set_control_parameter(+Handle, +Control_Parameter_Value) </CODE> Updates the PIP Problem referenced by <CODE>Handle</CODE> - so that the dimension for the big parameter is \p Dimension_Type. - -<CODE> - ppl_PIP_Problem_has_big_parameter_dimension(+Handle, +Dimension_Type) -</CODE> - Succeeds if and only if the PIP Problem referenced by - <CODE>Handle</CODE> has a dimension \p dim for the big parameter - and \p Dimension_Type unifies with \p dim. + so that the value for the relevant control parameter name is + changed to <CODE>Control_Parameter_Value</CODE>. <CODE> ppl_PIP_Problem_is_satisfiable(+Handle) @@ -883,36 +894,32 @@ defining parametric integer programming problems. solution if a solution exists and bottom otherwise \c Handle_2 is unified with the handle for \f$\mathrm{Sol}\f$. -<CODE>ppl_PIP_Problem_ascii_dump(+Handle)</CODE> - Dumps an ascii representation of the PPL internal state for - the PIP problem referenced by \c Handle on the standard output. - <CODE> - ppl_PIP_Problem_OK(+Handle) + ppl_PIP_Problem_has_big_parameter_dimension(+Handle, +Dimension_Type) </CODE> - Succeeds only if the PIP Problem referenced by - <CODE>Handle</CODE> is well formed, i.e., if it - satisfies all its implementation invariants. - Useful for debugging purposes. + Succeeds if and only if the PIP Problem referenced by + <CODE>Handle</CODE> has a dimension \p dim for the big parameter + and \p Dimension_Type unifies with \p dim. <CODE> - ppl_PIP_Tree_Node_swap(+Handle_1, +Handle_2) + ppl_PIP_Problem_set_big_parameter_dimension(+Handle, +Dimension_Type) </CODE> - Swaps the PIP tree node referenced by <CODE>Handle_1</CODE> - with the one referenced by <CODE>Handle_2</CODE>. -<CODE>ppl_PIP_Tree_Node_ascii_dump(+Handle)</CODE> - Dumps an ascii representation of the PPL internal state for - the PIP tree node referenced by \c Handle on the standard output. + Updates the PIP Problem referenced by <CODE>Handle</CODE> + so that the dimension for the big parameter is \p Dimension_Type. <CODE> - ppl_PIP_Tree_Node_OK(+Handle) + ppl_PIP_Problem_OK(+Handle) </CODE> - Succeeds only if the PIP tree node referenced by + Succeeds only if the PIP Problem referenced by <CODE>Handle</CODE> is well formed, i.e., if it satisfies all its implementation invariants. Useful for debugging purposes. +<CODE>ppl_PIP_Problem_ascii_dump(+Handle)</CODE> + Dumps an ascii representation of the PPL internal state for + the PIP problem referenced by \c Handle on the standard output. + <CODE> ppl_PIP_Tree_Node_constraints(+Handle, ?Constraint_System) </CODE> @@ -921,11 +928,16 @@ defining parametric integer programming problems. referenced by <CODE>Handle</CODE>. <CODE> - ppl_PIP_Tree_Node_artificials(+Handle, ?Artificial_Parameter_List) + ppl_PIP_Tree_Node_is_solution(+Handle) </CODE> - Unifies <CODE>Artificial_Parameter_List</CODE> with a list of - the artificial parameters in the PIP tree node - referenced by <CODE>Handle</CODE>. + Succeeds if and only if <CODE>handle</CODE> represents + a solution node. + +<CODE> + ppl_PIP_Tree_Node_is_decision(+Handle) +</CODE> + Succeeds if and only if <CODE>handle</CODE> represents + a decision node. <CODE> ppl_PIP_Tree_Node_is_bottom(+Handle) @@ -933,16 +945,19 @@ defining parametric integer programming problems. Succeeds if and only if <CODE>handle</CODE> represents bottom. <CODE> - ppl_PIP_Tree_Node_is_decision(+Handle) + ppl_PIP_Tree_Node_artificials(+Handle, ?Artificial_Parameter_List) </CODE> - Succeeds if and only if <CODE>handle</CODE> represents - a decision node. + Unifies <CODE>Artificial_Parameter_List</CODE> with a list of + the artificial parameters in the PIP tree node + referenced by <CODE>Handle</CODE>. <CODE> - ppl_PIP_Tree_Node_is_solution(+Handle) + ppl_PIP_Tree_Node_OK(+Handle) </CODE> - Succeeds if and only if <CODE>handle</CODE> represents - a solution node. + Succeeds only if the PIP tree node referenced by + <CODE>Handle</CODE> is well formed, i.e., if it + satisfies all its implementation invariants. + Useful for debugging purposes. <CODE> ppl_PIP_Tree_Node_parametric_values(+Handle, +Var, ?Lin_Expr)

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added functions operator^= and operator^ into Linear_Form.templates.hh,
by Alberto Gioia 04 May '11

04 May '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 962819f083329ddc94a037cf6b8379704df4c916 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=962819f08332… Author: Alberto Gioia <alberto.gioi1(a)studenti.unipr.it> Date: Wed May 4 13:01:45 2011 +0200 Added functions operator^= and operator^ into Linear_Form.templates.hh, and into Interval.defs.hh and Interval.inlines.hh added functions operator^= and xor_assign. This functions are necessary for the linearization of the bitwise operator XOR. --- src/Interval.defs.hh | 12 +++ src/Interval.inlines.hh | 95 ++++++++++++++++++++++++ src/Linear_Form.templates.hh | 47 ++++++++++++ tests/Concrete_Expression/linearize_integer.hh | 39 ++++++++-- 4 files changed, 187 insertions(+), 6 deletions(-) diff --git a/src/Interval.defs.hh b/src/Interval.defs.hh index 2314b42..02dee90 100644 --- a/src/Interval.defs.hh +++ b/src/Interval.defs.hh @@ -174,6 +174,13 @@ public: return *this; } + template <typename T> + typename Enable_If<Is_Singleton<T>::value || Is_Interval<T>::value, Interval&>::type + operator^=(const T& x) { + xor_assign(*this, x); + return *this; + } + template <typename T> typename Enable_If<Is_Singleton<T>::value || Is_Interval<T>::value, Interval&>::type @@ -843,6 +850,11 @@ public: template <typename From1, typename From2> typename Enable_If<((Is_Singleton<From1>::value || Is_Interval<From1>::value) + && (Is_Singleton<From2>::value || Is_Interval<From2>::value)), I_Result>::type + xor_assign(const From1& x, const From2& y); + + template <typename From1, typename From2> + typename Enable_If<((Is_Singleton<From1>::value || Is_Interval<From1>::value) && (Is_Singleton<From2>::value || Is_Interval<From2>::value)), I_Result>::type sub_assign(const From1& x, const From2& y); diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index d07daa3..ca4256e 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -882,6 +882,101 @@ template <typename To_Boundary, typename To_Info> template <typename From1, typename From2> inline typename Enable_If<((Is_Singleton<From1>::value || Is_Interval<From1>::value) + && (Is_Singleton<From2>::value + || Is_Interval<From2>::value)), I_Result>::type +Interval<To_Boundary, To_Info>::xor_assign(const From1& x, const From2& y) { + PPL_ASSERT(f_OK(x)); + PPL_ASSERT(f_OK(y)); + + PPL_DIRTY_TEMP(To_Info, to_info); + to_info.clear(); + Result rl,ru; + int xls = sgn_b(LOWER, f_lower(x), f_info(x)); + int yls = sgn_b(LOWER, f_lower(y), f_info(y)); + /* + Same sign. + 1<= XOR(x,y) <= |x+y| + */ + if ( ((xls>=0) && (yls >=0) ) || ((xls<0) && (yls<0)) ){ + if (f_upper(x)+f_upper(y) > INT_MAX || + f_upper(x)+f_upper(y) < -INT_MAX) + return assign(EMPTY); + + rl = Boundary_NS::assign(LOWER, lower(),to_info, + LOWER, f_lower(Constant<1>::value),f_info(Constant<1>::value)); + + PPL_DIRTY_TEMP(To_Info, tmp_info); + tmp_info.clear(); + + ru = Boundary_NS::add_assign(UPPER, upper(), to_info, + UPPER, f_upper(x), f_info(x), + UPPER, f_upper(y), f_info(y)); + if(upper()<0) + ru = Boundary_NS::neg_assign(UPPER, upper(), to_info, + UPPER, upper(), to_info); + } + /* + Signs of discord + -(|x|+|y|) <= XOR(x,y) <= 0 + */ + else { + if (f_lower(x) < -INT_MAX || f_lower(y) < -INT_MAX) + return assign(EMPTY); + if (xls < 0) { + if(-f_lower(x) + f_lower(y) > INT_MAX) + return assign(EMPTY); + } + if (yls < 0) { + if(f_lower(x) - f_lower(y) > INT_MAX) + return assign(EMPTY); + } + + PPL_DIRTY_TEMP(To_Boundary, tmp_lowerx); + PPL_DIRTY_TEMP(To_Boundary, tmp_lowery); + PPL_DIRTY_TEMP(To_Boundary, tmp_lower); + + + PPL_DIRTY_TEMP(To_Info, tmp_infox); + PPL_DIRTY_TEMP(To_Info, tmp_infoy); + PPL_DIRTY_TEMP(To_Info, tmp_info); + + tmp_infox.clear(); + tmp_infoy.clear(); + tmp_info.clear(); + + Boundary_NS::assign(LOWER, tmp_lowerx, tmp_infox, + LOWER, f_lower(x), f_info(x)); + + if (xls < 0) + Boundary_NS::neg_assign(LOWER, tmp_lowerx, tmp_infox, + LOWER, tmp_lowerx, tmp_infox); + + Boundary_NS::assign(LOWER, tmp_lowery, tmp_infoy, + LOWER, f_lower(y), f_info(y)); + + if (yls < 0) + Boundary_NS::neg_assign(LOWER, tmp_lowery, tmp_infoy, + LOWER, tmp_lowery, tmp_infoy); + + Boundary_NS::add_assign(LOWER, tmp_lower, tmp_info, + LOWER, tmp_lowerx, tmp_infox, + LOWER, tmp_lowery, tmp_infoy); + rl = Boundary_NS::neg_assign(LOWER, lower(), to_info, + LOWER, tmp_lower, tmp_info); + + ru = Boundary_NS::assign(UPPER, upper(), to_info, + UPPER, f_upper(Constant<0>::value), f_info(Constant<0>::value)); + + } + assign_or_swap(info(), to_info); + PPL_ASSERT(OK()); + return combine(rl, ru); +} + +template <typename To_Boundary, typename To_Info> +template <typename From1, typename From2> +inline typename Enable_If<((Is_Singleton<From1>::value + || Is_Interval<From1>::value) && (Is_Singleton<From2>::value || Is_Interval<From2>::value)), I_Result>::type Interval<To_Boundary, To_Info>::sub_assign(const From1& x, const From2& y) { diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index 5706422..1233097 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -316,6 +316,40 @@ operator&(const Linear_Form<C>& f1, const Linear_Form<C>& f2) { /*! \relates Parma_Polyhedra_Library::Linear_Form */ template <typename C> +Linear_Form<C> +operator^(const Linear_Form<C>& f1, const Linear_Form<C>& f2) { + dimension_type f1_size = f1.size(); + dimension_type f2_size = f2.size(); + dimension_type min_size; + dimension_type max_size; + const Linear_Form<C>* p_e_max; + if (f1_size > f2_size) { + min_size = f2_size; + max_size = f1_size; + p_e_max = &f1; + } + else { + min_size = f1_size; + max_size = f2_size; + p_e_max = &f2; + } + + Linear_Form<C> r(max_size, false); + dimension_type i = max_size; + while (i > min_size) { + --i; + r[i] = p_e_max->vec[i]; + } + while (i > 0) { + --i; + r[i] = f1[i]; + r[i] ^= f2[i]; + } + return r; +} + +/*! \relates Parma_Polyhedra_Library::Linear_Form */ +template <typename C> Linear_Form<C>& operator+=(Linear_Form<C>& f1, const Linear_Form<C>& f2) { dimension_type f1_size = f1.size(); @@ -418,6 +452,19 @@ operator&=(Linear_Form<C>& f1, const Linear_Form<C>& f2) { return f1; } +/*! \relates Parma_Polyhedra_Library::Linear_Form */ +template <typename C> +Linear_Form<C>& +operator^=(Linear_Form<C>& f1, const Linear_Form<C>& f2) { + dimension_type f1_size = f1.size(); + dimension_type f2_size = f2.size(); + if (f1_size < f2_size) + f1.extend(f2_size); + for (dimension_type i = f2_size; i-- > 0; ) + f1[i] ^= f2[i]; + return f1; +} + /*! \relates Linear_Row */ template <typename C> inline bool diff --git a/tests/Concrete_Expression/linearize_integer.hh b/tests/Concrete_Expression/linearize_integer.hh index 306ed81..8bb755f 100644 --- a/tests/Concrete_Expression/linearize_integer.hh +++ b/tests/Concrete_Expression/linearize_integer.hh @@ -4,6 +4,31 @@ #include "Linear_Form.defs.hh" namespace Parma_Polyhedra_Library { +template <typename Target, typename Integer_Interval> +static bool +or_linearize_int(const Binary_Operator<Target>& bop_expr, + + const Oracle<Target,Integer_Interval>& oracle, + const std::map<dimension_type, Linear_Form<Integer_Interval> >& lf_store, + Linear_Form<Integer_Interval>& result) { + PPL_ASSERT(bop_expr.binary_operator() == Binary_Operator<Target>::ADD); + + typedef Linear_Form<Integer_Interval> Integer_Linear_Form; + typedef Box<Integer_Interval> Integer_Interval_Abstract_Store; + typedef std::map<dimension_type, Integer_Linear_Form> Integer_Linear_Form_Abstract_Store; + + if (!linearize_int(*(bop_expr.left_hand_side()), oracle, lf_store, result)) + return false; + + Integer_Linear_Form linearized_second_operand; + + if (!linearize_int(*(bop_expr.right_hand_side()), oracle, lf_store, + linearized_second_operand)) + return false; + + result |= linearized_second_operand; + return true; +} template <typename Target, typename Integer_Interval> static bool @@ -33,7 +58,7 @@ and_linearize_int(const Binary_Operator<Target>& bop_expr, template <typename Target, typename Integer_Interval> static bool -or_linearize_int(const Binary_Operator<Target>& bop_expr, +xor_linearize_int(const Binary_Operator<Target>& bop_expr, const Oracle<Target,Integer_Interval>& oracle, const std::map<dimension_type, Linear_Form<Integer_Interval> >& lf_store, @@ -43,17 +68,17 @@ or_linearize_int(const Binary_Operator<Target>& bop_expr, typedef Linear_Form<Integer_Interval> Integer_Linear_Form; typedef Box<Integer_Interval> Integer_Interval_Abstract_Store; typedef std::map<dimension_type, Integer_Linear_Form> Integer_Linear_Form_Abstract_Store; - + if (!linearize_int(*(bop_expr.left_hand_side()), oracle, lf_store, result)) return false; Integer_Linear_Form linearized_second_operand; - + if (!linearize_int(*(bop_expr.right_hand_side()), oracle, lf_store, linearized_second_operand)) return false; - result |= linearized_second_operand; + result ^= linearized_second_operand; return true; } @@ -91,8 +116,10 @@ linearize_int(const Concrete_Expression<Target>& expr, case Binary_Operator<Target>::BAND: return and_linearize_int(*bop_expr, oracle, lf_store, result); break; - - } + case Binary_Operator<Target>::BXOR: + return xor_linearize_int(*bop_expr, oracle, lf_store, result); + break; + } } } }

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added functions operator&= and operator& into Linear_Form.templates.hh,
by Alberto Gioia 04 May '11

04 May '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 0d873e00f19867c56c1f0c87ce158c651e03fab0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d873e00f198… Author: Alberto Gioia <alberto.gioi1(a)studenti.unipr.it> Date: Wed May 4 09:46:52 2011 +0200 Added functions operator&= and operator& into Linear_Form.templates.hh, and into Interval.defs.hh and Interval.inlines.hh added functions operator&= and and_assign. This functions are necessary for the linearization of the bitwise operator AND. --- src/Interval.defs.hh | 14 +++- src/Interval.inlines.hh | 130 ++++++++++++++++++++++-- src/Linear_Form.templates.hh | 47 +++++++++ tests/Concrete_Expression/linearize_integer.hh | 30 ++++++ 4 files changed, 213 insertions(+), 8 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=0d873e00…

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 03 May '11

03 May '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1df9213c90ec… Merge: 67f09abe8574bd20b74635d3e4830949ed5cec4e 5a5759bafd7558a88a8cd8613940fcff247ea407 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 3 17:10:02 2011 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f09abe8574… Merge: d595301786bc6be8f57cb37dfa31c2741b9be137 12f97bbef1ad3223c630d10474851eb5d67611db Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 3 13:13:55 2011 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d595301786bc… Merge: 2ecc4a9389baf2d0ff5b637ba67dd29ab967b6b5 086927949fd92366d26e8b3fc8c93b63cc661b11 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 14:59:43 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ecc4a9389ba… Merge: b9c75c0855011b07b8d014c510403a3e34cf0a91 73cfc6e2390366f132e6967d225c4d5ec317bb46 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 15 19:04:49 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9c75c085501… Merge: 430352775db7751e904089268357d9462b7e5646 32c3efb0d9a72bf3b3c9a6f3efaa89dff1b204ac Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 13 16:28:13 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=430352775db7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 24 21:04:46 2011 +0100 Copyright notices updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4030e0897839… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 24 20:43:36 2011 +0100 Copyright notices updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2941cea03d8a… Merge: dc027679371676490ea74a3356c5c5aa6e9b735f 0fd2de73dd626465d1c77d925eb63e2adb639648 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 13 08:37:26 2011 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc0276793716… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Dec 2 13:33:58 2010 +0100 Fixed a problem involving a missing iostream inclusion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31db7495cb05… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Dec 2 12:18:22 2010 +0100 Added a proposed implementation for ascii_dump() and ascii_load(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc3470cb464d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Nov 30 16:02:05 2010 +0100 Replaced Integer_Interval_Type with Integer_Interval in tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2cddb4672ba… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Nov 30 15:39:19 2010 +0100 Fixed a few cut-and-paste errors in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbfb2232f929… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Nov 30 15:29:01 2010 +0100 Renamed Integer_Interval_Type into Integer_Interval and moved it to Integer_Interval.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccd1b4957f96… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Nov 18 19:32:59 2010 +0100 Use ldexp instead of ldexpl for portability reasons. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b54b6858aa0f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 16 18:41:21 2010 +0100 Inclusions of <cmath> fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d711641e727b… Merge: 6ba7085042a9983395f1b15daa1bf88b68a48eff 5eb5954e1de39e24dd82ad553a8a06334f8ed607 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 7 14:50:31 2010 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ba7085042a9… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Oct 23 14:48:50 2010 +0200 Added missing asserts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8c98f2282f9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 21 19:49:23 2010 +0200 Properly quote the assignment MAKE=$(MAKE). (Thanks to Volker Braun.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78e6e881955e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Oct 19 11:39:45 2010 +0200 Reflect latest changes to affine_image into affine_form_image. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b250e9ec20fb… Merge: 951fdb8a9ff89a2ae59fcc1f726a2d4b05af445a 5c95fc0eab6a38442751ed16c6cfa9d538917f3f Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Oct 19 08:37:09 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=951fdb8a9ff8… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Oct 18 16:53:27 2010 +0200 Fixed a bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6885ff58136… Merge: 3f052c1b8df2482f0adeb0c4627c7ede4876bc26 ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 16 09:16:23 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f052c1b8df2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Oct 5 19:00:03 2010 +0200 Added two FIXME notes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c02f7d8aa83… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Oct 5 15:34:20 2010 +0200 Never add a rounding error when casting 1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=500981d998d6… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Oct 5 10:51:03 2010 +0200 Never add a rounding error when casting the 0 value. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8b45e65ab5… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 29 19:10:03 2010 +0200 Always use marked_empty() instead of is_empty() after a closure. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d65c1696bed… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 29 18:20:41 2010 +0200 Added generalized_refine_with_linear_form_inequality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b39ec7c81e53… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 29 14:27:43 2010 +0200 Added missing emptiness checks. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2407bd5aa082… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 29 14:00:23 2010 +0200 Implemented export_interval_constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8afb9a4479af… Merge: ecf177259b8f165627fcdbe7dfb55dc044bdc30b 0bb0a14d690bda10c0893e11b6019128b3c4908e Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 26 08:41:55 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecf177259b8f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 23 17:05:34 2010 +0200 Temporarily pass a raw value instead of a checked number for simplicity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17f7473e9cbe… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 23 15:46:00 2010 +0200 Use is_empty instead of marked_empty for maximum safety. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bd3f0121f60… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 23 12:24:39 2010 +0200 Added method export_interval_constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=954d985eb038… Merge: a6202d3f6416fd1ca3d1cd40cb25f5418c1354cd d8484a4794afafb978c01c718ea784465d835171 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 21 09:35:49 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6202d3f6416… Merge: ebcd55e82f73703737752a66ca25891ece02661a d91c33b33dbc8b59332d279550366ed55ae9ae38 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 17 08:39:48 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebcd55e82f73… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 13 17:42:12 2010 +0200 Adapted tests on digital filters to latest changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=219f23503305… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 13 14:08:29 2010 +0200 Do not fail automatically when linearizing approximable references having more than one associated dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33dfccc8af8e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Sep 13 10:44:17 2010 +0200 Use an oracle to obtain information from an external analyzer in the linearization function. Temporarily disabled test digitalfilters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e420b1e2114… Merge: cd5191f18812ded12343b4fa936641d04761ffed 3e2fe287b4efd3b58127951793cc00ffe0ca21c0 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 8 07:18:34 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd5191f18812… Merge: 3c68d508caa260d4dc59b5f6922fe6a0079d6eef 359b3a83e66edcfffb77c714e921fdfc217dee0b Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 7 17:56:38 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c68d508caa2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 7 17:51:07 2010 +0200 Fixed tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1cdb7511579e… Merge: 06f21542441cd7463819d7762ea6d5033c1c0bff 384f089de7b9464efddf008a02d773af6ae213ea Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 7 11:44:03 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06f21542441c… Merge: c9b9ee534d533869f1c5951c9909b04eeb60325b 4bc6dff62fbd10cfa5a195b2da9fc9e2bf27e341 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 3 15:36:54 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9b9ee534d53… Merge: 22520a5a072e6b1641b6a94585eb20c6b1cec2e8 533049e561beb446baf4036b42cc486ce6ab91a3 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 3 15:36:02 2010 +0200 Merge branch 'master' into floating_point Conflicts: configure.ac src/Grid.defs.hh src/Makefile.am tests/Makefile.am URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22520a5a072e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Sep 3 11:03:16 2010 +0200 Do not use linear form abstract stores along with relational domains. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3eac74ffc2b9… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Aug 5 11:32:27 2010 +0200 Small style improvement in the use of iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6167277a107… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Aug 3 11:09:28 2010 +0200 Do not use log2 to compute the base 2 logarithm of an integer. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17105335ca18… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 31 16:08:03 2010 +0200 Rewritten test06 and test07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41ec2a4972b2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 31 15:39:01 2010 +0200 Do not perform interval analysis on an assignment before linearization. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c9679165d7d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 31 12:53:20 2010 +0200 Float: Added a few functions that operate on linear form abstract stores. linearize.cc: test05 now consistently utilizes linear form abstract stores. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b3495a15563… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 30 19:21:33 2010 +0200 Rewritten test05 (still lacks proper use of the linear form abstract store). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e85af354adc1… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 30 17:54:02 2010 +0200 Started rewriting tests on digital filters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cfeaf81d2f5… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 30 17:04:16 2010 +0200 Do not add errors after rounding to a less precise format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a69cc00cdd67… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 30 16:04:19 2010 +0200 Avoid adding errors when casting to a more precise floating point format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fcb542b0c0c0… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 30 10:49:47 2010 +0200 Removed a test file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7b16c31a4cb… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 29 16:48:03 2010 +0200 Added linearization of cast expressions along with a simple test. Consistently use typedefs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=253cc5c29243… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 29 15:34:08 2010 +0200 Corrected the policy values. Make check now works again. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e682219b5f1… Merge: 986fb317391e4e937a918d53a955594f2abe84c6 ab1d650d0dcb0d122abf3d965c16ebdf94ac3325 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 14:15:40 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=986fb317391e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 28 19:03:22 2010 +0200 Added method get_integer_interval() (make check not working yet). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a827fc7a229… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 28 11:51:32 2010 +0200 Avoid dangerous casts when computing errors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f396b2fa4353… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 28 10:39:33 2010 +0200 Constructors now take a Concrete_Expression_Type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60479359fdb9… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 28 09:56:28 2010 +0200 Fixed a bug in is(). Make check now works again. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba58fa9f47cf… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 28 09:47:52 2010 +0200 Commented and moved methods is() and as(). Make check not working due to bad implementation of is(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=743a6e470392… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Jul 28 00:47:30 2010 +0200 Added is and as methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1957eb995c4d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 18:13:15 2010 +0200 Added a few tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee0a91950dcd… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 16:19:45 2010 +0200 Fixed a typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bdcb742713d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 16:18:55 2010 +0200 Added two FIXME notes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c20b83014b3c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 16:13:24 2010 +0200 Added two simple tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd7beafc7d3d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 15:08:52 2010 +0200 Fixed several mistakes in linearize and started to test it. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=873f2240682c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 27 14:13:03 2010 +0200 Fixed typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90eaae7fe8a1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 27 14:07:38 2010 +0200 Improved inheritance relations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0701ca66ee0a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 13:59:48 2010 +0200 Added test file for the new linearization algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ec45a70db9c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 12:53:04 2010 +0200 Various changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f25bf13fcea8… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 12:15:00 2010 +0200 Fixed a few mistakes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e245a2b77ec1… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 10:30:51 2010 +0200 Use values of enum Floating_Point_Format for ANALYZED_FP_FORMAT. C_Expr: - Added method type(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9ad67116f5f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 17:45:17 2010 +0200 Concrete_Expression: - Added two methods. C_Expr: - Some progress in the implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59094c0cc8c5… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 15:51:39 2010 +0200 Fixed bad spacing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=77104a92691b… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 15:45:20 2010 +0200 linearize.hh: - Fixed mistake when accessing type informations. C_Expr: - Small progress in the implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=feb014edf63c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 15:26:45 2010 +0200 Added method associated_dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e34112b360cf… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 15:22:50 2010 +0200 Concrete_Expression: - Added method associated_dimension(). C_Expr: - Small progress in the implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf0f3e91a7d0… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 14:22:00 2010 +0200 Removed an assertion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e23a7833eadd… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 14:04:19 2010 +0200 Added some documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1180bb65f43… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 26 13:49:58 2010 +0200 Consistently use the typedefs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d4c2d096dd5… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 11:47:56 2010 +0200 Adapted to latest changes in Concrete_Expression's interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82938f2c4709… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 11:24:18 2010 +0200 Makefile.am: - Added linearize.hh to the list of compilation units. linearize.hh: - Fixed a few small mistakes. - Temporarily throw an exception on non-floating point expressions. - Added the variable reference case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c28d3f92ad09… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 25 18:46:58 2010 +0200 Started rewriting the incarnation of concrete expression to be used in PPL tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6b989651301… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 24 18:45:38 2010 +0200 Added some documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74620fd8c5d3… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 24 17:44:00 2010 +0200 Fixed operator names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4d768538310… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 24 16:37:28 2010 +0200 Small improvement in bnot_linearize. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eee4fc2395d6… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 24 16:09:40 2010 +0200 Some progress with the linearization algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c4c91c248d7… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Sat Jul 24 12:39:51 2010 +0200 Added a skeleton for the new linearization function. Also added an idea for the linearization of the unary negation expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2af7d3f9cb52… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 23 13:50:13 2010 +0200 Added a few trivial tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c9c1ff2fef7… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 23 11:30:13 2010 +0200 Added missing inline specifier. Make check now works. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0db84c97d57a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Fri Jul 23 11:15:56 2010 +0200 Avoid a cyclic dependency problem (make check still doesn't work). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=608cd868519a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 22 15:31:36 2010 +0200 Restored inclusion of Polyhedron.defs.hh to allow compilation of Grid_public.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e5b8d148576… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 22 12:18:02 2010 +0200 Added a FIXME note. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36c398be7c32… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 22 11:52:09 2010 +0200 Fixed a typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=598a0f5c035c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 22 11:30:13 2010 +0200 Removed two probable unnecessary inclusions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc3822c311bf… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 22 10:29:16 2010 +0200 Fixed a typo in the inclusion guard. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0decead53d0c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 17:18:30 2010 +0200 Removed class absolute_error. Cache results locally in compute_absolute_error instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7bfff5fe6a7… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 15:48:54 2010 +0200 Correctly handle unexpected formats. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f7ad90bdec2… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 15:28:22 2010 +0200 Made class absolute_error a struct. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c1245f7e89c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 15:18:30 2010 +0200 Implemented Linear_Form::intervalize (still not compiling, probably due to some sort of cyclic dependency problem between Grid and Box). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62fcf8c0d4be… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 14:35:04 2010 +0200 Fixed iostream inclusion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df4645ba455f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 14:31:34 2010 +0200 Fixed error in the use of NDEBUG. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c85b888fd3f4… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 13:35:29 2010 +0200 Implemented Linear_Form::overflows and Linear_Form::relative_error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=152569b0c53b… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 12:36:33 2010 +0200 Do not const-qualify by-copy parameters in declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7421b099f14c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 12:01:17 2010 +0200 Added class absolute_error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95846dca5e7f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 10:54:28 2010 +0200 Implemented compute_absolute_error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14cd19f366e8… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Jul 21 10:52:39 2010 +0200 Fixed Concrete_Expression.cc so that it compiles with NDEBUG activated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7342b17d584… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jul 17 18:31:37 2010 +0200 Added the class Concrete_Expression_Type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2878e40c4194… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jul 4 18:13:18 2010 +0200 Changed operator names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df824f255b12… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 4 16:56:01 2010 +0200 Some progress in the definition of the classes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e4329676d8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 4 14:11:14 2010 +0200 Started drafting the classes to be used withing the PPL for testing purposes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71f19792e603… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 4 10:51:27 2010 +0200 Started working on the new scheme for the representation of concrete expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82b6eee4e36f… Merge: dc4a6a3651215889f2324fa073a85605ebe870b0 75de3adbd70ca2f2d42112a53e719c27cbea4731 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jul 3 12:32:28 2010 +0200 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc4a6a365121… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jun 15 23:25:49 2010 +0200 Revert "Put aside changes related to Floating_Point and Linear_Form classes." This reverts commit 7e35772519cb39fdc042fbb6f68966280b5a1cf5.

1 0

[GIT] ppl/ppl(floating_point): Merge branch 'master' into floating_point
by Roberto Bagnara 03 May '11

03 May '11

Module: ppl/ppl Branch: floating_point Commit: 1df9213c90ec73b9df81114d2d6d500db12e9fdf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1df9213c90ec… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 3 17:10:02 2011 +0200 Merge branch 'master' into floating_point ---

1 0

[GIT] ppl/ppl(floating_point): Corrected documentation.
by Patricia Hill 03 May '11

03 May '11

Module: ppl/ppl Branch: floating_point Commit: 5a5759bafd7558a88a8cd8613940fcff247ea407 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a5759bafd75… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 3 13:36:52 2011 +0100 Corrected documentation. --- interfaces/Prolog/Prolog_interface.dox | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox index 672f7b0..5bcd02f 100644 --- a/interfaces/Prolog/Prolog_interface.dox +++ b/interfaces/Prolog/Prolog_interface.dox @@ -750,7 +750,7 @@ defining parametric integer programming problems. <CODE>Handle</CODE> is unified with the handle for \f$\mathrm{PIP}\f$. <CODE> - ppl_new_PIP_Problem(+Constraint_System, +Lin_Expr, +Vars_List, + ppl_new_PIP_Problem(+Dimension_Type, +Constraint_System, +Vars_List, -Handle) </CODE>

1 0