August 2020 - PPL-devel - BUGSENG Mailman

[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