April 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Use add_mul_assign().
by Roberto Bagnara 06 Apr '12

06 Apr '12

Module: ppl/ppl Branch: master Commit: e570c208e2a15db4cc6d03ae463d5f8eeac8b4f1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e570c208e2a1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 07:14:21 2012 +0200 Use add_mul_assign(). --- src/PIP_Tree.cc | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 15ccca7..8e4f09b 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -48,13 +48,13 @@ pos_rem_assign(Coefficient& x, class Add_Mul_Assign_Row_Helper1 { public: - Add_Mul_Assign_Row_Helper1(Coefficient_traits::const_reference c1) - : c(c1) { + Add_Mul_Assign_Row_Helper1(Coefficient_traits::const_reference coeff) + : c(coeff) { } void operator()(Coefficient& x, Coefficient_traits::const_reference y) const { - x += c * y; + add_mul_assign(x, c, y); } private: @@ -64,8 +64,8 @@ private: class Add_Mul_Assign_Row_Helper2 { public: - Add_Mul_Assign_Row_Helper2(Coefficient_traits::const_reference c1) - : c(c1) { + Add_Mul_Assign_Row_Helper2(Coefficient_traits::const_reference coeff) + : c(coeff) { } void

1 0

[GIT] ppl/ppl(master): Function renamed and documented.
by Roberto Bagnara 06 Apr '12

06 Apr '12

Module: ppl/ppl Branch: master Commit: 7a194d47db18ade7949797b4d15adac30ae21feb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a194d47db18… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 5 22:24:58 2012 +0200 Function renamed and documented. --- src/PIP_Tree.cc | 40 ++++++++++++++++++++-------------------- 1 files changed, 20 insertions(+), 20 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index e179dda..15ccca7 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -36,14 +36,14 @@ namespace Parma_Polyhedra_Library { namespace { -// Calculate positive modulo of x % y +//! Assigns to \p x the positive remainder of the division of \p y by \p z. inline void -pos_mod_assign(Coefficient& z, - Coefficient_traits::const_reference x, - Coefficient_traits::const_reference y) { - z = x % y; - if (z < 0) - z += y; +pos_rem_assign(Coefficient& x, + Coefficient_traits::const_reference y, + Coefficient_traits::const_reference z) { + rem_assign(x, y, z); + if (x < 0) + x += z; } class Add_Mul_Assign_Row_Helper1 { @@ -185,7 +185,7 @@ complement_assign(Row& x, --x_0; else { PPL_DIRTY_TEMP_COEFFICIENT(mod); - pos_mod_assign(mod, x_0, denom); + pos_rem_assign(mod, x_0, denom); x_0 -= (mod == 0) ? denom : mod; } if (x_0 == 0) @@ -512,7 +512,7 @@ integral_simplification(Row& row) { gcd_assign_iter(gcd, j_begin, j_end); if (gcd != 1) { PPL_DIRTY_TEMP_COEFFICIENT(mod); - pos_mod_assign(mod, row[0], gcd); + pos_rem_assign(mod, row[0], gcd); row[0] -= mod; } } @@ -2080,7 +2080,7 @@ PIP_Tree_Node::compatibility_check(Matrix& s) { cut = s_mi; for (Row::iterator j = cut.begin(), j_end = cut.end(); j != j_end; ++j) - pos_mod_assign(*j, *j, denom); + pos_rem_assign(*j, *j, denom); cut[0] -= denom; scaling.push_back(denom); } @@ -2490,7 +2490,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, Row row(tableau.t[i]); PPL_DIRTY_TEMP_COEFFICIENT(mod); Coefficient& row0 = row[0]; - pos_mod_assign(mod, row0, tableau_denom); + pos_rem_assign(mod, row0, tableau_denom); row0 -= (mod == 0) ? tableau_denom : mod; const bool compatible = compatibility_check(ctx, row); // Maybe update sign (and first_* indices). @@ -3054,7 +3054,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, const Row& t_i = tableau.t[i]; for (Row::const_iterator j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) { - pos_mod_assign(mod, *j, denom); + pos_rem_assign(mod, *j, denom); if (mod != 0) ++pcount; } @@ -3088,7 +3088,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, const Row& t_i = tableau.t[i]; for (Row::const_iterator j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) { - pos_mod_assign(mod, *j, denom); + pos_rem_assign(mod, *j, denom); if (mod != 0) { score += denom; score -= mod; @@ -3103,7 +3103,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, const Row& s_i = tableau.s[i]; for (Row::const_iterator j = s_i.begin(), j_end = s_i.end(); j != j_end; ++j) { - pos_mod_assign(mod, *j, denom); + pos_rem_assign(mod, *j, denom); s_score += denom; s_score -= mod; } @@ -3202,7 +3202,7 @@ PIP_Solution_Node::generate_cut(const dimension_type index, Row::const_iterator j = row_t.begin(); Row::const_iterator j_end = row_t.end(); if (j != j_end && j.index() == 0) { - pos_mod_assign(mod, *j, denom); + pos_rem_assign(mod, *j, denom); ++j; if (mod != 0) { // Optimizing computation: expr += (denom - mod); @@ -3216,7 +3216,7 @@ PIP_Solution_Node::generate_cut(const dimension_type index, Variables_Set::const_iterator p_j = parameters.begin(); dimension_type last_index = 1; for ( ; j != j_end; ++j) { - pos_mod_assign(mod, *j, denom); + pos_rem_assign(mod, *j, denom); if (mod != 0) { // Optimizing computation: expr += (denom - mod) * Variable(*p_j); coeff = denom - mod; @@ -3284,7 +3284,7 @@ PIP_Solution_Node::generate_cut(const dimension_type index, Row::iterator itr1 = ctx1.end(); Row::iterator itr2 = ctx2.end(); if (j != j_end && j.index() == 0) { - pos_mod_assign(mod, *j, denom); + pos_rem_assign(mod, *j, denom); if (mod != 0) { itr1 = ctx1.insert(0, denom); *itr1 -= mod; @@ -3306,7 +3306,7 @@ PIP_Solution_Node::generate_cut(const dimension_type index, --(*itr2); } for ( ; j != j_end; ++j) { - pos_mod_assign(mod, *j, denom); + pos_rem_assign(mod, *j, denom); if (mod != 0) { const dimension_type j_index = j.index(); itr1 = ctx1.insert(itr1, j_index, denom); @@ -3352,14 +3352,14 @@ PIP_Solution_Node::generate_cut(const dimension_type index, for (Row::const_iterator j = row_s.begin(), j_end = row_s.end(); j != j_end; ++j) { itr = cut_s.insert(itr, j.index(), *j); - pos_mod_assign(*itr, *itr, denom); + pos_rem_assign(*itr, *itr, denom); } } { Row::iterator cut_t_itr = cut_t.end(); for (Row::const_iterator j = row_t.begin(), j_end = row_t.end(); j!=j_end; ++j) { - pos_mod_assign(mod, *j, denom); + pos_rem_assign(mod, *j, denom); if (mod != 0) { cut_t_itr = cut_t.insert(cut_t_itr, j.index(), mod); *cut_t_itr -= denom;

1 0

[GIT] ppl/ppl(master): Indentation fixed.
by Roberto Bagnara 06 Apr '12

06 Apr '12

Module: ppl/ppl Branch: master Commit: 4b7bc2428f8ea87782626051ec4d0cbd99d4fc46 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b7bc2428f8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 5 22:03:23 2012 +0200 Indentation fixed. --- src/PIP_Tree.cc | 50 +++++++++++++++++++++++++------------------------- 1 files changed, 25 insertions(+), 25 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 5c5b322..e179dda 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -456,7 +456,7 @@ find_lexico_minimal_column(const Matrix& tableau, // This is used as a set, it is always sorted. std::vector<dimension_type> candidates; for (Row::const_iterator - i = pivot_row.lower_bound(start_j), i_end = pivot_row.end(); + i = pivot_row.lower_bound(start_j), i_end = pivot_row.end(); i != i_end; ++i) if (*i > 0) candidates.push_back(i.index()); @@ -786,7 +786,7 @@ compatibility_check_find_pivot(const Matrix& s, } candidates_t candidates; for (candidates_map_t::iterator - i = candidates_map.begin(), i_end = candidates_map.end(); + i = candidates_map.begin(), i_end = candidates_map.end(); i != i_end; ++i) candidates.push_back(*i); if (!candidates.empty()) { @@ -1112,7 +1112,7 @@ PIP_Tree_Node::OK() const { // Parameter constraint system should contain no strict inequalities. for (Constraint_System::const_iterator - i = constraints_.begin(), i_end = constraints_.end(); i != i_end; ++i) + i = constraints_.begin(), i_end = constraints_.end(); i != i_end; ++i) if (i->is_strict_inequality()) { #ifndef NDEBUG cerr << "The feasible region of the PIP_Problem parameter context" @@ -1389,7 +1389,7 @@ PIP_Decision_Node::solve(const PIP_Problem& pip, Constraint_System cs; swap(cs, constraints_); for (Constraint_System::const_iterator - ci = cs.begin(), ci_end = cs.end(); ci != ci_end; ++ci) { + ci = cs.begin(), ci_end = cs.end(); ci != ci_end; ++ci) { Matrix ctx_copy(context); merge_assign(ctx_copy, Constraint_System(*ci), all_params); Row& last = ctx_copy[ctx_copy.num_rows()-1]; @@ -1548,7 +1548,7 @@ PIP_Solution_Node::Tableau::normalize() { for (dimension_type i = num_rows; i-- > 0; ) { const Row& s_i = s[i]; for (Row::const_iterator - j = s_i.begin(), j_end = s_i.end(); j != j_end; ++j) { + j = s_i.begin(), j_end = s_i.end(); j != j_end; ++j) { Coefficient_traits::const_reference s_ij = *j; if (s_ij != 0) { gcd_assign(gcd, s_ij, gcd); @@ -1558,7 +1558,7 @@ PIP_Solution_Node::Tableau::normalize() { } const Row& t_i = t[i]; for (Row::const_iterator - j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) { + j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) { Coefficient_traits::const_reference t_ij = *j; if (t_ij != 0) { gcd_assign(gcd, t_ij, gcd); @@ -2079,7 +2079,7 @@ PIP_Tree_Node::compatibility_check(Matrix& s) { const Row& s_mi = s[mi]; cut = s_mi; for (Row::iterator - j = cut.begin(), j_end = cut.end(); j != j_end; ++j) + j = cut.begin(), j_end = cut.end(); j != j_end; ++j) pos_mod_assign(*j, *j, denom); cut[0] -= denom; scaling.push_back(denom); @@ -2141,7 +2141,7 @@ PIP_Tree_Node::compatibility_check(Matrix& s) { gcd_assign(gcd, product, pivot_pj); exact_div_assign(scale_factor, pivot_pj, gcd); for (Row::iterator - k = s_i.begin(), k_end = s_i.end(); k != k_end; ++k) + k = s_i.begin(), k_end = s_i.end(); k != k_end; ++k) *k *= scale_factor; product *= scale_factor; scaling[i] *= scale_factor; @@ -2163,7 +2163,7 @@ PIP_Tree_Node::compatibility_check(Matrix& s) { gcd_assign(gcd, product, pivot_pj); exact_div_assign(scale_factor, pivot_pj, gcd); for (Row::iterator - k = s_i.begin(), k_end = s_i.end(); k != k_end; ++k) + k = s_i.begin(), k_end = s_i.end(); k != k_end; ++k) *k *= scale_factor; product *= scale_factor; scaling[i] *= scale_factor; @@ -2281,8 +2281,8 @@ PIP_Solution_Node if (constraint.is_strict_inequality()) // Transform (expr > 0) into (expr - 1 >= 0). neg_assign(p_row[0], denom); - for (dimension_type i = 0, i_end = constraint.space_dimension(); - i != i_end; ++i) { + for (dimension_type i = 0, + i_end = constraint.space_dimension(); i != i_end; ++i) { const bool is_parameter = (1 == parameters.count(i)); Coefficient_traits::const_reference coeff_i = constraint.coefficient(Variable(i)); @@ -2478,7 +2478,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, bool has_positive = false; { for (Row::const_iterator - j = s_i.begin(), j_end = s_i.end(); j != j_end; ++j) + j = s_i.begin(), j_end = s_i.end(); j != j_end; ++j) if (*j > 0) { has_positive = true; break; @@ -2617,7 +2617,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, Row::iterator itr = s_i.end(); for (Row::const_iterator - j = s_pivot.begin(), j_end = s_pivot.end(); j != j_end; ++j) { + j = s_pivot.begin(), j_end = s_pivot.end(); j != j_end; ++j) { if (j.index() != pj) { Coefficient_traits::const_reference s_pivot_j = *j; // Do nothing if the j-th pivot element is zero. @@ -2666,7 +2666,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, Row::iterator k = t_i.end(); for (Row::const_iterator - j = t_pivot.begin(), j_end = t_pivot.end(); j != j_end; ++j) { + j = t_pivot.begin(), j_end = t_pivot.end(); j != j_end; ++j) { Coefficient_traits::const_reference t_pivot_j = *j; // Do nothing if the j-th pivot element is zero. if (t_pivot_j != 0) { @@ -2757,7 +2757,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, { const Row& s_i = tableau.s[i]; for (Row::const_iterator - j = s_i.begin(), j_end = s_i.end(); j != j_end; ++j) + j = s_i.begin(), j_end = s_i.end(); j != j_end; ++j) if (*j > 0) { has_positive = true; break; @@ -2771,7 +2771,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, { const Row& t_i = tableau.t[i]; for (Row::const_iterator - j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) + j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) score += *j; } if (i_neg == not_a_dim || score < best_score) { @@ -2817,7 +2817,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, { const Row& t_i = tableau.t[i]; for (Row::const_iterator - j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) + j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) score += *j; } if (best_i == not_a_dim || score < best_score) { @@ -3022,7 +3022,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, const dimension_type i = mapping[k]; const Row& t_i = tableau.t[i]; for (Row::const_iterator - j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) { + j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) { if (*j % denom != 0) goto non_integer; } @@ -3053,7 +3053,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, dimension_type pcount = 0; const Row& t_i = tableau.t[i]; for (Row::const_iterator - j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) { + j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) { pos_mod_assign(mod, *j, denom); if (mod != 0) ++pcount; @@ -3087,7 +3087,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, { const Row& t_i = tableau.t[i]; for (Row::const_iterator - j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) { + j = t_i.begin(), j_end = t_i.end(); j != j_end; ++j) { pos_mod_assign(mod, *j, denom); if (mod != 0) { score += denom; @@ -3102,7 +3102,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, { const Row& s_i = tableau.s[i]; for (Row::const_iterator - j = s_i.begin(), j_end = s_i.end(); j != j_end; ++j) { + j = s_i.begin(), j_end = s_i.end(); j != j_end; ++j) { pos_mod_assign(mod, *j, denom); s_score += denom; s_score -= mod; @@ -3350,7 +3350,7 @@ PIP_Solution_Node::generate_cut(const dimension_type index, { Row::iterator itr = cut_s.end(); for (Row::const_iterator - j = row_s.begin(), j_end = row_s.end(); j != j_end; ++j) { + j = row_s.begin(), j_end = row_s.end(); j != j_end; ++j) { itr = cut_s.insert(itr, j.index(), *j); pos_mod_assign(*itr, *itr, denom); } @@ -3358,7 +3358,7 @@ PIP_Solution_Node::generate_cut(const dimension_type index, { Row::iterator cut_t_itr = cut_t.end(); for (Row::const_iterator - j = row_t.begin(), j_end = row_t.end(); j!=j_end; ++j) { + j = row_t.begin(), j_end = row_t.end(); j!=j_end; ++j) { pos_mod_assign(mod, *j, denom); if (mod != 0) { cut_t_itr = cut_t.insert(cut_t_itr, j.index(), mod); @@ -3412,8 +3412,8 @@ PIP_Tree_Node::external_memory_in_bytes() const { // Adding the external memory for `artificial_parameters'. n += artificial_parameters.capacity() * sizeof(Artificial_Parameter); for (Artificial_Parameter_Sequence::const_iterator - ap = art_parameter_begin(), - ap_end = art_parameter_end(); ap != ap_end; ++ap) + ap = art_parameter_begin(), + ap_end = art_parameter_end(); ap != ap_end; ++ap) n += (ap->external_memory_in_bytes()); return n;

1 0

[GIT] ppl/ppl(master): Indentation fixed.
by Roberto Bagnara 06 Apr '12

06 Apr '12

Module: ppl/ppl Branch: master Commit: 9d6ef34ebb54d98fe07391cadd91ed3dd6ed9284 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d6ef34ebb54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 5 21:50:58 2012 +0200 Indentation fixed. --- src/PIP_Tree.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 4ee628d..5c5b322 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2126,7 +2126,7 @@ PIP_Tree_Node::compatibility_check(Matrix& s) { Coefficient_traits::const_reference pivot_pj = pivot.get(pj); { for (Row::const_iterator - j = pivot.begin(), j_end = pivot.end(); j != j_end; ++j) { + j = pivot.begin(), j_end = pivot.end(); j != j_end; ++j) { if (j.index() == pj) continue; Coefficient_traits::const_reference pivot_j = *j;

1 0

[GIT] ppl/ppl(master): Set the validity bits.
by Roberto Bagnara 05 Apr '12

05 Apr '12

Module: ppl/ppl Branch: master Commit: a4ff3e5f5be1452c9f476eb184bef9a200f37475 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4ff3e5f5be1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 5 21:24:47 2012 +0200 Set the validity bits. --- tests/PIP_Problem/bug1.dat | 76 ++++++++++++++++++++++---------------------- 1 files changed, 38 insertions(+), 38 deletions(-) diff --git a/tests/PIP_Problem/bug1.dat b/tests/PIP_Problem/bug1.dat index d082a99..4bcd823 100644 --- a/tests/PIP_Problem/bug1.dat +++ b/tests/PIP_Problem/bug1.dat @@ -4,81 +4,81 @@ internal_space_dim: 0 input_cs( 38 ) size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -f -RPI_V -RPI -NNC_V -NNC +f +RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 -f -RPI_V -RPI -NNC_V -NNC +f +RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 -162 0 -1 0 -9 0 0 0 0 0 0 -1620 0 0 -0 0 0 0 f -RPI_V -RPI -NNC_V -NNC +0 0 0 0 f +RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 -162 0 -1 0 -9 0 -1620 0 0 0 0 0 0 0 -0 0 0 0 f -RPI_V -RPI -NNC_V -NNC +0 0 0 0 f +RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V -RPI -NNC_V -NNC ++RPI_V -RPI +NNC_V -NNC size 33 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 6480 0 -162 0 -1 0 -9 0 -1620 0 0 0 0 0 0 162 0 1 0 9 0 0 0 0 0 0 0 0 0 -0 0 0 0 f -RPI_V +RPI -NNC_V -NNC +0 0 0 0 f +RPI_V +RPI +NNC_V -NNC size 33 9 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 8 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 17 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC size 33 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f --RPI_V +RPI -NNC_V -NNC ++RPI_V +RPI +NNC_V -NNC first_pending_constraint: 0

1 0

[GIT] ppl/ppl(master): To reproduce Mantis issue [PPL 0000353].
by Roberto Bagnara 05 Apr '12

05 Apr '12

Module: ppl/ppl Branch: master Commit: 236fc0ca4dcc94bacb3d045e3b113a6074273395 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=236fc0ca4dcc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 5 19:59:53 2012 +0200 To reproduce Mantis issue [PPL 0000353]. --- tests/PIP_Problem/bug1.cc | 55 ++++++++++++++++++++++++ tests/PIP_Problem/bug1.dat | 99 ++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 154 insertions(+), 0 deletions(-) diff --git a/tests/PIP_Problem/bug1.cc b/tests/PIP_Problem/bug1.cc new file mode 100644 index 0000000..fa99cb2 --- /dev/null +++ b/tests/PIP_Problem/bug1.cc @@ -0,0 +1,55 @@ +/* Reproduce Mantis issue [PPL 0000353]. + Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://bugseng.com/products/ppl/ . */ + +#include "ppl_test.hh" + +#include "files.hh" +#include <string> +#include <fstream> + +using std::string; +using std::fstream; +using std::ios_base; + +namespace { + +bool +test01() { + const char* my_file = "bug1.dat"; + + fstream f; + open(f, my_file, ios_base::in); + PIP_Problem pip; + pip.ascii_load(f); + close(f); + + bool ok = pip.is_satisfiable(); + + return ok; +} + +} // namespace + +BEGIN_MAIN + DO_TEST(test01); +END_MAIN diff --git a/tests/PIP_Problem/bug1.dat b/tests/PIP_Problem/bug1.dat new file mode 100644 index 0000000..d082a99 --- /dev/null +++ b/tests/PIP_Problem/bug1.dat @@ -0,0 +1,99 @@ +external_space_dim: 32 + +internal_space_dim: 0 + +input_cs( 38 ) +size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 +f -RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 +f -RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 -162 0 -1 0 -9 0 0 0 0 0 0 -1620 0 0 +0 0 0 0 f -RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 162 0 1 0 9 0 1620 0 0 0 0 0 0 -162 0 -1 0 -9 0 -1620 0 0 0 0 0 0 0 +0 0 0 0 f -RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V -RPI -NNC_V -NNC +size 33 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC +size 33 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC +size 33 6480 0 -162 0 -1 0 -9 0 -1620 0 0 0 0 0 0 162 0 1 0 9 0 0 0 0 0 0 0 0 0 +0 0 0 0 f -RPI_V +RPI -NNC_V -NNC +size 33 9 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC +size 33 8 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC +size 33 17 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC +size 33 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC +size 33 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC +size 33 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 f +-RPI_V +RPI -NNC_V -NNC + +first_pending_constraint: 0 + +status: PARTIALLY_SATISFIABLE + +parameters +variables( 0 ) + +initial_context +0 x 0 + +control_parameters +CUTTING_STRATEGY_FIRST +PIVOT_ROW_STRATEGY_FIRST + +big_parameter_dimension: 18446744073709551615 + +current_solution: BOTTOM

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 04 Apr '12

04 Apr '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46f8f37cd5ba… Merge: 440744bf1b2936648e2468acc37b025522a30566 717a18d0a06e1a32a36c31896d4cb055015717e4 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Apr 4 12:07:32 2012 +0200 Merge branch 'master' into sparse_matrices Conflicts: src/BD_Shape.templates.hh src/Box.templates.hh src/Congruence_System.defs.hh src/Octagonal_Shape.templates.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=717a18d0a06e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Apr 4 11:31:59 2012 +0200 Made several exception thrower methods static. Renamed throw_generic() as throw_invalid_argument() for consistency. In generalized_affine_{pre}image(), systematically throw an invalid argument exception if relsym == NOT_EQUAL. Corrected several inaccuracies in exception error messages. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de1057e78459… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 2 09:04:15 2012 +0200 Corrected typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11157e9862f3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 2 08:28:04 2012 +0200 Distribute the bibliographies. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c4a875d02d4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 2 08:22:47 2012 +0200 Added copyright and licensing information. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e68a00aa20e2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 2 07:23:10 2012 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d7a51922756… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 17:37:43 2012 +0200 Removed two unused and unwanted methods. (They were also wrongly implemented.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ca090268809… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 13:01:26 2012 +0200 Added BagnaraMPZ12IC. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cecfd8d5f806… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 12:55:00 2012 +0200 Added BagnaraMPZ12TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=918e0190b75c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 26 18:06:09 2011 +0200 Broken link removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8582094d6849… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 26 16:57:41 2011 +0200 Links fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31cba9901a70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 26 16:56:01 2011 +0200 Links fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f038d425e168… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 25 17:19:31 2011 +0200 Broken links removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01ee05bc44c6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 25 17:15:32 2011 +0200 URI's updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4199d5fd3db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 20 16:44:06 2010 +0100 Added Andre10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2d5f584e8e0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 16 11:24:48 2010 +0200 Fixed CousotC79. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e02097c61eb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 30 07:52:39 2010 +0200 BagnaraHZ10CGTA has been published. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6f44ff00f4d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 16 14:40:41 2010 +0200 Added BandaG10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64e071d0d18c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 7 21:28:33 2010 +0200 Added BagnaraMPZ10TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666e769a33d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 7 19:23:29 2010 +0400 Added BozgaGI09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51f4adf64e4f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 18 10:21:20 2010 +0100 Added FeautrierCB07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32c4c2b73a93… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 5 09:09:24 2010 +0100 Added TrifunovicCEFG+10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0a2d7a85209… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 24 10:18:14 2010 +0100 BagnaraHZ09CGTA renamed and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8b1b9877ab2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 14 11:18:28 2010 +0100 BagnaraHZ10FMSD renamed and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5093fc1e5622… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 12 11:18:18 2010 +0100 Added Feautrier88. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d6edee51c40… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 12 11:03:35 2010 +0100 Updated BagnaraHZ10FMSD. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7637d0e1720… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 11 18:26:12 2009 +0100 Added FagesR09 and JhalaM09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae541d62afd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 11 08:09:38 2009 +0200 Added the online version of BagnaraHZ09CGTA. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a7a6a2e0e13… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 3 09:00:57 2009 +0200 Completed BagnaraHZ09TCS. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae23a676a7e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 29 20:24:01 2009 +0200 Added BagnaraHZ09CGTA. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee2aca9d993a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Sep 29 18:25:19 2009 +0200 BagnaraHZ09TCS completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89245fa234c9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 10 14:50:11 2009 +0200 Improved BagnaraHZ09TCS and BagnaraHZ09FMSD. Added BagnaraHZ09TRb. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48a7a0e0d127… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 14:06:07 2009 +0200 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff907d7d94f2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 14:03:54 2009 +0200 BagnaraHZ09TCS updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94cf39b71566… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 20 21:57:22 2009 +0200 Added PerezRS09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af301881fd8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:37:16 2009 +0200 Added JeannetM09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8ceb41474e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:37:07 2009 +0200 Halbwachs93 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=102213c6c44e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:16:10 2009 +0200 BagnaraHZ09 updated and renamed BagnaraHZ09FMSD. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05394fdb57d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 17 20:15:51 2009 +0200 Added LimeRST09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533511d66d4b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 20 08:57:24 2009 +0200 URL added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84c367f397a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 20 08:52:00 2009 +0200 Added RizkBFS09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f05eb08a6cf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 15 08:15:23 2009 +0200 BagnaraHZ09 will be published in Formal Methods in System Design. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7344037dad6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 7 09:36:49 2009 +0200 Added LeconteB06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6d83ba84468… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 7 08:04:15 2009 +0200 Added SenS07TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4380ed9cb376… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 29 15:26:37 2009 +0200 Added LogozzoF08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7191b99a807… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 11:31:21 2009 +0200 BagnaraHZ09TRa updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96372382ead7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 07:43:49 2009 +0200 Updated BagnaraHZ09TRa. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cd7f770749a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 09:20:57 2009 +0200 Added URI for arXiv. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cbb68d14a5b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 20:59:29 2009 +0200 Added YangWGI09. Non-ASCII characters removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11be95f27a55… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 20:48:55 2009 +0200 Added AlbertACGPZ08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5c4a8eb2296… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 10:42:30 2009 +0200 Added BagnaraHZ09TRa. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c612c6be6bd9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 8 08:21:50 2009 +0200 Added MoserKK07. Entries sorted. Some specifications of page numbers fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3d9bbbe2cd7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 7 15:54:08 2009 +0200 Added bibtex entry for BagnaraHZ09 (submitted for publication). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dc6b8e3228c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 7 15:42:19 2009 +0200 Added BandaG09. Used the right kind of dash in other entries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da14557a61b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 27 09:04:25 2009 +0000 Added Frehse08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3c7f2af2ea5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 21:52:30 2009 +0000 Added AlbertAGPZ08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b205c9463e2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 21:19:53 2009 +0000 Added DenmatGD07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07173d58ba53… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 21:04:24 2009 +0000 Added KimGR07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08907a02f03c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:36:47 2009 +0000 GulwaniL-AS09 updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e193a341171… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:33:28 2009 +0000 AlurKRS08 updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76e6e7bd51a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:29:54 2009 +0000 Added AlbertAGP08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2714f8d7ec83… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 20:09:30 2009 +0000 Added MakhloufK06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9400029ab255… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 09:56:36 2009 +0000 Added BjorndalenA05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13c1cf85faa2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 25 20:52:33 2009 +0000 Added PopeeaC08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a8492d80f43… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 25 08:45:50 2009 +0000 Added BramanM08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b4496355390… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 25 08:32:11 2009 +0000 Added ChenMC08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5375dcdf6d6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 20 20:30:16 2009 +0000 Entries reordered. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dde31a3d3c9d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 20 20:26:48 2009 +0000 Added LavironL09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=755b09c3a590… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 20 20:16:09 2009 +0000 Added GulwaniL-AS09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cd703104a61… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 18 16:54:27 2009 +0000 Added BagnaraHZ09TCS. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c891f29b0a30… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 26 15:50:53 2008 +0000 Added TraonouezLR08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d9ce4d731b6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 24 13:35:56 2008 +0000 Added BemporadFT00TR and BemporadFT01. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ac4d1961130… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 19 18:45:47 2008 +0000 Use \url instead of \tt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbbaefe0cd1d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 19 18:45:19 2008 +0000 Added QuillereRW00. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40034c50e9d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 27 08:55:26 2008 +0000 Several corrections to BlanchetCCFMMMR02. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f274c5ef44df… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Oct 27 08:36:09 2008 +0000 Added reference to the paper by Blanchet et al that proposes the widening with thresholds (2002). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2d651a8de75… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 22 20:30:18 2008 +0000 Added Soffia08TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=426a7c98c74f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 17 10:11:00 2008 +0000 Added Vasconcelos08th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f7a41d0f942… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 25 08:36:30 2008 +0000 Removed note from BagnaraHZ08SCP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0c279968473… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 12 13:11:26 2008 +0000 Added AlurKRS08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b78bf651fe73… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 29 18:51:25 2008 +0000 Added BouchyFL08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35f647e22596… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jul 5 10:39:51 2008 +0000 BagnaraHZ08SCP completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9576316c86c3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:55:31 2008 +0000 Added Warren03. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5aa5fd1f7d84… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:40:01 2008 +0000 Added SenS07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae2693b999d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:19:40 2008 +0000 Added RepsBL06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=772fe6def402… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 5 14:10:17 2008 +0000 Added SimonK07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9676fab9f314… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 17 13:29:50 2008 +0000 Added bibliographic entry HenkinMT71 (to be double checked). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca562172c0ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:24:20 2008 +0000 Added PayetS07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a1633c8c103… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:15:39 2008 +0000 GopanR07a completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8af60f166d42… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:13:12 2008 +0000 Added Gopan07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c871cccf82b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 14:03:45 2008 +0000 Added Gobert07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30d3c0d0d605… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 8 13:42:40 2008 +0000 Added SankaranarayananIG07. Completed GopanR07b. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b46fffedb155… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 29 20:14:24 2008 +0000 BagnaraHZ08 renamed BagnaraHZ08SCP (the paper to appear on Science of Computer Programming). New paper BagnaraHZ08 (the VMCAI 2008 paper). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce1e3c2c3b10… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 11 08:21:47 2008 +0000 Added Henriksen07th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fb4ce7b116f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Aug 30 16:30:52 2007 +0000 Starynkevitch07 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=661a6586d31c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Aug 30 16:22:04 2007 +0000 Added Starynkevitch07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2280f02ef45b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 27 10:01:47 2007 +0000 Added BagnaraHZ08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2883f56ed1dc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 17 14:11:48 2007 +0000 Added YangWGI06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fccbbc064bfd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 17 07:14:40 2007 +0000 Added GopanR07a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=515fee3aa68e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 17 06:54:55 2007 +0000 Added GopanR07b. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa590d1cf777… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jul 4 10:20:40 2007 +0000 Added GobertLC07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb3f6e63ad8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 4 07:50:32 2007 +0000 CovaFBV06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6e68c08ed82… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 4 07:32:48 2007 +0000 Added SankaranarayananISG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6472d93de281… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jun 20 19:15:52 2007 +0000 Added Doyen06th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4bed5a7ae0c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jun 19 06:29:08 2007 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b77849257149… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 18 16:31:47 2007 +0000 Added SlaninaSSM07TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9cb807a366c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 4 11:47:23 2007 +0000 BagnaraHZ07TRb completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=269fbaf39331… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 4 08:19:58 2007 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e948aea7e21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 3 20:33:34 2007 +0000 Added Vigna07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ad70c2cbf33… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 3 20:07:50 2007 +0000 Added ArmandoBM07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c0819d39d4e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 1 09:27:47 2007 +0000 Added BagnaraHZ07TRb (still incomplete). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37e3da823130… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 1 09:24:14 2007 +0000 Renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ffc4d91f871… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 1 09:05:41 2007 +0000 BagnaraHZ07TR renamed BagnaraHZ07TRa. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13acbebc4834… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 16 09:53:38 2007 +0000 BagnaraDHMZ07 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab2b70f260d7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 19:19:14 2007 +0000 Revised Ricci02th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=364f04e713d3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 6 21:11:12 2007 +0000 DoyenHR05 added. Formed DoyenHR05 now has key DoyenHR05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=269ccb5c2474… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Jan 19 12:13:09 2007 +0000 Added volume number for BagnaraDHMZ07 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80d255e8c77c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 19 08:48:30 2007 +0000 Added BagnaraHZ07TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25eacbc958a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 15 17:14:46 2007 +0000 Fixed Frehse05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e83429221af… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 15 09:20:32 2007 +0000 Fixed StoerW70. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a43c3c1d2cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 13 15:04:40 2007 +0000 Added FrankM02th. Completed Flexeder05th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c111a9c6919a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 9 16:41:51 2007 +0000 FrehseKRM05 replaced by FrehseKRM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5abd2b2ae925… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 20:07:28 2006 +0000 Added a PDF URL to BagnaraHZ06TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=718a3107ded5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 18:37:41 2006 +0000 Added Flexeder05th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48b0c71b4b81… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 18:16:47 2006 +0000 Added ChakrabortyMS06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb12911b4e7d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 18:06:28 2006 +0000 Added CovaFBV06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a7156d0a569… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:41:57 2006 +0000 AsarinDFGLGM06 is no longer "to appear." URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22e7b9813212… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:41:31 2006 +0000 Completed vanHeeOSV06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbb87aeef566… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:33:30 2006 +0000 HenriksenG06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccad5bf7f276… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:28:43 2006 +0000 GopanR06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10389d5f02b7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:25:22 2006 +0000 GonnordH06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44e99a5bc483… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 20 17:13:44 2006 +0000 SongCR05 rekeyed SongCR06, corrected and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=374a39134c90… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 19 12:44:40 2006 +0000 BagnaraHZ06STTT completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114da14272c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Dec 19 12:19:57 2006 +0000 Added BagnaraDHMZ05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6069efa18a8b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 18:17:50 2006 +0000 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4122f3a9d28f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 17:42:07 2006 +0000 BagnaraDHMZ06a substituted by BagnaraDHMZ07. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bb6b18b6062… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 17:37:08 2006 +0000 HalbwachsMG06 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b4dc046e97e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 15:19:34 2006 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b46873896836… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 18 14:55:07 2006 +0000 Updated BagnaraDHMZ06a and BagnaraDHMZ06b entries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=008e249eb677… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 13:28:56 2006 +0000 BagnaraHZ06STTT updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8ba804127e1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 10:26:46 2006 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=723922d07313… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 10:26:18 2006 +0000 BagnaraHZ06TR corrected and completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab8fa7a23327… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 18 09:09:25 2006 +0000 Key BagnaraHZ04TRa changed to BagnaraHZ04TR. Provisional entry for BagnaraHZ06TR added. Do not use double quotes for numeric fields. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efd2fd39c371… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 18 08:27:06 2006 +0000 Spelling corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=942b3c4d09bb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 17 20:29:34 2006 +0000 Added NakanishiJPF99 and NakanishiF01. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15c9e498d372… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 11 11:13:17 2006 +0000 Previous references added removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0c8fd57169e… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Dec 11 10:14:26 2006 +0000 Revised the reference for BagnaraDHMZ06a. Added references for AlurCHHHNOSY95, AlurCHH93, and Henzinger96. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e8de1e7cdd0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 27 18:02:59 2006 +0000 Avoid non-ASCII characters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0addfb34da34… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 23 18:06:16 2006 +0000 Spelling corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16ecc665593e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 21 14:58:48 2006 +0000 Added GoldfarbR77. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0c9e5ba53c0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 21 14:36:35 2006 +0000 Added PapadimitriouS98. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=541313fed865… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 2 15:13:14 2006 +0000 Added AsarinDFGLGM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=335700946a56… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 8 07:04:01 2006 +0000 HalbwachsMP-V03 fixed (copy and paste mistake). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dddbc6c8b3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 10:22:49 2006 +0000 Added UchoaFLPPdAA06TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5d1190f9c54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 09:36:27 2006 +0000 Added GonnordH06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e33cd4da1be… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 09:25:44 2006 +0000 Added HalbwachsMG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63656e6f6971… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 08:12:20 2006 +0000 Added HenriksenG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b2a64974c375… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 6 07:50:41 2006 +0000 Added abstracts for Avery06, CarloniPPS-V06, GulavaniR06 and Pop06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb0cc624d401… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 22:28:00 2006 +0000 Added CarloniPPS-V06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d53ab1273a0a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 22:17:21 2006 +0000 Added Pop06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=299fdd500f08… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 21:59:05 2006 +0000 Added Avery06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5594316a66d5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 5 21:31:36 2006 +0000 Added GulavaniR06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c246698b260… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 26 07:02:17 2006 +0000 Added GopanR06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1be4ae54e1fb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 28 19:50:17 2006 +0000 Corrected a spelling error. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b5343d1c763… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 28 17:50:34 2006 +0000 Fixed Ancourt91th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85c76926c84c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 28 17:50:16 2006 +0000 Added DooseM05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18455e30a812… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 21 09:28:05 2006 +0000 MesnardB05TPLP fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=add234eb8345… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 19 12:35:18 2006 +0000 Capitalization fixed in the references about `polymake'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d41981dc844a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 21:18:13 2006 +0000 Added vanHeeOSV06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59ca66b40220… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 18:44:50 2006 +0000 Added Ellenbogen04th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98f480d1f2a8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 18:28:00 2006 +0000 Added SankaranarayananSM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba4079dd46c9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 18:03:52 2006 +0000 Added SankaranarayananCSM06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc72f7855224… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 17:23:03 2006 +0000 Minor formatting change. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e5ab4a06e0c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 16 09:36:57 2006 +0000 GopanDMDRS04 was missing the address field: added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=071ee1a4ea2f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 15 16:20:08 2006 +0000 Added Ricci02th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e38f2726df02… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Apr 14 21:56:54 2006 +0000 Added bib entries for Grid papers submitted to FM and about to be sub,itted to LOPSTR. Note that the link on my site to the postscript for the LOPSTR submission is deliberately unreadable until the actual submission. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8082c85d126d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 12 06:12:36 2006 +0000 FrehseKR06 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af4211169399… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 11 11:32:39 2006 +0000 BagnaraHZ05STTT renamed BagnaraHZ06STTT; year field changed to 2006. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0112746b1c29… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 9 13:28:41 2006 +0000 Added KhachiyanBBEG06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8a44e22551e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 23 13:17:42 2006 +0000 Added FrehseKR06. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cda6eed9ec5… Author: Andrea Pescetti <pescetti(a)no.email> Date: Fri Jan 20 17:33:47 2006 +0000 Broken and obsolete links updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d70d6be3a88f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 8 10:53:44 2006 +0000 Added ISBN for the SAS 2005 volume. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5a607174dd4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 1 18:32:51 2006 +0000 Trailing blanks removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=408ccaa24f8c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 1 18:28:06 2006 +0000 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf1cbe7bfe96… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 1 17:43:27 2006 +0000 Added BagnaraDHMZ05TR.pdf. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ccec28448ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 18 15:28:03 2005 +0000 Ancourt91th completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab1354ebfd90… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 18 08:04:59 2005 +0000 Fixed many broken or redirected links. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=463d32b2fe76… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 17 06:17:26 2005 +0000 Frehse05th added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0db57b87268… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 17:14:49 2005 +0000 CacheraM-A05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62914264dee8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 16:37:16 2005 +0000 Added DoyenHR05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c37e4b2b2606… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 16:19:47 2005 +0000 Added LagoonMS03. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a982dcc0b28a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 15:55:02 2005 +0000 KruegelKMRV05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ff5f5a85d55… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 15:12:30 2005 +0000 Added FrehseKRM05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f06257d4e73… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Sep 10 14:55:24 2005 +0000 SongCR05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d855c949113… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Sep 8 06:25:05 2005 +0000 BagnaraR-CZ05 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b06029c6d47… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 5 13:37:02 2005 +0000 Completed the bibliographic information for BagnaraHRZ05SCP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1377768cbef0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Sep 4 21:21:38 2005 +0000 Added HuelsbergenHL90. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36fc0df83206… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Sep 3 11:52:30 2005 +0000 Completed the entry for BagnaraHZ05FAC. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0800a1eef363… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Aug 5 16:19:34 2005 +0000 Added 1997 paper by Quinton et al. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f174b71624e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 28 14:18:01 2005 +0000 Address added to CousotC76. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22ba0ec90a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 23 14:25:02 2005 +0000 Unwanted quotes removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b88b20eaf21a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 23 14:24:35 2005 +0000 Conflict removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2ffc65b52b9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 23 14:20:11 2005 +0000 Frehse05 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec46f8e554a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 19 06:02:48 2005 +0000 Added BagnaraHZ05FAC. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8d31fc30374… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 19 06:00:58 2005 +0000 Added BagnaraR-CZ05 and BagnaraR-CZ05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d02dbc6efab9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 19 06:00:34 2005 +0000 Added BagnaraHMZ05 and BagnaraHZ05STTT. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1eae426743a2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 18 13:56:06 2005 +0000 Announce the new paper on widenings for weakly-relational numeric abstractions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bc07fd3488f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 18 13:22:18 2005 +0000 Reordered. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=786ac6e03ad9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 18 12:56:34 2005 +0000 Added JaffarMSY94, NelsonO77, NelsonO80, Pratt77 and Shostak81. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccffc533a3ce… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 15 08:02:38 2005 +0000 Use a double hyphen in page ranges. Use month codes instead of month names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9efcf0824244… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 13 17:13:19 2005 +0000 Added BagnaraMHZ05TR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8875acae65bb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 13 17:02:02 2005 +0000 Mine04 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f3eebd8fbf7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 24 10:45:27 2005 +0000 Added page numbers to Frehse05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=565237ceec6c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 16 10:10:16 2005 +0000 Added Mine05th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f47f14371c71… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 12 08:14:00 2005 +0000 Added GopanRS05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d25c5eda27b6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 09:13:37 2005 +0000 Spurious booktitle field removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff2ed47c93fb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 09:12:46 2005 +0000 BagnaraHZ03b improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7becd7ce1fd2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 09:09:34 2005 +0000 Added SankaranarayananSM05. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e1877d37fa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 06:45:29 2005 +0000 Frehse05 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f91ed1f8c851… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 9 08:25:14 2005 +0000 Added BagnaraHMZ04EA. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d507787f38b4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 8 15:33:01 2005 +0000 Links to Komei Fukuda's home page updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f04ab67b0fda… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 8 15:22:58 2005 +0000 Added BagnaraHRZ05SCP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e299d9bb1f6… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Tue Jan 4 12:41:59 2005 +0000 Removed erroneous line in Mine01a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13a058f62b77… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 10 10:16:14 2004 +0000 Added Mine01a and Mine02. Minor improvements elsewhere. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6afa76f9dff1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 10 09:55:35 2004 +0000 Mine04 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba6eef9d43ff… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 2 14:04:12 2004 +0000 Previous change reverted. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9fd2fc193e9… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Tue Nov 2 13:15:06 2004 +0000 "official" changed to "full". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07d86e0a9bc4… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Sep 27 16:23:43 2004 +0000 References added to abstract for the Granger 1997 paper. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bd62f882172… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Sep 27 14:48:43 2004 +0000 Removed citations to applications in the paragraph about integral grids. Added to ppl.bib, references for Ancourt thesis, two papers by Granger (1991 and 1997) and Technical report by Quinton et al. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a6650e14aae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 27 13:12:38 2004 +0000 Last change reverted: in the bibliography we use the right LaTeX code, which is then simplified, when needed, for the sake of BibTeX2HTML. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dbff733a320… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 27 13:00:55 2004 +0000 Do not use LaTeX that cannot be decently handled by BibTeX2HTML. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92ac61755ab0… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Sep 27 09:15:32 2004 +0000 Completed draft descriptions of the numerical abstractions. Added to ppl.bib reference to the Mine paper on the octagon domain and to Roberto's thesis. Updated the gif version of the illustration of a relational grid to correspond to that already in abstractions.tex. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac8d192502d2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 20:03:56 2004 +0000 Make sure `I/O' is not touched by BibTeX. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72070dd1bb5e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 19:56:37 2004 +0000 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bcf299483e6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 19:45:45 2004 +0000 Added a first draft for FrehseHK04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=528d11dd17ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 19:23:13 2004 +0000 Added a first draft for Frehse04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=539ca1f47ec9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 18:42:48 2004 +0000 Added HalbwachsMP-V03. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e39acf0eac1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 31 17:28:16 2004 +0000 New page and bibliography for citations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68def679698a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Aug 25 09:33:47 2004 +0000 Integrated the "abstract" of CousotC79. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d555e47ca89… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Aug 24 10:04:34 2004 +0000 Added entries for CousotC76 and CousotC79, with "abstracts" (actually, the first sentences from the introductions) and URLs to PDF versions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=833836f6cc54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 7 11:24:34 2004 +0000 Added BalasundaramK89. This paper, back in 1989, introduced what are now called "octagons" under the name "simple sections." URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d95249b3b1d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 7 07:38:36 2004 +0000 Kannan92 removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69db35beaba7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 5 07:05:56 2004 +0000 Kannan92. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfbd7183e607… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 5 12:14:33 2004 +0000 Bagnara98SCP fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbad4bee730b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 13 15:22:25 2004 +0000 Added GopanDMDRS04. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=419f8c93f7b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 9 14:42:03 2004 +0000 Added Masdupuy92 and Masdupuy93th. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1231685afce… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 21 09:59:57 2004 +0000 Added entry for Q349. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f512ffbfee… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 18 17:06:38 2004 +0000 BagnaraHZ03a added. BagnaraHZ03 renamed BagnaraHZ03b. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9883b06e1c2f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 8 15:17:50 2004 +0000 BagnaraHZ04 fixed, completed and renamed BagnaraHZ03 (since the publication date is 2003). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8ed671115f7… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Wed Nov 19 10:44:54 2003 +0000 added reference to Schriver text book. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3db81f1df89… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 19 10:13:02 2003 +0000 Key for NookalaR00 capitalized consistently. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f77f8f2f2f48… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Nov 7 15:19:18 2003 +0000 BagnaraHZ04 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c2a08c1d686… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Wed Nov 5 07:16:18 2003 +0000 NELS and similar changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0fca05d3462… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 13 09:49:47 2003 +0000 Bagnara98SCP added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740d8d5e021d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 15 05:15:17 2003 +0000 BagnaraHRZ03 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c91ea21b179… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 18 06:44:01 2003 +0000 Missing commas added, unnecessary commas removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c995100fe8ef… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 18 06:24:33 2003 +0000 BagnaraHRZ03 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=281b50409e8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 26 07:16:44 2003 +0000 GawrilowJ01 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7417b62523d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 26 18:04:08 2003 +0000 Entry for Quaderno 312 completed. Abstract for Quaderno 305 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec65adf3df21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 21 17:44:36 2003 +0000 Draft entry for BagnaraHRZ03TR added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80de92b95ec3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 9 17:39:14 2003 +0000 Typo fixed in Halbwachs79th. HenzingerH95 and HenzingerPW01 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c891375844bd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Nov 15 09:31:02 2002 +0000 BagnaraHZ02TR will appear as Quaderno 305. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a880a04dc2a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 25 16:42:24 2002 +0000 BagnaraHZ02TR added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47f34c8accca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Oct 15 17:17:18 2002 +0000 Halbwachs93 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6580bf01b62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 14 07:22:49 2002 +0000 BessonJT99 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e1184d93aa7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 7 05:21:41 2002 +0000 BultanGP99 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08acf2c0a10c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 6 08:15:04 2002 +0000 Dantzig63 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a2353d3d5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 5 20:07:12 2002 +0000 Typo fixed. File bibliography.raw regenerated with the new version of bibtex2html (1.54). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85dd9d2401a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 5 19:56:26 2002 +0000 Srivastava93 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e0f8e82c7be… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 23 07:28:53 2002 +0000 BagnaraHZ02a added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b87079d7c0f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Sep 23 06:36:44 2002 +0000 BagnaraRZH02 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64316c253e81… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 31 10:28:15 2002 +0000 Force capitalization of "Parma Polyhedra Library" the right way. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e1e4c5a1707… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jul 31 10:21:00 2002 +0000 In the entry for BagnaraRZH02, enforced capitalization of the PPL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a678da49aab7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 29 20:41:38 2002 +0000 Entry for BagnaraRZH02 completed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62bdfcefce4c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 3 16:39:42 2002 +0000 BagnaraRZH02 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf19a0b5a317… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 28 16:18:31 2002 +0000 BagnaraRZH02TR and BagnaraRZH02TRerrata added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2db81023ec94… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 20 14:22:13 2002 +0000 Halbwachs79th added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a484d425d2ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 17 12:31:22 2002 +0000 CousotC92-PLILP added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=568a5013ccb5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 28 18:45:47 2002 +0000 HalbwachsKP95 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f5a6de7491f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 26 06:45:30 2002 +0000 Corrected entry of LeVerge92, so as to consider "Le" as part of the family name. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa841cb595fe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 25 19:50:50 2002 +0000 LeVergeVDW94 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24b7d8711d81… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 25 13:00:00 2002 +0000 Loechner99 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f780c0cb29b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 18 12:32:16 2002 +0000 StoerW70 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f289eec7b70e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 14 20:15:23 2002 +0000 Kuhn56 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66039f1d71a3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 14 09:27:04 2002 +0000 HalbwachsPR94 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bfd831abf5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 13 11:57:36 2002 +0000 NEW-POLKA-1-1-3c added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c6c82dbc328… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 13 11:40:50 2002 +0000 Added GawrilowJ00, GawrilowJ01, and LoechnerW97. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbdcde504cbd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 10 07:40:31 2002 +0000 NemhauserW88 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df0620ab0f27… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 14 15:15:04 2001 +0000 There is no abstract in Weyl50. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edb61b8d410d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 14 09:13:39 2001 +0000 Weyl35 and Weyl50 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b19f489621ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 17 14:48:32 2001 +0000 MotzkinRTT53 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f2d1612d112… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Oct 12 09:31:31 2001 +0000 NemhauserW88 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f25ae34748f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 10 17:47:05 2001 +0000 Provide the source code from LeVerge92. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da2bd8cc4701… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 8 15:01:54 2001 +0000 Chernikova6[458] fixed: they were all wrong. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de18c94819e6… Author: Elisa Ricci <ericci(a)no.email> Date: Mon Oct 8 13:27:13 2001 +0000 Added the Chernikova's articles (what I know). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a66665e2aca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 8 10:41:49 2001 +0000 LeVerge92 fixed (missing comma and spurious brackets). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bdf242a89e1… Author: Elisa Ricci <ericci(a)no.email> Date: Mon Oct 8 09:52:59 2001 +0000 Added the 'Abstract' for "A note on Chernikova's Algorithm". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=add09ea8c895… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 18:59:55 2001 +0000 Fukuda98 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec8a4848c3ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 18:16:42 2001 +0000 LeVerge92 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9177234e00b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 17:15:55 2001 +0000 CousotH78 fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8893de1181d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 17:09:45 2001 +0000 FukudaP96 updated: abstract revised, URL and backup copy provided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c42f9db1e39c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 17:01:40 2001 +0000 FukudaP96 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7181964f1f3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 16:19:01 2001 +0000 Generate a bibliography page from ppl.bib: this is referenced from the Documentation page. Abstract of Wilde93th added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10fda351ee29… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 13:19:36 2001 +0000 CousotH78 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=787a6a1915d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 12:06:33 2001 +0000 All the documentation, both ours and the papers we cite, belong to the Documentation directory. The mirror subdirectory will contain backup copies of the papers we reference: things disappear from the web far too often. HalbwachsPR97 added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab71409476ee… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 1 07:53:29 2012 +0200 Updated for Doxygen 1.8.0. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cac8985192b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 31 21:06:51 2012 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c0584c35178… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 13:58:31 2012 +0200 Simplified INPUT tag values in devref manuals' Doxygen configuration files. Avoid most of the explicit listing of source files, favouring a much smaller number of file name patterns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b495379843cd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 13:57:10 2012 +0200 Doxygen \relates command can not be used with enumerated types. Replace it with \name grouping. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=daeeb3466009… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 10:39:18 2012 +0200 No longer using the installdox command (deprecated and subject to removal). Fixed Doxygen configuration paths for license files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=992e9dc81a58… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 10:20:08 2012 +0200 Further improvements to documentation of helper functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d37ea40c807… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 10:08:05 2012 +0200 Use Doxygen command \class for declared-but-undefined class templates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad78ee45b1a5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 10:06:55 2012 +0200 Improved documentation formatting using Doxygen command \tparam. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e99a61bf4826… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 09:57:42 2012 +0200 Fixed typo in documentation (causing a Doxygen warning). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7925c6720856… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 31 08:46:58 2012 +0200 Corrected name of Doxygen documentation group. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fdf149dd64f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 30 18:14:55 2012 +0200 On machines where float is supported and double is not supported, test01() can yield results that are significantly less precise. (Thanks to Sean McGovern.)

1 0

[GIT] ppl/ppl(master): Made several exception thrower methods static.
by Enea Zaffanella 04 Apr '12

04 Apr '12

Module: ppl/ppl Branch: master Commit: 717a18d0a06e1a32a36c31896d4cb055015717e4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=717a18d0a06e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Apr 4 11:31:59 2012 +0200 Made several exception thrower methods static. Renamed throw_generic() as throw_invalid_argument() for consistency. In generalized_affine_{pre}image(), systematically throw an invalid argument exception if relsym == NOT_EQUAL. Corrected several inaccuracies in exception error messages. --- src/BD_Shape.defs.hh | 2 +- src/BD_Shape.inlines.hh | 8 +- src/BD_Shape.templates.hh | 105 ++++++++++++++---------------- src/Box.defs.hh | 2 +- src/Box.inlines.hh | 6 +- src/Box.templates.hh | 53 ++++++++------- src/Grid.defs.hh | 20 +++--- src/Grid_nonpublic.cc | 11 ++-- src/Grid_public.cc | 40 ++++++++---- src/Octagonal_Shape.defs.hh | 8 +- src/Octagonal_Shape.inlines.hh | 8 +- src/Octagonal_Shape.templates.hh | 134 ++++++++++++++++++++++--------------- src/Polyhedron_public.cc | 8 +- 13 files changed, 221 insertions(+), 184 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=717a18d0…

1 0

Fwd: Re: PPL 1 test (linearize) failed
by Roberto Bagnara 03 Apr '12

03 Apr '12

-------- Original Message -------- Subject: Re: [PPL-devel] PPL 1 test (linearize) failed Date: Tue, 3 Apr 2012 21:56:29 +0200 From: Enric Caussa Morales <me(a)enric.me> To: Roberto Bagnara <bagnara(a)cs.unipr.it> Hi Roberto, OK, we'll start deploying GCC with the next version of PPL after Easter. Thanks, Enric On 03 Apr 2012 21:37, Roberto Bagnara wrote: > On 04/03/12 21:09, Enric Morales wrote: > >Ciao Roberto. > >This snapshot passes all of the tests beautifully. So yes, it was most probably fixed with your recent commits. > >Is it a good idea to build GCC against it at this stage? > > Hi Enric, > > I would rather wait for the official release of PPL 0.12.1, > just after Easter. > Cheers, > > Roberto > > >On Sat, Mar 31, 2012 at 8:53 AM, Roberto Bagnara <bagnara(a)cs.unipr.it <mailto:bagnara@cs.unipr.it>> wrote: > > > > On 03/30/12 19:02, Enric Caussa Morales wrote: > > > > Good day. > > I am compiling PPL 0.12 on our Arch Linux port for PowerPCs. > > We just prepared GCC 4.7.0 and started building packages with it. > > However, PPL fails the checks. > > I have attached the log. Hope it can be of help. > > > > > > Hello Enric, > > > > thanks for the report. > > > > > > Can we just omit the error, or can it be important? > > > > > > The error can be important. We have made several corrections > > to PPL 0.12 and we will soon (a couple of weeks perhaps) > > release PPL 0.12.1. Some of the bugs we have already fixed > > could explain your observation. Can you please test the > > PPL 0.12.1 release snapshot available at > > > > http://bugseng.com/products/__ppl/download/ftp/snapshots/ <http://bugseng.com/products/ppl/download/ftp/snapshots/> > > > > ? > > Please report back whatever the result is. > > Cordially, > > > > Roberto > > > > -- > > Prof. Roberto Bagnara > > Applied Formal Methods Laboratory > > Department of Mathematics, University of Parma, Italy > > http://www.cs.unipr.it/~__bagnara/ <http://www.cs.unipr.it/%7Ebagnara/> > > mailto:bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it> > > > > > > > > > >-- > > > >-- > >Enric Caussa Morales > ><me(a)enric.me <mailto:me@enric.me>> > > > -- > Prof. Roberto Bagnara > Applied Formal Methods Laboratory > Department of Mathematics, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > mailto:bagnara@cs.unipr.it -- Enric Caussa Morales <me(a)enric.me>

1 0

Re: [PPL-devel] PPL 1 test (linearize) failed
by Roberto Bagnara 03 Apr '12

03 Apr '12

On 04/03/12 21:09, Enric Morales wrote: > Ciao Roberto. > This snapshot passes all of the tests beautifully. So yes, it was most probably fixed with your recent commits. > Is it a good idea to build GCC against it at this stage? Hi Enric, I would rather wait for the official release of PPL 0.12.1, just after Easter. Cheers, Roberto > On Sat, Mar 31, 2012 at 8:53 AM, Roberto Bagnara <bagnara(a)cs.unipr.it <mailto:bagnara@cs.unipr.it>> wrote: > > On 03/30/12 19:02, Enric Caussa Morales wrote: > > Good day. > I am compiling PPL 0.12 on our Arch Linux port for PowerPCs. > We just prepared GCC 4.7.0 and started building packages with it. > However, PPL fails the checks. > I have attached the log. Hope it can be of help. > > > Hello Enric, > > thanks for the report. > > > Can we just omit the error, or can it be important? > > > The error can be important. We have made several corrections > to PPL 0.12 and we will soon (a couple of weeks perhaps) > release PPL 0.12.1. Some of the bugs we have already fixed > could explain your observation. Can you please test the > PPL 0.12.1 release snapshot available at > > http://bugseng.com/products/__ppl/download/ftp/snapshots/ <http://bugseng.com/products/ppl/download/ftp/snapshots/> > > ? > Please report back whatever the result is. > Cordially, > > Roberto > > -- > Prof. Roberto Bagnara > Applied Formal Methods Laboratory > Department of Mathematics, University of Parma, Italy > http://www.cs.unipr.it/~__bagnara/ <http://www.cs.unipr.it/%7Ebagnara/> > mailto:bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it> > > > > > -- > > -- > Enric Caussa Morales > <me(a)enric.me <mailto:me@enric.me>> -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0