- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Typo fixed.
by Patricia Hill 27 Dec '13

27 Dec '13

Module: ppl/ppl Branch: master Commit: 7b58fb37701d10394c64d8e47e9d09160461f639 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b58fb37701d… Author: Patricia Hill <patricia.hill(a)bugseng.com> Date: Fri Dec 27 20:52:34 2013 +0000 Typo fixed. --- doc/ppl_citations.bib | 1 - 1 files changed, 0 insertions(+), 1 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index f5061c6..d6f4673 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -4344,7 +4344,6 @@ Summarizing: over previous algorithms. Several open instances could be solved to optimality." } -[download] @Inproceedings{UpadrastaC13, Author = "R. Upadrasta and A. Cohen",

1 0

[GIT] ppl/ppl(master): Typo fixed.
by Patricia Hill 27 Dec '13

27 Dec '13

Module: ppl/ppl Branch: master Commit: 41b13b75c6624df839fef8caa38b2a1856c785e5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41b13b75c662… Author: Patricia Hill <patricia.hill(a)bugseng.com> Date: Fri Dec 27 20:50:08 2013 +0000 Typo fixed. --- doc/ppl_citations.bib | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 793cc82..f5061c6 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -4605,7 +4605,7 @@ Summarizing: ============================================================================== <h2>ODC Attribution License (ODC-By)</h2> -and, + ### Preamble The Open Data Commons Attribution License is a license agreement

1 0

[GIT] ppl/ppl(master): Added recently published papers citing the PPL.
by Patricia Hill 27 Dec '13

27 Dec '13

Module: ppl/ppl Branch: master Commit: e1501ba3dbd83ff1aeb51090b902c969b8f71da0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1501ba3dbd8… Author: Patricia Hill <patricia.hill(a)bugseng.com> Date: Fri Dec 27 20:35:31 2013 +0000 Added recently published papers citing the PPL. Added papers are books, journal articles or conference proceedings published in 2012-2013 that cite "The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems." Theses, workshop papers and technical reports have not been added in this commit. --- doc/ppl_citations.bib | 766 ++++++++++++++++++++++++++++++++++++++++++++++++- 1 files changed, 764 insertions(+), 2 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e1501ba3…

1 0

Out of memory when solving integer problem with only two large vars
by Georgi Guninski 23 Dec '13

23 Dec '13

I am trying to solve the following problem, not necessarily with ppl. Given positive integers $A0,B0,L$ find integers $A,B$ satisfying: 1 <= A A <= L 1 <= B B <= L 1 <= A0*A - B0*B A0*A - B0*B <= L Encoded it in PPL by modifying an example (also attached): ===== Constraint_System cs; cs.insert(A >= 1); cs.insert(A <= Coefficient(L)); cs.insert(B >= 1); cs.insert(B <= Coefficient(L)); cs.insert(Coefficient(A0)*A - Coefficient(B0)*B >= 1); cs.insert(Coefficient(A0)*A - Coefficient(B0)*B <= Coefficient(L) ); // All integer variables. Variables_Set ivs(A, B); // Cost function. Linear_Expression cost(Coefficient("10")); MIP_Problem mip(cs.space_dimension(), cs.begin(), cs.end(), ivs, cost, MINIMIZATION); if (mip.solve() != OPTIMIZED_MIP_PROBLEM) { ======= (reads 3 ints from stdin) This works for small input, but for: A0=654013667618 B0=654013667619 L=808711 PPL consumes 6GB RAM very fast and I run out of memory. Am I doing something wrong? Other ways to solve the problem? Attached is the source, function "test10". Thank you. ppl-1.1 on x86_64 linux. -- Georgi

3 5

ppl / multithreading
by Samir Genaim 13 Dec '13

13 Dec '13

Hello, Is it possible to (safely) use PPL in a multithreaded setting? I tried using it in a Java multithreaded program but got some "Invalid memory access" and "Cannot allocate memory" errors, etc. Thanks -- Samir

3 2

[GIT] ppl/ppl(master): Fixed check_nil_terminating().
by Roberto Bagnara 11 Dec '13

11 Dec '13

Module: ppl/ppl Branch: master Commit: 49e43c28eea0bc36ff4ac8195929ca083a42ce6c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49e43c28eea0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 11 08:13:40 2013 +0100 Fixed check_nil_terminating(). --- interfaces/Prolog/ppl_prolog_common.cc | 8 ++------ 1 files changed, 2 insertions(+), 6 deletions(-) diff --git a/interfaces/Prolog/ppl_prolog_common.cc b/interfaces/Prolog/ppl_prolog_common.cc index c45d9a5..93e340d 100644 --- a/interfaces/Prolog/ppl_prolog_common.cc +++ b/interfaces/Prolog/ppl_prolog_common.cc @@ -1538,12 +1538,8 @@ bool Prolog_interface_initialized = false; void check_nil_terminating(Prolog_term_ref t, const char* where) { - if (Prolog_is_atom(t)) { - Prolog_atom a; - Prolog_get_atom_name(t, &a); - if (Prolog_get_nil(a)) - return; - } + if (Prolog_get_nil(t)) + return; throw not_a_nil_terminated_list(t, where); }

1 0

[GIT] ppl/ppl(master): Some corrections.
by Roberto Bagnara 11 Dec '13

11 Dec '13

Module: ppl/ppl Branch: master Commit: 3fff0a6c16b7a6c541e34ae4ff0de56bba9f3d32 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fff0a6c16b7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 11 08:07:04 2013 +0100 Some corrections. --- interfaces/Prolog/SWI/swi_cfli.hh | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/interfaces/Prolog/SWI/swi_cfli.hh b/interfaces/Prolog/SWI/swi_cfli.hh index 2203a41..c6b3951 100644 --- a/interfaces/Prolog/SWI/swi_cfli.hh +++ b/interfaces/Prolog/SWI/swi_cfli.hh @@ -150,7 +150,7 @@ Prolog_put_atom(Prolog_term_ref t, Prolog_atom a) { */ inline int Prolog_put_nil(Prolog_term_ref t) { - PL_put_nil(to_term_t(t)); + PL_put_nil(t); return 1; } @@ -304,7 +304,7 @@ Prolog_is_compound(Prolog_term_ref t) { */ inline int Prolog_is_cons(Prolog_term_ref t) { - return (!PL_is_atom(t) && PL_is_list(t)) ? 1 : 0; + return PL_is_pair(t); } /*! @@ -369,7 +369,7 @@ Prolog_get_arg(int i, Prolog_term_ref t, Prolog_term_ref a) { */ inline int Prolog_get_nil(Prolog_term_ref t) { - return PL_get_nil(to_term_t(t)); + return PL_get_nil(t); } /*!

1 0

[GIT] ppl/ppl(master): Use Prolog_put_nil() and Prolog_get_nil().
by Roberto Bagnara 11 Dec '13

11 Dec '13

Module: ppl/ppl Branch: master Commit: 36bd1b1c8e19f18a9f5d6c7c9394abdce5317c7f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36bd1b1c8e19… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 11 07:49:19 2013 +0100 Use Prolog_put_nil() and Prolog_get_nil(). --- .../ppl_interface_generator_prolog_cc_code.m4 | 12 +++--- interfaces/Prolog/ppl_prolog_common.cc | 40 ++++++++++---------- 2 files changed, 26 insertions(+), 26 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=36bd1b1c…

1 0

[GIT] ppl/ppl(master): Added Prolog_put_nil() and Prolog_get_nil().
by Roberto Bagnara 11 Dec '13

11 Dec '13

Module: ppl/ppl Branch: master Commit: 17d622b60b0269fe99332f632ea3695d2ea5bae2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17d622b60b02… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 11 07:37:11 2013 +0100 Added Prolog_put_nil() and Prolog_get_nil(). --- interfaces/Prolog/SWI/swi_cfli.hh | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/SWI/swi_cfli.hh b/interfaces/Prolog/SWI/swi_cfli.hh index 4fe3071..2203a41 100644 --- a/interfaces/Prolog/SWI/swi_cfli.hh +++ b/interfaces/Prolog/SWI/swi_cfli.hh @@ -145,6 +145,16 @@ Prolog_put_atom(Prolog_term_ref t, Prolog_atom a) { } /*! + Assign to \p t the list terminator <CODE>[]</CODE> (which needs not + be an atom). +*/ +inline int +Prolog_put_nil(Prolog_term_ref t) { + PL_put_nil(to_term_t(t)); + return 1; +} + +/*! Assign to \p t a term representing the address contained in \p p. */ inline int @@ -354,6 +364,15 @@ Prolog_get_arg(int i, Prolog_term_ref t, Prolog_term_ref a) { } /*! + Succeeds if and only if \p t represents the list terminator <CODE>[]</CODE> + (which needs not be an atom). +*/ +inline int +Prolog_get_nil(Prolog_term_ref t) { + return PL_get_nil(to_term_t(t)); +} + +/*! If \p c is a Prolog cons (list constructor), assign its head and tail to \p h and \p t, respectively. The behavior is undefined if \p c is not a Prolog cons.

1 0

[GIT] ppl/ppl(master): Useless typedefs avoided. Formatting improved on passing.
by Roberto Bagnara 01 Dec '13

01 Dec '13

Module: ppl/ppl Branch: master Commit: 52eba5e2a4530e997d5f257c95e5e79d510ecdfd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52eba5e2a453… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Dec 1 18:34:27 2013 +0100 Useless typedefs avoided. Formatting improved on passing. --- src/Octagonal_Shape_templates.hh | 10 ------- src/Polyhedron_chdims_templates.hh | 3 -- src/Polyhedron_simplify_templates.hh | 3 -- src/linearize.hh | 49 +++++++++++++-------------------- 4 files changed, 19 insertions(+), 46 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=52eba5e2…

1 0