- PPL-devel - BUGSENG Mailman

can you create a brew recipe so that mac users can install PPL automatically ?
by Francois Berenger 21 May '15

21 May '15

Cf. http://brew.sh/ for the homebrew package manager for macos. -- Regards, Francois.

1 0

Re: [PPL-devel] PPL ranking functions
by aeflores 19 May '15

19 May '15

Hi Bishoksan, One thing that I do to obtain multiple ranking functions is to call: ppl_all_affine_ranking_functions_MS_C_Polyhedron(H,RFs) And then obtain the points of the resulting polyhedron ppl_Polyhedron_get_generators(RFs, Gen) So if you have a loop defined as [A>=0,B>=0,A'=A-1,B'=B-1] the points of the resulting polyhedron will be 1*A and 1*B which are both independent ranking functions. I hope that helps. Best, Antonio Flores Montoya On 05/19/2015 12:00 PM, ppl-devel-request(a)cs.unipr.it wrote: > Re: [PPL-devel] PPL ranking functions

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 15 Mar '15

15 Mar '15

Module: ppl/ppl Branch: master Commit: ec49534bdcc51311ec12a1be1201e1e1686a731e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec49534bdcc5… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Mar 15 13:46:22 2015 +0100 Updated. --- doc/devref-language-interface.doxyconf.in | 42 ++++++++++++++++++----------- doc/user-language-interface.doxyconf.in | 42 ++++++++++++++++++----------- 2 files changed, 52 insertions(+), 32 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ec49534b…

1 0

[GIT] ppl/ppl(master): Added missing linker options.
by Roberto Bagnara 15 Mar '15

15 Mar '15

Module: ppl/ppl Branch: master Commit: 614a93d2e47828468a2eda166280f44d6243f0ad URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=614a93d2e478… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Mar 15 13:42:05 2015 +0100 Added missing linker options. --- tests/Watchdog/Makefile.am | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/tests/Watchdog/Makefile.am b/tests/Watchdog/Makefile.am index 94c5150..00e75b1 100644 --- a/tests/Watchdog/Makefile.am +++ b/tests/Watchdog/Makefile.am @@ -46,7 +46,8 @@ AM_CPPFLAGS = \ LDADD = \ $(top_builddir)/tests/libppl_tests.a \ -$(top_builddir)/src/libppl.la +$(top_builddir)/src/libppl.la \ +@extra_libraries@ EXTRA_DIST =

1 0

[GIT] ppl/ppl(master): Added missing definitions.
by Roberto Bagnara 15 Mar '15

15 Mar '15

Module: ppl/ppl Branch: master Commit: 5868d9e4d619a6b1792121a8e1356ae734de841c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5868d9e4d619… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Mar 15 12:31:01 2015 +0100 Added missing definitions. --- doc/devref-language-interface.tex | 5 +++++ doc/devref.tex | 5 +++++ doc/user-language-interface.tex | 5 +++++ doc/user.tex | 5 +++++ 4 files changed, 20 insertions(+), 0 deletions(-) diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index 4a85509..1750841 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -73,6 +73,11 @@ \setlength{\headheight}{24pt} +% Custom commands +\newcommand{\clearemptydoublepage}{% + \newpage{\pagestyle{empty}\cleardoublepage}% +} + \begin{document} \title{ \includegraphics[height=9cm]{ppl_logo.pdf} \\ diff --git a/doc/devref.tex b/doc/devref.tex index 1a7bbef..87ac013 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -72,6 +72,11 @@ \setlength{\headheight}{24pt} +% Custom commands +\newcommand{\clearemptydoublepage}{% + \newpage{\pagestyle{empty}\cleardoublepage}% +} + \begin{document} \title{ \includegraphics[height=9cm]{ppl_logo.pdf} \\ diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index f8fe17d..2622037 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -73,6 +73,11 @@ \setlength{\headheight}{24pt} +% Custom commands +\newcommand{\clearemptydoublepage}{% + \newpage{\pagestyle{empty}\cleardoublepage}% +} + \begin{document} \title{ \includegraphics[height=9cm]{ppl_logo.pdf} \\ diff --git a/doc/user.tex b/doc/user.tex index 2244728..c67f46b 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -72,6 +72,11 @@ \setlength{\headheight}{24pt} +% Custom commands +\newcommand{\clearemptydoublepage}{% + \newpage{\pagestyle{empty}\cleardoublepage}% +} + \begin{document} \title{ \includegraphics[height=9cm]{ppl_logo.pdf} \\

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 15 Mar '15

15 Mar '15

Module: ppl/ppl Branch: master Commit: 9855af777bd3191bff2808a8eda50f2397ce7cc7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9855af777bd3… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Mar 15 11:08:51 2015 +0100 Updated. --- doc/devref.doxyconf-html.in | 42 ++++++++++++++++++++++++++---------------- doc/devref.doxyconf-latex.in | 42 ++++++++++++++++++++++++++---------------- doc/user.doxyconf-html.in | 42 ++++++++++++++++++++++++++---------------- doc/user.doxyconf-latex.in | 42 ++++++++++++++++++++++++++---------------- 4 files changed, 104 insertions(+), 64 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9855af77…

1 0

[GIT] ppl/ppl(master): Added missing \+ command to build LaTeX manual.
by Roberto Bagnara 15 Mar '15

15 Mar '15

Module: ppl/ppl Branch: master Commit: ae96a22bc4bb36ee0e8acf1d4f4defe41fbefc2e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae96a22bc4bb… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Mar 15 11:07:51 2015 +0100 Added missing \+ command to build LaTeX manual. --- doc/devref-language-interface.tex | 1 + doc/devref.tex | 1 + doc/user-language-interface.tex | 1 + doc/user.tex | 1 + 4 files changed, 4 insertions(+), 0 deletions(-) diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index cde41c7..4a85509 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -60,6 +60,7 @@ \fi \usepackage[utf8]{inputenc} \usepackage{doxygen} +\newcommand{\+}{\discretionary{\mbox{\scriptsize$\hookleftarrow$}}{}{}} <PPL_SED_USEPACKAGE_OCAMLDOC> \usepackage{ppl} \makeindex diff --git a/doc/devref.tex b/doc/devref.tex index 943dd21..1a7bbef 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -60,6 +60,7 @@ \fi \usepackage[utf8]{inputenc} \usepackage{doxygen} +\newcommand{\+}{\discretionary{\mbox{\scriptsize$\hookleftarrow$}}{}{}} \usepackage{ppl} \makeindex \setcounter{tocdepth}{2} diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index 786521c..f8fe17d 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -60,6 +60,7 @@ \fi \usepackage[utf8]{inputenc} \usepackage{doxygen} +\newcommand{\+}{\discretionary{\mbox{\scriptsize$\hookleftarrow$}}{}{}} <PPL_SED_USEPACKAGE_OCAMLDOC> \usepackage{ppl} \makeindex diff --git a/doc/user.tex b/doc/user.tex index 006f6cf..2244728 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -60,6 +60,7 @@ \fi \usepackage[utf8]{inputenc} \usepackage{doxygen} +\newcommand{\+}{\discretionary{\mbox{\scriptsize$\hookleftarrow$}}{}{}} \usepackage{ppl} \makeindex \setcounter{tocdepth}{2}

1 0

[GIT] ppl/ppl(master): Typo fixed.
by Roberto Bagnara 15 Mar '15

15 Mar '15

Module: ppl/ppl Branch: master Commit: 26e285985b65becc582a17ff71a6ebd85ebb6629 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26e285985b65… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Mar 15 10:54:21 2015 +0100 Typo fixed. --- src/Linear_Expression_defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Linear_Expression_defs.hh b/src/Linear_Expression_defs.hh index b45d2b2..97dea93 100644 --- a/src/Linear_Expression_defs.hh +++ b/src/Linear_Expression_defs.hh @@ -468,7 +468,7 @@ public: //! Compares \p *this with \p i . /*! - \param x + \param i The %iterator that will be compared with *this. */ bool operator!=(const const_iterator& i) const;

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 15 Mar '15

15 Mar '15

Module: ppl/ppl Branch: master Commit: 86192ba606e6f505598abfbe13a64b56f774c5bc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86192ba606e6… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Mar 15 09:35:31 2015 +0100 Updated. --- config.guess | 40 +++++++++++++++++++++++++++++----------- config.sub | 23 ++++++++++++++--------- 2 files changed, 43 insertions(+), 20 deletions(-) diff --git a/config.guess b/config.guess index 1f5c50c..f7eb141 100755 --- a/config.guess +++ b/config.guess @@ -1,8 +1,8 @@ #! /bin/sh # Attempt to guess a canonical system name. -# Copyright 1992-2014 Free Software Foundation, Inc. +# Copyright 1992-2015 Free Software Foundation, Inc. -timestamp='2014-03-23' +timestamp='2015-03-04' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -24,12 +24,12 @@ timestamp='2014-03-23' # program. This Exception is an additional permission under section 7 # of the GNU General Public License, version 3 ("GPLv3"). # -# Originally written by Per Bothner. +# Originally written by Per Bothner; maintained since 2000 by Ben Elliston. # # You can get the latest version of this script from: # http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.gues… # -# Please send patches with a ChangeLog entry to config-patches(a)gnu.org. +# Please send patches to <config-patches(a)gnu.org>. me=`echo "$0" | sed -e 's,.*/,,'` @@ -50,7 +50,7 @@ version="\ GNU config.guess ($timestamp) Originally written by Per Bothner. -Copyright 1992-2014 Free Software Foundation, Inc. +Copyright 1992-2015 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE." @@ -168,20 +168,27 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in # Note: NetBSD doesn't particularly care about the vendor # portion of the name. We always set it to "unknown". sysctl="sysctl -n hw.machine_arch" - UNAME_MACHINE_ARCH=`(/sbin/$sysctl 2>/dev/null || \ - /usr/sbin/$sysctl 2>/dev/null || echo unknown)` + UNAME_MACHINE_ARCH=`(uname -p 2>/dev/null || \ + /sbin/$sysctl 2>/dev/null || \ + /usr/sbin/$sysctl 2>/dev/null || \ + echo unknown)` case "${UNAME_MACHINE_ARCH}" in armeb) machine=armeb-unknown ;; arm*) machine=arm-unknown ;; sh3el) machine=shl-unknown ;; sh3eb) machine=sh-unknown ;; sh5el) machine=sh5le-unknown ;; + earmv*) + arch=`echo ${UNAME_MACHINE_ARCH} | sed -e 's,^e$armv[0-9]$.*$,\1,'` + endian=`echo ${UNAME_MACHINE_ARCH} | sed -ne 's,^.*$eb$$,\1,p'` + machine=${arch}${endian}-unknown + ;; *) machine=${UNAME_MACHINE_ARCH}-unknown ;; esac # The Operating System including object format, if it has switched # to ELF recently, or will in the future. case "${UNAME_MACHINE_ARCH}" in - arm*|i386|m68k|ns32k|sh3*|sparc|vax) + arm*|earm*|i386|m68k|ns32k|sh3*|sparc|vax) eval $set_cc_for_build if echo __ELF__ | $CC_FOR_BUILD -E - 2>/dev/null \ | grep -q __ELF__ @@ -197,6 +204,13 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in os=netbsd ;; esac + # Determine ABI tags. + case "${UNAME_MACHINE_ARCH}" in + earm*) + expr='s/^earmv[0-9]/-eabi/;s/eb$//' + abi=`echo ${UNAME_MACHINE_ARCH} | sed -e "$expr"` + ;; + esac # The OS release # Debian GNU/NetBSD machines have a different userland, and # thus, need a distinct triplet. However, they do not need @@ -213,7 +227,7 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in # Since CPU_TYPE-MANUFACTURER-KERNEL-OPERATING_SYSTEM: # contains redundant information, the shorter form: # CPU_TYPE-MANUFACTURER-OPERATING_SYSTEM is used. - echo "${machine}-${os}${release}" + echo "${machine}-${os}${release}${abi}" exit ;; *:Bitrig:*:*) UNAME_MACHINE_ARCH=`arch | sed 's/Bitrig.//'` @@ -579,8 +593,9 @@ EOF else IBM_ARCH=powerpc fi - if [ -x /usr/bin/oslevel ] ; then - IBM_REV=`/usr/bin/oslevel` + if [ -x /usr/bin/lslpp ] ; then + IBM_REV=`/usr/bin/lslpp -Lqc bos.rte.libc | + awk -F: '{ print $3 }' | sed s/[0-9]*$/0/` else IBM_REV=${UNAME_VERSION}.${UNAME_RELEASE} fi @@ -932,6 +947,9 @@ EOF crisv32:Linux:*:*) echo ${UNAME_MACHINE}-axis-linux-${LIBC} exit ;; + e2k:Linux:*:*) + echo ${UNAME_MACHINE}-unknown-linux-${LIBC} + exit ;; frv:Linux:*:*) echo ${UNAME_MACHINE}-unknown-linux-${LIBC} exit ;; diff --git a/config.sub b/config.sub index d4c8338..8f1229c 100755 --- a/config.sub +++ b/config.sub @@ -1,8 +1,8 @@ #! /bin/sh # Configuration validation subroutine script. -# Copyright 1992-2014 Free Software Foundation, Inc. +# Copyright 1992-2015 Free Software Foundation, Inc. -timestamp='2014-09-26' +timestamp='2015-03-08' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -25,7 +25,7 @@ timestamp='2014-09-26' # of the GNU General Public License, version 3 ("GPLv3"). -# Please send patches with a ChangeLog entry to config-patches(a)gnu.org. +# Please send patches to <config-patches(a)gnu.org>. # # Configuration subroutine to validate and canonicalize a configuration type. # Supply the specified configuration type as an argument. @@ -68,7 +68,7 @@ Report bugs and patches to <config-patches(a)gnu.org>." version="\ GNU config.sub ($timestamp) -Copyright 1992-2014 Free Software Foundation, Inc. +Copyright 1992-2015 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE." @@ -117,7 +117,7 @@ maybe_os=`echo $1 | sed 's/^$.*$-$[^-]*-[^-]*$$/\2/'` case $maybe_os in nto-qnx* | linux-gnu* | linux-android* | linux-dietlibc | linux-newlib* | \ linux-musl* | linux-uclibc* | uclinux-uclibc* | uclinux-gnu* | kfreebsd*-gnu* | \ - knetbsd*-gnu* | netbsd*-gnu* | \ + knetbsd*-gnu* | netbsd*-gnu* | netbsd*-eabi* | \ kopensolaris*-gnu* | \ storm-chaos* | os2-emx* | rtmk-nova*) os=-$maybe_os @@ -259,8 +259,8 @@ case $basic_machine in | bfin \ | c4x | c8051 | clipper \ | d10v | d30v | dlx | dsp16xx \ - | epiphany \ - | fido | fr30 | frv \ + | e2k | epiphany \ + | fido | fr30 | frv | ft32 \ | h8300 | h8500 | hppa | hppa1.[01] | hppa2.0 | hppa2.0[nw] | hppa64 \ | hexagon \ | i370 | i860 | i960 | ia64 \ @@ -313,6 +313,7 @@ case $basic_machine in | tahoe | tic4x | tic54x | tic55x | tic6x | tic80 | tron \ | ubicom32 \ | v850 | v850e | v850e1 | v850e2 | v850es | v850e2v3 \ + | visium \ | we32k \ | x86 | xc16x | xstormy16 | xtensa \ | z8k | z80) @@ -380,7 +381,7 @@ case $basic_machine in | c[123]* | c30-* | [cjt]90-* | c4x-* \ | c8051-* | clipper-* | craynv-* | cydra-* \ | d10v-* | d30v-* | dlx-* \ - | elxsi-* \ + | e2k-* | elxsi-* \ | f30[01]-* | f700-* | fido-* | fr30-* | frv-* | fx80-* \ | h8300-* | h8500-* \ | hppa-* | hppa1.[01]-* | hppa2.0-* | hppa2.0[nw]-* | hppa64-* \ @@ -440,6 +441,7 @@ case $basic_machine in | ubicom32-* \ | v850-* | v850e-* | v850e1-* | v850es-* | v850e2-* | v850e2v3-* \ | vax-* \ + | visium-* \ | we32k-* \ | x86-* | x86_64-* | xc16x-* | xps100-* \ | xstormy16-* | xtensa*-* \ @@ -516,6 +518,9 @@ case $basic_machine in basic_machine=i386-pc os=-aros ;; + asmjs) + basic_machine=asmjs-unknown + ;; aux) basic_machine=m68k-apple os=-aux @@ -1371,7 +1376,7 @@ case $os in | -hpux* | -unos* | -osf* | -luna* | -dgux* | -auroraux* | -solaris* \ | -sym* | -kopensolaris* | -plan9* \ | -amigaos* | -amigados* | -msdos* | -newsos* | -unicos* | -aof* \ - | -aos* | -aros* \ + | -aos* | -aros* | -cloudabi* \ | -nindy* | -vxsim* | -vxworks* | -ebmon* | -hms* | -mvs* \ | -clix* | -riscos* | -uniplus* | -iris* | -rtu* | -xenix* \ | -hiux* | -386bsd* | -knetbsd* | -mirbsd* | -netbsd* \

1 0

[GIT] ppl/ppl(master): Dead store avoided.
by Roberto Bagnara 26 Feb '15

26 Feb '15

Module: ppl/ppl Branch: master Commit: 3a74d1ca32658e925d6d94d264e868b4b8295610 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a74d1ca3265… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Feb 26 10:23:53 2015 +0100 Dead store avoided. --- src/PIP_Tree.cc | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 8206b7d..014a5a4 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -744,7 +744,9 @@ compatibility_check_find_pivot_in_set( if (lhs_sign != rhs_sign) { if (lhs_sign > rhs_sign) { +#ifndef NDEBUG pj = challenger_j; +#endif cost = challenger_cost; value = challenger_value; row_value = row_challenger_value; @@ -772,7 +774,9 @@ compatibility_check_find_pivot_in_set( } else { if (lhs > rhs) { +#ifndef NDEBUG pj = challenger_j; +#endif cost = challenger_cost; value = challenger_value; row_value = row_challenger_value;

1 0