- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(devel): Merge branch 'master' into devel.
by Roberto Bagnara 06 Aug '20

06 Aug '20

Module: ppl/ppl Branch: devel Commit: acf90096b068ff89609c3f3ced75ee8a12958f41 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acf90096b068… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Aug 6 10:40:47 2020 +0200 Merge branch 'master' into devel. ---

1 0

[GIT] ppl/ppl(devel): Add braces.
by Roberto Bagnara 06 Aug '20

06 Aug '20

Module: ppl/ppl Branch: devel Commit: 71de0f2fc94ccf26026fe901a2ee574d71b686f0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71de0f2fc94c… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Aug 5 21:36:21 2020 +0200 Add braces. --- interfaces/C/ppl_c_implementation_common.cc | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc index 4eee51add..fe95e8c8a 100644 --- a/interfaces/C/ppl_c_implementation_common.cc +++ b/interfaces/C/ppl_c_implementation_common.cc @@ -2555,8 +2555,9 @@ CATCH_ALL int ppl_io_print_variable(ppl_dimension_type var) try { const char* f = c_variable_output_function(var); - if (f == nullptr || puts(f) < 0) + if (f == nullptr || puts(f) < 0) { return PPL_STDIO_ERROR; + } return 0; } CATCH_ALL @@ -2564,8 +2565,9 @@ CATCH_ALL int ppl_io_fprint_variable(FILE* stream, ppl_dimension_type var) try { const char* f = c_variable_output_function(var); - if (f == nullptr || fputs(f, stream) < 0) + if (f == nullptr || fputs(f, stream) < 0) { return PPL_STDIO_ERROR; + } return 0; } CATCH_ALL @@ -2573,8 +2575,9 @@ CATCH_ALL int ppl_io_asprint_variable(char** strp, ppl_dimension_type var) try { const char* f = c_variable_output_function(var); - if (f == nullptr) + if (f == nullptr) { return PPL_STDIO_ERROR; + } *strp = strdup(f); if (*strp == nullptr) { return PPL_ERROR_OUT_OF_MEMORY;

1 0

[GIT] ppl/ppl(devel): Use nullptr.
by Roberto Bagnara 06 Aug '20

06 Aug '20

1 0

[GIT] ppl/ppl(devel): Obsolete configuration removed.
by Roberto Bagnara 06 Aug '20

06 Aug '20

Module: ppl/ppl Branch: devel Commit: 449b8f7cc66a6565adc7d1272848c6ccae36da48 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=449b8f7cc66a… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Jul 9 11:53:48 2020 +0200 Obsolete configuration removed. --- ECLAIR/analyze_BUGFIND.ecl | 2 -- 1 file changed, 2 deletions(-) diff --git a/ECLAIR/analyze_BUGFIND.ecl b/ECLAIR/analyze_BUGFIND.ecl index 1e09a2f35..8f615031a 100644 --- a/ECLAIR/analyze_BUGFIND.ecl +++ b/ECLAIR/analyze_BUGFIND.ecl @@ -8,8 +8,6 @@ -config=B.REPORT.ECB,preprocessed=show -config=B.REPORT.ECB,macros=10 --disable=B.REPORT.TXT - -enable=B.BUGFIND -reports={hide,all_exp_external}

1 0

[GIT] ppl/ppl(master): Add braces.
by Roberto Bagnara 05 Aug '20

05 Aug '20

Module: ppl/ppl Branch: master Commit: 71de0f2fc94ccf26026fe901a2ee574d71b686f0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71de0f2fc94c… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Aug 5 21:36:21 2020 +0200 Add braces. --- interfaces/C/ppl_c_implementation_common.cc | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc index 4eee51add..fe95e8c8a 100644 --- a/interfaces/C/ppl_c_implementation_common.cc +++ b/interfaces/C/ppl_c_implementation_common.cc @@ -2555,8 +2555,9 @@ CATCH_ALL int ppl_io_print_variable(ppl_dimension_type var) try { const char* f = c_variable_output_function(var); - if (f == nullptr || puts(f) < 0) + if (f == nullptr || puts(f) < 0) { return PPL_STDIO_ERROR; + } return 0; } CATCH_ALL @@ -2564,8 +2565,9 @@ CATCH_ALL int ppl_io_fprint_variable(FILE* stream, ppl_dimension_type var) try { const char* f = c_variable_output_function(var); - if (f == nullptr || fputs(f, stream) < 0) + if (f == nullptr || fputs(f, stream) < 0) { return PPL_STDIO_ERROR; + } return 0; } CATCH_ALL @@ -2573,8 +2575,9 @@ CATCH_ALL int ppl_io_asprint_variable(char** strp, ppl_dimension_type var) try { const char* f = c_variable_output_function(var); - if (f == nullptr) + if (f == nullptr) { return PPL_STDIO_ERROR; + } *strp = strdup(f); if (*strp == nullptr) { return PPL_ERROR_OUT_OF_MEMORY;

1 0

[GIT] ppl/ppl(master): Use nullptr.
by Roberto Bagnara 05 Aug '20

05 Aug '20

1 0

Credentials to login gitweb
by metab0t＠outlook.com 05 Aug '20

05 Aug '20

When I want to view the gitweb of PPL https://www.cs.unipr.it/git/gitweb.cgi It requires username and password to enter. Is the credentials available in public, or setup by purpose? Thanks! metab0t(a)outlook.com

1 0

[GIT] ppl/ppl(master): Obsolete configuration removed.
by Roberto Bagnara 09 Jul '20

09 Jul '20

Module: ppl/ppl Branch: master Commit: 449b8f7cc66a6565adc7d1272848c6ccae36da48 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=449b8f7cc66a… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Jul 9 11:53:48 2020 +0200 Obsolete configuration removed. --- ECLAIR/analyze_BUGFIND.ecl | 2 -- 1 file changed, 2 deletions(-) diff --git a/ECLAIR/analyze_BUGFIND.ecl b/ECLAIR/analyze_BUGFIND.ecl index 1e09a2f35..8f615031a 100644 --- a/ECLAIR/analyze_BUGFIND.ecl +++ b/ECLAIR/analyze_BUGFIND.ecl @@ -8,8 +8,6 @@ -config=B.REPORT.ECB,preprocessed=show -config=B.REPORT.ECB,macros=10 --disable=B.REPORT.TXT - -enable=B.BUGFIND -reports={hide,all_exp_external}

1 0

[GIT] ppl/ppl(devel): Fixed termination_test and let it run.
by Roberto Bagnara 01 Jul '20

01 Jul '20

Module: ppl/ppl Branch: devel Commit: 60525823670f5f984a5f2f8c0144a76bb770dd71 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60525823670f… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 1 21:06:39 2020 +0200 Fixed termination_test and let it run. --- interfaces/Prolog/tests/pl_check.pl | 22 +++++++++++++--------- 1 files changed, 13 insertions(+), 9 deletions(-) diff --git a/interfaces/Prolog/tests/pl_check.pl b/interfaces/Prolog/tests/pl_check.pl index caf4645..9261d1c 100644 --- a/interfaces/Prolog/tests/pl_check.pl +++ b/interfaces/Prolog/tests/pl_check.pl @@ -253,6 +253,9 @@ run_one(mip_problem) :- run_one(pip_problem) :- pip_problem. +run_one(termination_test) :- + termination_test. + % Checks how the PPL Prolog system performs with large integers % XSB has problems with large numbers - hence tests for XSB disallowed. % We catch the exception if it is caused by integer overflow in C++ @@ -1816,10 +1819,10 @@ ok(T) :- ppl_delete_Polyhedron(P3), ppl_delete_Polyhedron(P4). -% Tests ppl_termination_test_C_Polyhedron_MS/2, -% ppl_termination_test_C_Polyhedron_PR/2. -% ppl_termination_test_NNC_Polyhedron_MS/2, -% ppl_termination_test_NNC_Polyhedron_PR/2. +% Tests ppl_termination_test_MC_C_Polyhedron_MS/1, +% ppl_termination_test_MS_C_Polyhedron_PR/1. +% ppl_termination_test_MS_NNC_Polyhedron_MS/1, +% ppl_termination_test_MS_NNC_Polyhedron_PR/1. termination_test :- make_vars(4, [A, B, C, D]), clean_ppl_new_Polyhedron_from_constraints(c, @@ -1828,16 +1831,16 @@ termination_test :- -B + D >= 1, B >= 0, A >= 1], P1), - ppl_termination_test_C_Polyhedron_MS(P1), - ppl_termination_test_C_Polyhedron_PR(P1), + ppl_termination_test_MS_C_Polyhedron(P1), + ppl_termination_test_PR_C_Polyhedron(P1), clean_ppl_new_Polyhedron_from_constraints(nnc, [A - C >= 0, -A + C >= 0, -B + D >= 1, B >= 0], P2), - ppl_termination_test_NNC_Polyhedron_MS(P2), - ppl_termination_test_NNC_Polyhedron_PR(P2), + ppl_termination_test_MS_NNC_Polyhedron(P2), + ppl_termination_test_PR_NNC_Polyhedron(P2), !, ppl_delete_Polyhedron(P1), ppl_delete_Polyhedron(P2). @@ -3411,7 +3414,8 @@ list_groups( [ transform_polyhedron, add_to_system, catch_time, - handle_exceptions + handle_exceptions, + termination_test ] ). % group_predicates(G, P)

1 0

[GIT] ppl/ppl(devel): Adapted to recent versions of Ciao.
by Roberto Bagnara 25 Jun '20

25 Jun '20

Module: ppl/ppl Branch: devel Commit: c06aa5000b307aa7a70f6f5995e569feb8edf148 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c06aa5000b30… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Jun 25 15:41:40 2020 +0200 Adapted to recent versions of Ciao. --- .../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 7 ++++--- 1 files changed, 4 insertions(+), 3 deletions(-) diff --git a/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 b/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 index 0e3756e..c0c4146 100644 --- a/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 +++ b/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 @@ -32,11 +32,12 @@ m4_divert`'dnl m4_include(`ppl_interface_generator_copyright')dnl */ -:- module(ppl_ciao, +:- export( [ m4_divert(1) -], -[ +]). + +:- use_package([ assertions, basicmodes, regtypes,

1 0