- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices
by Roberto Bagnara 28 Aug '10

28 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: e939d018ffa7e46d1249eed9e9833014125f7bf9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e939d018ffa7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:12:58 2010 +0200 Merge branch 'master' into sparse_matrices ---

1 0

[GIT] ppl/ppl(sparse_matrices): Fixed the argument type of limit_virtual_memory(): should be unsigned long .
by Roberto Bagnara 28 Aug '10

28 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: 95a83d824c7ffd8f61f627fab3aa22dae3a65fcf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95a83d824c7f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:11:34 2010 +0200 Fixed the argument type of limit_virtual_memory(): should be unsigned long. --- demos/ppl_lcdd/ppl_lcdd.cc | 4 ++-- demos/ppl_pips/ppl_pips.cc | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index 844b515..54516b2 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -332,7 +332,7 @@ set_alarm_on_cpu_time(const unsigned seconds, sig_handler_type handler) { #if PPL_HAVE_DECL_RLIMIT_AS void -limit_virtual_memory(const unsigned bytes) { +limit_virtual_memory(const unsigned long bytes) { struct rlimit t; if (getrlimit(RLIMIT_AS, &t) != 0) @@ -348,7 +348,7 @@ limit_virtual_memory(const unsigned bytes) { #else void -limit_virtual_memory(unsigned) { +limit_virtual_memory(unsigned long) { } #endif // !PPL_HAVE_DECL_RLIMIT_AS diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index 46a4fe9..72502ab 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -618,7 +618,7 @@ warning(const char* format, ...) { #if PPL_HAVE_DECL_RLIMIT_AS void -limit_virtual_memory(const unsigned bytes) { +limit_virtual_memory(const unsigned long bytes) { struct rlimit t; if (getrlimit(RLIMIT_AS, &t) != 0) @@ -634,7 +634,7 @@ limit_virtual_memory(const unsigned bytes) { #else void -limit_virtual_memory(unsigned) { +limit_virtual_memory(unsigned long) { } #endif // !PPL_HAVE_DECL_RLIMIT_AS

1 0

[GIT] ppl/ppl(master): Fixed the argument type of limit_virtual_memory(): should be unsigned long.
by Roberto Bagnara 28 Aug '10

28 Aug '10

Module: ppl/ppl Branch: master Commit: 95a83d824c7ffd8f61f627fab3aa22dae3a65fcf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95a83d824c7f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:11:34 2010 +0200 Fixed the argument type of limit_virtual_memory(): should be unsigned long. --- demos/ppl_lcdd/ppl_lcdd.cc | 4 ++-- demos/ppl_pips/ppl_pips.cc | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index 844b515..54516b2 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -332,7 +332,7 @@ set_alarm_on_cpu_time(const unsigned seconds, sig_handler_type handler) { #if PPL_HAVE_DECL_RLIMIT_AS void -limit_virtual_memory(const unsigned bytes) { +limit_virtual_memory(const unsigned long bytes) { struct rlimit t; if (getrlimit(RLIMIT_AS, &t) != 0) @@ -348,7 +348,7 @@ limit_virtual_memory(const unsigned bytes) { #else void -limit_virtual_memory(unsigned) { +limit_virtual_memory(unsigned long) { } #endif // !PPL_HAVE_DECL_RLIMIT_AS diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index 46a4fe9..72502ab 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -618,7 +618,7 @@ warning(const char* format, ...) { #if PPL_HAVE_DECL_RLIMIT_AS void -limit_virtual_memory(const unsigned bytes) { +limit_virtual_memory(const unsigned long bytes) { struct rlimit t; if (getrlimit(RLIMIT_AS, &t) != 0) @@ -634,7 +634,7 @@ limit_virtual_memory(const unsigned bytes) { #else void -limit_virtual_memory(unsigned) { +limit_virtual_memory(unsigned long) { } #endif // !PPL_HAVE_DECL_RLIMIT_AS

1 0

[GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices
by Roberto Bagnara 28 Aug '10

28 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: 7071677012378fb4c15ceabcd59f46344df69032 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=707167701237… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:06:23 2010 +0200 Merge branch 'master' into sparse_matrices ---

1 0

[GIT] ppl/ppl(sparse_matrices): Put under Git control.
by Roberto Bagnara 28 Aug '10

28 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: 309c66893fcd97c6a648ef72cbc1b3fed07defe6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=309c66893fcd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:05:20 2010 +0200 Put under Git control. --- demos/ppl_pips/.gitignore | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/demos/ppl_pips/.gitignore b/demos/ppl_pips/.gitignore new file mode 100644 index 0000000..86de488 --- /dev/null +++ b/demos/ppl_pips/.gitignore @@ -0,0 +1,2 @@ +obtained +ppl_pips

1 0

[GIT] ppl/ppl(sparse_matrices): Fixed the argument type of limit_virtual_memory(): should be unsigned long .
by Roberto Bagnara 28 Aug '10

28 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: 512ff26f25f4d9ac96a55982fa76d78607555de6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=512ff26f25f4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:00:21 2010 +0200 Fixed the argument type of limit_virtual_memory(): should be unsigned long. --- demos/ppl_lpsol/ppl_lpsol.c | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/demos/ppl_lpsol/ppl_lpsol.c b/demos/ppl_lpsol/ppl_lpsol.c index cf3a6dd..ec4a5d6 100644 --- a/demos/ppl_lpsol/ppl_lpsol.c +++ b/demos/ppl_lpsol/ppl_lpsol.c @@ -521,7 +521,7 @@ set_alarm_on_cpu_time(unsigned seconds, void (*handler)(int)) { #if PPL_HAVE_DECL_RLIMIT_AS void -limit_virtual_memory(unsigned bytes) { +limit_virtual_memory(unsigned long bytes) { struct rlimit t; if (getrlimit(RLIMIT_AS, &t) != 0) @@ -537,7 +537,7 @@ limit_virtual_memory(unsigned bytes) { #else void -limit_virtual_memory(unsigned bytes ATTRIBUTE_UNUSED) { +limit_virtual_memory(unsigned long bytes ATTRIBUTE_UNUSED) { } #endif /* !PPL_HAVE_DECL_RLIMIT_AS */

1 0

[GIT] ppl/ppl(sparse_matrices): Augment the precision with which floating point numbers are printed in error messages .
by Roberto Bagnara 28 Aug '10

28 Aug '10

Module: ppl/ppl Branch: sparse_matrices Commit: cb82804e0fac7ff10ce2af5d6cd7a98fcae678f9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb82804e0fac… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 13:58:44 2010 +0200 Augment the precision with which floating point numbers are printed in error messages. --- demos/ppl_lpsol/ppl_lpsol.c | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/demos/ppl_lpsol/ppl_lpsol.c b/demos/ppl_lpsol/ppl_lpsol.c index 8837640..cf3a6dd 100644 --- a/demos/ppl_lpsol/ppl_lpsol.c +++ b/demos/ppl_lpsol/ppl_lpsol.c @@ -649,8 +649,8 @@ maybe_check_results(const int ppl_status, const double ppl_optimum_value) { : lpx_mip_obj_val(glpk_lp); if (fabs(ppl_optimum_value - glpk_optimum_value) > check_threshold) { - error("check failed: for GLPK the problem's optimum is %.10g," - " not %.10g", glpk_optimum_value, ppl_optimum_value); + error("check failed: for GLPK the problem's optimum is %.20g," + " not %.20g", glpk_optimum_value, ppl_optimum_value); check_results_failed = 1; } }

1 0

[GIT] ppl/ppl(master): Put under Git control.
by Roberto Bagnara 28 Aug '10

28 Aug '10

Module: ppl/ppl Branch: master Commit: 309c66893fcd97c6a648ef72cbc1b3fed07defe6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=309c66893fcd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:05:20 2010 +0200 Put under Git control. --- demos/ppl_pips/.gitignore | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/demos/ppl_pips/.gitignore b/demos/ppl_pips/.gitignore new file mode 100644 index 0000000..86de488 --- /dev/null +++ b/demos/ppl_pips/.gitignore @@ -0,0 +1,2 @@ +obtained +ppl_pips

1 0

[GIT] ppl/ppl(master): Fixed the argument type of limit_virtual_memory(): should be unsigned long.
by Roberto Bagnara 28 Aug '10

28 Aug '10

Module: ppl/ppl Branch: master Commit: 512ff26f25f4d9ac96a55982fa76d78607555de6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=512ff26f25f4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 14:00:21 2010 +0200 Fixed the argument type of limit_virtual_memory(): should be unsigned long. --- demos/ppl_lpsol/ppl_lpsol.c | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/demos/ppl_lpsol/ppl_lpsol.c b/demos/ppl_lpsol/ppl_lpsol.c index cf3a6dd..ec4a5d6 100644 --- a/demos/ppl_lpsol/ppl_lpsol.c +++ b/demos/ppl_lpsol/ppl_lpsol.c @@ -521,7 +521,7 @@ set_alarm_on_cpu_time(unsigned seconds, void (*handler)(int)) { #if PPL_HAVE_DECL_RLIMIT_AS void -limit_virtual_memory(unsigned bytes) { +limit_virtual_memory(unsigned long bytes) { struct rlimit t; if (getrlimit(RLIMIT_AS, &t) != 0) @@ -537,7 +537,7 @@ limit_virtual_memory(unsigned bytes) { #else void -limit_virtual_memory(unsigned bytes ATTRIBUTE_UNUSED) { +limit_virtual_memory(unsigned long bytes ATTRIBUTE_UNUSED) { } #endif /* !PPL_HAVE_DECL_RLIMIT_AS */

1 0

[GIT] ppl/ppl(master): Augment the precision with which floating point numbers are printed in error messages .
by Roberto Bagnara 28 Aug '10

28 Aug '10

Module: ppl/ppl Branch: master Commit: cb82804e0fac7ff10ce2af5d6cd7a98fcae678f9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb82804e0fac… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Aug 28 13:58:44 2010 +0200 Augment the precision with which floating point numbers are printed in error messages. --- demos/ppl_lpsol/ppl_lpsol.c | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/demos/ppl_lpsol/ppl_lpsol.c b/demos/ppl_lpsol/ppl_lpsol.c index 8837640..cf3a6dd 100644 --- a/demos/ppl_lpsol/ppl_lpsol.c +++ b/demos/ppl_lpsol/ppl_lpsol.c @@ -649,8 +649,8 @@ maybe_check_results(const int ppl_status, const double ppl_optimum_value) { : lpx_mip_obj_val(glpk_lp); if (fabs(ppl_optimum_value - glpk_optimum_value) > check_threshold) { - error("check failed: for GLPK the problem's optimum is %.10g," - " not %.10g", glpk_optimum_value, ppl_optimum_value); + error("check failed: for GLPK the problem's optimum is %.20g," + " not %.20g", glpk_optimum_value, ppl_optimum_value); check_results_failed = 1; } }

1 0