- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Put items on the right list.
by Roberto Bagnara 08 Nov '11

08 Nov '11

Module: ppl/ppl Branch: master Commit: 53f12fe79ea856dbba696ab2b2e57a9d444da2fa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53f12fe79ea8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 8 05:12:44 2011 +0100 Put items on the right list. --- devtools/good_items | 3 +++ devtools/good_words | 12 ++++-------- 2 files changed, 7 insertions(+), 8 deletions(-) diff --git a/devtools/good_items b/devtools/good_items index b5eaa49..5e61305 100644 --- a/devtools/good_items +++ b/devtools/good_items @@ -1,5 +1,7 @@ AUT00-13 BemporadFT00TR +TW_Pending_List +WD_Pending_List biggl biggr bigl @@ -40,6 +42,7 @@ pmod rangle rfloor rightarrow +rlim_cur scriptstyle sseq textrm diff --git a/devtools/good_words b/devtools/good_words index 94d739d..ee7d459 100644 --- a/devtools/good_words +++ b/devtools/good_words @@ -1,13 +1,9 @@ +coord fp +itv negator -coord +smod +umod vec -srcptr -setbit -clrbit -tdiv vr -umod -smod -itv vsi

1 0

Re: [PPL-devel] Can't find GMP, but it's installed
by Roberto Bagnara 07 Nov '11

07 Nov '11

On 05/11/11 14:18, rafael ff1 wrote: > 2011/5/11 Roberto Bagnara<bagnara(a)cs.unipr.it>: >> >> What is the contents of the `config.log' file generated by the >> `configure' script? >> Cheers, >> >> Roberto >> >> -- >> 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 >> _______________________________________________ >> PPL-devel mailing list >> PPL-devel(a)cs.unipr.it >> http://www.cs.unipr.it/mailman/listinfo/ppl-devel >> > > I'm sending as attachment a config.log for the aforementioned > configure script and another one with ld library path forced. Please > let me know if you don't receive it - some mail lists block > attachments... > > Rafael Hi Rafael, the config.log you sent does not seem to match the file fail-build.log you sent earlier. The latter says: checking how to link with libgmp... /usr/lib32/libgmp.so -Wl,-rpath -Wl,/usr/lib32 checking how to link with libgmpxx... /usr/lib32/libgmpxx.so /usr/lib32/libgmp.so -Wl,-rpath -Wl,/usr/lib32 -Wl,-rpath -Wl,/usr/lib32 which looks correct to me. The former says: configure:10129: checking how to link with libgmp configure:10602: result: /usr/lib/libgmp.so configure:10644: checking how to link with libgmpxx configure:11117: result: /usr/lib/libgmpxx.so /usr/lib/libgmp.so which is very different and very wrong, since it is because of that that later we have: configure:11252: g++ -m32 -o conftest -g -O2 -frounding-math -march=x86-64 -mtune=generic -O2 -pipe -Wl,--hash-style=gnu -Wl,--as-needed conftest.cpp /usr/lib/libgmpxx.so /usr/lib/libgmp.so >&5 /usr/lib/libgmpxx.so: could not read symbols: File in wrong format collect2: ld returned 1 exit status This is caused by the fact that g++ is given the x86_64 version of GMP. Please direct all messages to ppl-devel(a)cs.unipr.it. Cheers, Roberto -- 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

3 4

[GIT] ppl/ppl(master): Separate words from lexical items.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 5904df66748c501dc7316d8260c76e1c8d010bae URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5904df66748c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 20:51:15 2011 +0100 Separate words from lexical items. --- devtools/good_items | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++ devtools/good_words | 53 ++++++++++++-------------------------------------- 2 files changed, 65 insertions(+), 40 deletions(-) diff --git a/devtools/good_items b/devtools/good_items new file mode 100644 index 0000000..b5eaa49 --- /dev/null +++ b/devtools/good_items @@ -0,0 +1,52 @@ +AUT00-13 +BemporadFT00TR +biggl +biggr +bigl +bigm +bigoplus +bigr +cdot +cplusplus +defeq +downarrow +endcode +endverbatim +forall +frac +get_den +get_num +hideinitializer +iff +ine +ingroup +ldots +lfloor +mapsto +mathbf +mathit +mathop +mathord +mathrel +mathrm +mathtt +nbrows +ncols +notin +nrows +overline +pfunc +pmod +rangle +rfloor +rightarrow +scriptstyle +sseq +textrm +tparam +ull +uparrow +varepsilon +xp +yp +zp diff --git a/devtools/good_words b/devtools/good_words index 3346828..94d739d 100644 --- a/devtools/good_words +++ b/devtools/good_words @@ -1,40 +1,13 @@ -aut00-13 -biggl -biggr -bigl -bigm -bigoplus -bigr -cdot -cplusplus -defeq -downarrow -endcode -endverbatim -forall -frac -hideinitializer -iff -ingroup -ldots -lfloor -mapsto -mathbf -mathit -mathop -mathord -mathrel -mathrm -mathtt -notin -overline -pmod -rangle -rfloor -rightarrow -scriptstyle -sseq -textrm -tparam -uparrow -varepsilon +fp +negator +coord +vec +srcptr +setbit +clrbit +tdiv +vr +umod +smod +itv +vsi

1 0

[GIT] ppl/ppl(master): Fixed FSF address.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 1ff38066e4eac32808769e9071ad77594249d33b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ff38066e4ea… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 17:16:54 2011 +0100 Fixed FSF address. Detected by ECLAIR service cmntfile. --- src/OR_Matrix.defs.hh | 5 ++--- 1 files changed, 2 insertions(+), 3 deletions(-) diff --git a/src/OR_Matrix.defs.hh b/src/OR_Matrix.defs.hh index d554906..20ea2fc 100644 --- a/src/OR_Matrix.defs.hh +++ b/src/OR_Matrix.defs.hh @@ -15,9 +15,8 @@ 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, -USA. +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/ . */

1 0

[GIT] ppl/ppl(master): Fixed file comment blocks and related mistakes.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: dbedf8514da0b58c7c5ff8c37356a9ffc8d1f835 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbedf8514da0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 15:30:29 2011 +0100 Fixed file comment blocks and related mistakes. Detected by ECLAIR service cmntfile. --- src/CO_Tree.cc | 2 +- src/Checked_Number.cc | 2 +- src/Coefficient_traits_template.hh | 27 +++++++++++++++++++-------- src/DB_Matrix.defs.hh | 2 +- src/DB_Row.defs.hh | 2 +- src/Grid_public.cc | 2 +- src/Linear_Row.defs.hh | 2 +- src/Linear_System.defs.hh | 2 +- src/Makefile.am | 2 +- src/OR_Matrix.defs.hh | 2 +- src/OR_Matrix.inlines.hh | 5 ++--- src/Octagonal_Shape.cc | 5 ++--- src/Octagonal_Shape.inlines.hh | 5 ++--- src/Og_Status.idefs.hh | 5 ++--- src/Og_Status.inlines.hh | 5 ++--- src/{Topology.hh => Topology.types.hh} | 6 +++--- src/checked.cc | 2 +- src/checked.defs.hh | 2 +- src/mp_std_bits.cc | 3 +-- src/mp_std_bits.defs.hh | 3 +-- src/mp_std_bits.inlines.hh | 3 +-- src/swapping_sort.templates.hh | 8 ++++---- 22 files changed, 50 insertions(+), 47 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=dbedf851…

1 0

[GIT] ppl/ppl(master): Conflicts resolved.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: a9a6632bfcc7a546a2a7edcb636e47f60e4839b4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9a6632bfcc7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 10:25:15 2011 +0100 Conflicts resolved. --- src/BD_Shape.inlines.hh | 22 ++-------------------- 1 files changed, 2 insertions(+), 20 deletions(-) diff --git a/src/BD_Shape.inlines.hh b/src/BD_Shape.inlines.hh index 6004ae7..48c0241 100644 --- a/src/BD_Shape.inlines.hh +++ b/src/BD_Shape.inlines.hh @@ -798,22 +798,13 @@ BD_Shape<T>::CC76_extrapolation_assign(const BD_Shape& y, unsigned* tp) { template <typename T> inline void BD_Shape<T>::H79_widening_assign(const BD_Shape& y, unsigned* tp) { -<<<<<<< HEAD - // See the documentation for polyhedra. - C_Polyhedron px(constraints()); - C_Polyhedron py(y.constraints()); - px.H79_widening_assign(py, tp); - BD_Shape x(px); - m_swap(x); -======= // Compute the H79 widening on polyhedra. // TODO: provide a direct implementation. C_Polyhedron ph_x(constraints()); C_Polyhedron ph_y(y.constraints()); ph_x.H79_widening_assign(ph_y, tp); BD_Shape x(ph_x); - swap(x); ->>>>>>> Project vocabulary fixes. + m_swap(x); PPL_ASSERT(OK()); } @@ -828,22 +819,13 @@ inline void BD_Shape<T>::limited_H79_extrapolation_assign(const BD_Shape& y, const Constraint_System& cs, unsigned* tp) { -<<<<<<< HEAD - // See the documentation for polyhedra. - C_Polyhedron px(constraints()); - C_Polyhedron py(y.constraints()); - px.limited_H79_extrapolation_assign(py, cs, tp); - BD_Shape x(px); - m_swap(x); -======= // Compute the limited H79 extrapolation on polyhedra. // TODO: provide a direct implementation. C_Polyhedron ph_x(constraints()); C_Polyhedron ph_y(y.constraints()); ph_x.limited_H79_extrapolation_assign(ph_y, cs, tp); BD_Shape x(ph_x); - swap(x); ->>>>>>> Project vocabulary fixes. + m_swap(x); PPL_ASSERT(OK()); }

1 0

[GIT] ppl/ppl(master): Project vocabulary fixes.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 98475d291117f687b61cdaef3971f76bde4fe3bd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98475d291117… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 10:21:57 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service idntvcbl. --- src/BD_Shape.defs.hh | 2 +- src/BD_Shape.inlines.hh | 33 ++++++-- src/BD_Shape.templates.hh | 43 +++++----- src/Bit_Matrix.defs.hh | 1 - src/Box.defs.hh | 6 +- src/Box.templates.hh | 196 ++++++++++++++++++++++---------------------- 6 files changed, 151 insertions(+), 130 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=98475d29…

1 0

[GIT] ppl/ppl(master): Let Doxygen expand macro PPL_USE_SPARSE_MATRIX as defined.
by Enea Zaffanella 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 1597df4105756ddeab2027e8e837d97c9924bb4b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1597df410575… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:50:41 2011 +0100 Let Doxygen expand macro PPL_USE_SPARSE_MATRIX as defined. --- doc/devref-language-interface.doxyconf.in | 3 ++- doc/devref.doxyconf-html.in | 3 ++- doc/devref.doxyconf-latex.in | 3 ++- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/doc/devref-language-interface.doxyconf.in b/doc/devref-language-interface.doxyconf.in index 9f5204b..32c1bb5 100644 --- a/doc/devref-language-interface.doxyconf.in +++ b/doc/devref-language-interface.doxyconf.in @@ -223,7 +223,8 @@ PREDEFINED = <PPL_SED_CONFIGURED_MANUAL> \ PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS \ PPL_PROTO(protos):=protos EXPAND_AS_DEFINED = DECLARE_CONVERSIONS \ - CATCH_ALL + CATCH_ALL \ + PPL_USE_SPARSE_MATRIX SKIP_FUNCTION_MACROS = YES #--------------------------------------------------------------------------- # Configuration::additions related to external references diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index 99bfb68..8a67bd5 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -521,7 +521,8 @@ SEARCH_INCLUDES = YES INCLUDE_PATH = INCLUDE_FILE_PATTERNS = PREDEFINED = PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS -EXPAND_AS_DEFINED = PPL_OUTPUT_DECLARATIONS +EXPAND_AS_DEFINED = PPL_OUTPUT_DECLARATIONS \ + PPL_USE_SPARSE_MATRIX SKIP_FUNCTION_MACROS = YES #--------------------------------------------------------------------------- # Configuration::additions related to external references diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in index 500665e..dce5cac 100644 --- a/doc/devref.doxyconf-latex.in +++ b/doc/devref.doxyconf-latex.in @@ -519,7 +519,8 @@ SEARCH_INCLUDES = YES INCLUDE_PATH = INCLUDE_FILE_PATTERNS = PREDEFINED = PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS -EXPAND_AS_DEFINED = PPL_OUTPUT_DECLARATIONS +EXPAND_AS_DEFINED = PPL_OUTPUT_DECLARATIONS \ + PPL_USE_SPARSE_MATRIX SKIP_FUNCTION_MACROS = YES #--------------------------------------------------------------------------- # Configuration::additions related to external references

1 0

[GIT] ppl/ppl(master): Renamed macros USE_PPL_SPARSE_MATRIX to use PPL_ prefix.
by Enea Zaffanella 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 5d31265f3e17b7e1d0d03d0009a1906b2d03165c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d31265f3e17… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:48:31 2011 +0100 Renamed macros USE_PPL_SPARSE_MATRIX to use PPL_ prefix. --- src/MIP_Problem.cc | 24 ++++++++++++------------ src/MIP_Problem.defs.hh | 8 ++++---- src/Matrix.defs.hh | 2 +- src/Matrix.types.hh | 6 +++--- src/PIP_Tree.cc | 6 +++--- src/Row.defs.hh | 2 +- src/Row.types.hh | 6 +++--- src/globals.defs.hh | 4 ++-- tests/CO_Tree/cotree1.cc | 6 +++--- tests/Sparse_Matrix/sparsematrix1.cc | 6 +++--- tests/Sparse_Matrix/sparserow1.cc | 6 +++--- 11 files changed, 38 insertions(+), 38 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5d31265f…

1 0

[GIT] ppl/ppl(master): Added a few missing \relates Doxygen commands.
by Enea Zaffanella 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 8594db9c59a6466420892b6e814ba968b268e3cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8594db9c59a6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:10:27 2011 +0100 Added a few missing \relates Doxygen commands. --- src/Sparse_Matrix.cc | 2 ++ src/Sparse_Row.cc | 2 ++ 2 files changed, 4 insertions(+), 0 deletions(-) diff --git a/src/Sparse_Matrix.cc b/src/Sparse_Matrix.cc index 1ece20c..cfa4709 100644 --- a/src/Sparse_Matrix.cc +++ b/src/Sparse_Matrix.cc @@ -173,6 +173,7 @@ PPL::Sparse_Matrix::OK() const { return true; } +/*! \relates Parma_Polyhedra_Library::Sparse_Matrix */ bool PPL::operator==(const Sparse_Matrix& x, const Sparse_Matrix& y) { if (x.num_rows() != y.num_rows()) @@ -185,6 +186,7 @@ PPL::operator==(const Sparse_Matrix& x, const Sparse_Matrix& y) { return true; } +/*! \relates Parma_Polyhedra_Library::Sparse_Matrix */ bool PPL::operator!=(const Sparse_Matrix& x, const Sparse_Matrix& y) { return !(x == y); diff --git a/src/Sparse_Row.cc b/src/Sparse_Row.cc index 9688ba3..64e224b 100644 --- a/src/Sparse_Row.cc +++ b/src/Sparse_Row.cc @@ -514,6 +514,7 @@ PPL::Sparse_Row::OK(dimension_type /* capacity */) const { return OK(); } +/*! \relates Parma_Polyhedra_Library::Sparse_Row */ bool PPL::operator==(const Sparse_Row& x, const Sparse_Row& y) { if (x.size() != y.size()) @@ -550,6 +551,7 @@ PPL::operator==(const Sparse_Row& x, const Sparse_Row& y) { return true; } +/*! \relates Parma_Polyhedra_Library::Sparse_Row */ bool PPL::operator!=(const Sparse_Row& x, const Sparse_Row& y) { return !(x == y);

1 0