- PPL-devel - BUGSENG Mailman

Multithreading Convex Hull
by Schneider, Oskar 11 Dec '19

11 Dec '19

Hello, i want to know if ppl is using more than one core for convex hull calculations? If not is it possible to run 20 instances on a 20 core machine and compute 20 hulls in parallel or is the performance not good if too many instances run on the same machine? Thank you very much. Greetings, Oskar

2 1

[GIT] ppl/ppl(master): Avoid mixing build log with analysis results.
by Roberto Bagnara 10 Dec '19

10 Dec '19

Module: ppl/ppl Branch: master Commit: 7651c0de32408a5e15672cb6d5c51c84a2d5d369 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7651c0de3240… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Dec 10 15:35:01 2019 +0100 Avoid mixing build log with analysis results. --- ECLAIR/analyze.sh.in | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/ECLAIR/analyze.sh.in b/ECLAIR/analyze.sh.in index 8f8ea75..3f62ed4 100644 --- a/ECLAIR/analyze.sh.in +++ b/ECLAIR/analyze.sh.in @@ -58,4 +58,4 @@ fi ) eclair_report "-create_db='$PROJECT_ECD'" "$ECLAIR_DATA_DIR"/FRAME.*.ecb \ - -load -reports1_txt=service,/dev/stdout + -load -reports1_txt=service,analysis.log

1 0

[GIT] ppl/ppl(master): Added sample analysis script.
by Roberto Bagnara 09 Dec '19

09 Dec '19

Module: ppl/ppl Branch: master Commit: 360445d21d3dd91818d3e4fa54c3ae202711c104 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=360445d21d3d… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Dec 9 15:50:06 2019 +0100 Added sample analysis script. --- ECLAIR/analyze.sh.in | 61 ++++++++++++++++++++++++++++++++++++++++++++ ECLAIR/analyze_BUGFIND.ecl | 15 +++++++++++ configure.ac | 1 + 3 files changed, 77 insertions(+), 0 deletions(-) diff --git a/ECLAIR/analyze.sh.in b/ECLAIR/analyze.sh.in new file mode 100644 index 0000000..8f8ea75 --- /dev/null +++ b/ECLAIR/analyze.sh.in @@ -0,0 +1,61 @@ +#!/bin/sh + +set -e + +usage() { + echo "Usage: analyze.sh ANALYSIS" 1>&2 + echo " where ANALYSIS = BUGFIND" 1>&2 +} + +if [ $# -ne 1 ] +then + usage + exit 1 +fi + +case "$1" in + MC2|MC3|BUGFIND) + ;; +*) + usage + exit 1 +esac + +ANALYSIS=$1 + +export HERE="$(cd "$(dirname $0)" ; echo $PWD)" +TOP="$(dirname "${HERE}")" + +export CC_ALIASES="@CC@" +export CXX_ALIASES="@CXX@" + +export ECLAIR_PROJECT_NAME="PPL" +export ECLAIR_PROJECT_ROOT="@abs_top_srcdir@" + +export ECLAIR_OUTPUT_DIR="${HERE}/out_${BUILD_ID}_${ANALYSIS}" +export ECLAIR_DATA_DIR="${ECLAIR_OUTPUT_DIR}/.data" +export PROJECT_ECD="${ECLAIR_DATA_DIR}/PROJECT.ecd" +rm -rf "$ECLAIR_OUTPUT_DIR" +mkdir -p "$ECLAIR_DATA_DIR" +export ECLAIR_DIAGNOSTICS_OUTPUT="$ECLAIR_OUTPUT_DIR/DIAGNOSTICS.txt" + +( + cd "@abs_top_builddir@" + make clean +) + +if [ -f /proc/cpuinfo ] +then + PROCESSORS=$(grep -c ^processor /proc/cpuinfo) +else + PROCESSORS=6 +fi + +( + cd "@abs_top_builddir@" + eclair_env "-eval_file='@abs_top_srcdir@/ECLAIR/analyze_${ANALYSIS}.ecl'" \ + -- make -j${PROCESSORS} +) + +eclair_report "-create_db='$PROJECT_ECD'" "$ECLAIR_DATA_DIR"/FRAME.*.ecb \ + -load -reports1_txt=service,/dev/stdout diff --git a/ECLAIR/analyze_BUGFIND.ecl b/ECLAIR/analyze_BUGFIND.ecl new file mode 100644 index 0000000..1e09a2f --- /dev/null +++ b/ECLAIR/analyze_BUGFIND.ecl @@ -0,0 +1,15 @@ +-project_name=getenv("ECLAIR_PROJECT_NAME") +-project_root=getenv("ECLAIR_PROJECT_ROOT") + +-setq=data_dir,getenv("ECLAIR_DATA_DIR") + +-enable=B.REPORT.ECB +-config=B.REPORT.ECB,output=join_paths(data_dir,"FRAME.@FRAME@.ecb") +-config=B.REPORT.ECB,preprocessed=show +-config=B.REPORT.ECB,macros=10 + +-disable=B.REPORT.TXT + +-enable=B.BUGFIND + +-reports={hide,all_exp_external} diff --git a/configure.ac b/configure.ac index 1028cd2..ccbaa86 100644 --- a/configure.ac +++ b/configure.ac @@ -1717,6 +1717,7 @@ AC_CONFIG_FILES(Makefile interfaces/Prolog/XSB/Makefile interfaces/Prolog/YAP/Makefile interfaces/Prolog/tests/Makefile + ECLAIR/analyze.sh ) # tests/Ask_Tell/Makefile AC_OUTPUT

1 0

[GIT] ppl/ppl(master): Removed pointless qualifier.
by Abramo Bagnara 14 Aug '19

14 Aug '19

Module: ppl/ppl Branch: master Commit: 26787291164ec3aef72c27b3dc6a40fc1dff17b0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26787291164e… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Wed Aug 14 18:09:51 2019 +0200 Removed pointless qualifier. --- src/compiler.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/compiler.hh b/src/compiler.hh index 217121f..31f88de 100644 --- a/src/compiler.hh +++ b/src/compiler.hh @@ -36,7 +36,7 @@ namespace Parma_Polyhedra_Library { the compiler. */ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) -#define PPL_USED(v) (const void)(v) +#define PPL_USED(v) (void)(v) #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 13 Aug '19

13 Aug '19

Module: ppl/ppl Branch: master Commit: fe66d8719af728506b80f2d772c4e2cdd87f2a8e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe66d8719af7… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Aug 13 19:46:46 2019 +0200 Updated. --- config.guess | 282 +++++++++++++++++++++++++++++++++++++++++++++++----------- config.sub | 59 +++++++------ 2 files changed, 260 insertions(+), 81 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fe66d871…

1 0

PPL CentOS 7
by Eugenio Naselli 23 May '19

23 May '19

Why does PPL for centOS disappeared?

2 3

[GIT] ppl/ppl(master): Added suport for SWI-Prolog 8 in windows.
by Abramo Bagnara 25 Feb '19

25 Feb '19

Module: ppl/ppl Branch: master Commit: 1948fb22f102a4a07d0b614b96fbddde60fc03f0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1948fb22f102… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Mon Feb 25 08:36:19 2019 +0100 Added suport for SWI-Prolog 8 in windows. --- m4/ac_check_swi_prolog.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/m4/ac_check_swi_prolog.m4 b/m4/ac_check_swi_prolog.m4 index 8eb0320..08330e1 100644 --- a/m4/ac_check_swi_prolog.m4 +++ b/m4/ac_check_swi_prolog.m4 @@ -65,7 +65,7 @@ then # If SWI-Prolog was configured with `--disable-libdirversion', then # the files are not in the `${swi_prolog_arch}' subdirectory. Since # currently there is no way to know that, we look in both places. - SWI_PROLOG_LD_OPTIONS="-L${swi_prolog_base}/lib/${swi_prolog_arch} -L${swi_prolog_base}/lib ${swi_prolog_lib} ${swi_prolog_libs}" + SWI_PROLOG_LD_OPTIONS="-L${swi_prolog_base}/lib/${swi_prolog_arch} -L${swi_prolog_base}/lib -L${swi_prolog_base}/bin ${swi_prolog_lib} ${swi_prolog_libs}" ac_save_CPPFLAGS="$CPPFLAGS" CPPFLAGS="$CPPFLAGS $SWI_PROLOG_INCLUDE_OPTIONS" AC_LANG_PUSH(C++)

1 0

Fwd: Requesting functionality information of PPL
by RAKESH ARYA 20 Feb '19

20 Feb '19

________________________________________ From: RAKESH ARYA <rakesharya(a)iisc.ac.in> Sent: Monday, February 18, 2019 5:29:28 PM To: consulting(a)bugseng.com Subject: Requesting functionality information of PPL Dear Sir/Madam, I require generation of all possible (unique) polyhedrons for a given number of vertices for a project. Can I achieve this using PPL? Thank you for your consideration. -- Rakesh Arya (Undergraduate Student, Indian Institute of Science)

2 1

[GIT] ppl/ppl(devel): New commits
by Roberto Bagnara 26 Jan '19

26 Jan '19

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=641a5cd2eee6… Merge: a89aece754be8d974be0c96a32a9f966ea8ee28c 9502d655c3406fd0e967fe236586877f12218337 Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Jan 26 11:05:18 2019 +0100 Merge branch 'master' into devel. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9502d655c340… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Jan 26 11:04:37 2019 +0100 Bumped copyright years. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9598fe1635c… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Nov 6 14:08:58 2018 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35fa98086b2d… Author: Enea Zaffanella <enea.zaffanella(a)unipr.it> Date: Tue Jun 19 09:58:47 2018 +0200 Fixed bug recently uncovered in method relation_with(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38fbbed4f7cd… Author: Enea Zaffanella <enea.zaffanella(a)unipr.it> Date: Tue Jun 19 09:53:15 2018 +0200 Fixed the expected result for test12: a generator can not be subsumed by an empty polyhedron. This fix uncovers a bug in the current implementation of method Polyhedron::relation_with(const Generator&) const; The bug was noted while developing the PPLite library. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35be89c98281… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Mon Jun 18 20:22:31 2018 +0200 Use --dump-runtime-variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=addd0535f36e… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri May 4 09:26:25 2018 +0200 Disable Kpathsea case-insensitive filename matching. Case-insensitive filename matching is done by default in non-system directories starting from TeX Live 2018. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f4acc5462c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 28 08:20:46 2018 +0200 Revert "Better support for dynamically-loadable modules." This reverts commit bc7ffae942e400c282f1e3abd06db6aa5d434035. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ad4d2017354… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 22:17:33 2018 +0200 Escape backslashes in PPL_CONFIGURE_OPTIONS. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc7ffae942e4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 19:57:43 2018 +0200 Better support for dynamically-loadable modules. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85b36accc82… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 12:39:08 2018 +0200 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4afe707bbc8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 12:36:06 2018 +0200 Install also the header files required for static linking.

1 0

[GIT] ppl/ppl(master): Bumped copyright years.
by Roberto Bagnara 26 Jan '19

26 Jan '19

1 0