July 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(bounded_arithmetic): Corrected documentation.
by Alberto Gioia 14 Jul '11

14 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 126e67ad12f38972e01d0dbe529e970a70c059a6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=126e67ad12f3… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Thu Jul 14 18:21:36 2011 +0200 Corrected documentation. --- doc/definitions.dox | 34 +++++++++++++++++----------------- src/linearize_integer.hh | 40 ++++++++++++++++++++-------------------- 2 files changed, 37 insertions(+), 37 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 250f50e..f6381b7 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2823,11 +2823,11 @@ The interval bitwise operators are defined as follow: \mbox{if }a \geq 0\mbox{ and } a' \geq 0 \\ \left[0, \max\left(b, b'\right)\right] & - \mbox{if }a \geq 0\mbox{ and } b' \le 0 - \mbox{, or }b \le 0\mbox{ and } a' \geq 0 + \mbox{if }a \geq 0\mbox{ and } b' < 0 + \mbox{, or }b < 0\mbox{ and } a' \geq 0 \\ \left[a + a' , \min\left(b,b'\right)\right] & - \mbox{if }b \le 0\mbox{ and } b' \le 0 \\ + \mbox{if }b < 0\mbox{ and } b' < 0 \\ \end{cases} \f] @@ -2838,11 +2838,11 @@ The interval bitwise operators are defined as follow: \mbox{if }a \geq 0\mbox{ and } a' \geq 0 \\ \left[\min\left(a,a'\right),-1\right] & - \mbox{if }a \geq 0\mbox{ and } b' \le 0 - \mbox{, or }b \le 0\mbox{ and } a' \geq 0 + \mbox{if }a \geq 0\mbox{ and } b' < 0 + \mbox{, or }b < 0\mbox{ and } a' \geq 0 \\ \left[\max\left(a,a'\right),-1\right] & - \mbox{if }b \le 0\mbox{ and } b' \le 0 \\ + \mbox{if }b < 0\mbox{ and } b' < 0 \\ \end{cases} \f] @@ -2851,11 +2851,11 @@ The interval bitwise operators are defined as follow: \begin{cases} \left[0,\left|b + b' \right|\right] & \mbox{if }a \geq 0\mbox{ and } a' \geq 0 - \mbox{, or }b \le 0\mbox{ and }b' \le 0 + \mbox{, or }b < 0\mbox{ and }b' < 0 \\ \left[-\left(\left|a\right| + \left|b\right|\right),-1\right] & - \mbox{if }a \geq 0\mbox{ and }b' \le 0 - \mbox{, or }b \le 0\mbox{ and } a' \geq 0 \\ + \mbox{if }a \geq 0\mbox{ and }b' < 0 + \mbox{, or }b < 0\mbox{ and } a' \geq 0 \\ \end{cases} \f] @@ -2866,13 +2866,13 @@ The interval bitwise operators are defined as follow: \mbox{if }a \geq 0\mbox{ and } a' \geq 0 \\ \left[0, \left(b / 2^{\left|b'\right|}\right)\right] & - \mbox{if }a \geq 0\mbox{ and } b' \le 0 + \mbox{if }a \geq 0\mbox{ and } b' < 0 \\ \left[\left(a \times 2^{a'}\right), 0\right] & - \mbox{if }b \le 0\mbox{ and } a' \geq 0 + \mbox{if }b < 0\mbox{ and } a' \geq 0 \\ \left[\left(a / 2^{\left|a'\right|}\right), 0\right] & - \mbox{if }b \le 0\mbox{ and } b' \le 0 \\ + \mbox{if }b < 0\mbox{ and } b' < 0 \\ \end{cases} \f] @@ -2883,13 +2883,13 @@ The interval bitwise operators are defined as follow: \mbox{if }a \geq 0\mbox{ and } a' \geq 0 \\ \left[0, \left(b \times 2^{\left|b'\right|}\right)\right] & - \mbox{if }a \geq 0\mbox{ and } b' \le 0 + \mbox{if }a \geq 0\mbox{ and } b' < 0 \\ \left[\left(a / 2^{a'}\right), 0\right] & - \mbox{if }b \le 0\mbox{ and } a' \geq 0 + \mbox{if }b < 0\mbox{ and } a' \geq 0 \\ \left[\left(a \times 2^{\left|a'\right|}\right), 0\right] & - \mbox{if }b \le 0\mbox{ and } b' \le 0 \\ + \mbox{if }b < 0\mbox{ and } b' < 0 \\ \end{cases} \f] @@ -3200,8 +3200,8 @@ composed by two parts: associating each variable with its current approximating linear form. An interval abstract store is represented by a -\link Parma_Polyhedra_Library::Box \c Box \endlink with integer boundaries, -while a linear form abstract store is a map of the Standard Template Library. +\link Parma_Polyhedra_Library::Box \c Box \endlink with integer boundaries, +while a linear form abstract store is a map of the Standard Template Library. The <CODE>linearize</CODE> method requires both stores as its arguments. \section use_of_library Using the Library diff --git a/src/linearize_integer.hh b/src/linearize_integer.hh index 55ee129..9b45508 100644 --- a/src/linearize_integer.hh +++ b/src/linearize_integer.hh @@ -1386,7 +1386,7 @@ xor_linearize_int \leq \left(i + \sum_{v \in \cV}i_{v}v \right) \adivlf - 2^{\left(i' + \sum_{v \in \cV}i'_{v}v \right)} + 2^{\left(\left|i'\right| + \sum_{v \in \cV}\left|i'_{v}\right|v \right)} \f] and we can define the elments of the linear form @@ -1397,7 +1397,7 @@ xor_linearize_int \leq k \leq - \left(i \adivifp 2^{i'} \right) + \left(i \adivifp 2^\left|{i'}\right| \right) \f] \f[ @@ -1405,7 +1405,7 @@ xor_linearize_int \leq k_{v} \leq - \left(i_{v} \adivifp 2^{i'_{v}} \right) + \left(i_{v} \adivifp 2^\left|{i'_{v}}\right| \right) \f] then @@ -1415,7 +1415,7 @@ xor_linearize_int \approx 0 \bowtie - \left(i \adivifp 2^{i'} \right) + \left(i \adivifp 2^\left|{i'}\right| \right) \f] \f[ @@ -1423,7 +1423,7 @@ xor_linearize_int \approx 0 \bowtie - \left(i_{v} \adivifp 2^{i'_{v}} \right) + \left(i_{v} \adivifp 2^\left|{i'_{v}}\right| \right) \f] If instead, let \f$x\f$ and \f$y\f$ be two integer constants with \f$x\f$ @@ -1529,7 +1529,7 @@ xor_linearize_int \f[ \left(i + \sum_{v \in \cV}i_{v}v \right) \adivlf - 2^{\left(i' + \sum_{v \in \cV}i'_{v}v \right)} + 2^{\left(\left|i'\right| + \sum_{v \in \cV}\left|i'_{v}\right|v \right)} \leq \left(k + \sum_{v \in \cV}k_{v}v \right) \leq @@ -1540,7 +1540,7 @@ xor_linearize_int \f$k + \sum_{v \in \cV}k_{v}v\f$, as follows, \f$\forall v \in \cV\f$: \f[ - \left(i \adivifp 2^{i'} \right) + \left(i \adivifp 2^\left|{i'}\right| \right) \leq k \leq @@ -1548,7 +1548,7 @@ xor_linearize_int \f] \f[ - \left(i_{v} \adivifp 2^{i'_{v}} \right) + \left(i_{v} \adivifp 2^\left|{i'_{v}}\right| \right) \leq k_{v} \leq @@ -1560,7 +1560,7 @@ xor_linearize_int \f[ k \approx - \left(i \adivifp 2^{i'} \right) + \left(i \adivifp 2^\left|{i'}\right| \right) \bowtie 0 \f] @@ -1568,7 +1568,7 @@ xor_linearize_int \f[ k_{v} \approx - \left(i_{v} \adivifp 2^{i'_{v}} \right) + \left(i_{v} \adivifp 2^\left|{i'_{v}}\right| \right) \bowtie 0 \f] @@ -1744,7 +1744,7 @@ lshift_linearize_int \leq \left(i + \sum_{v \in \cV}i_{v}v \right) \amlf - 2^{\left(i' + \sum_{v \in \cV}i'_{v}v \right)} + 2^{\left(\left|i'\right| + \sum_{v \in \cV}\left|i'_{v}\right|v \right)} \f] and we can define the elments of the linear form @@ -1755,7 +1755,7 @@ lshift_linearize_int \leq k \leq - \left(i \amifp 2^{i'} \right) + \left(i \amifp 2^\left|{i'}\right| \right) \f] \f[ @@ -1763,7 +1763,7 @@ lshift_linearize_int \leq k_{v} \leq - \left(i_{v} \amifp 2^{i'_{v}} \right) + \left(i_{v} \amifp 2^\left|{i'_{v}}\right| \right) \f] then @@ -1773,7 +1773,7 @@ lshift_linearize_int \approx 0 \bowtie - \left(i \amifp 2^{i'} \right) + \left(i \amifp 2^\left|{i'}\right| \right) \f] \f[ @@ -1781,7 +1781,7 @@ lshift_linearize_int \approx 0 \bowtie - \left(i_{v} \amifp 2^{i'_{v}} \right) + \left(i_{v} \amifp 2^\left|{i'_{v}}\right| \right) \f] If instead, let \f$x\f$ and \f$y\f$ be two integer constants with \f$x\f$ @@ -1887,7 +1887,7 @@ lshift_linearize_int \f[ \left(i + \sum_{v \in \cV}i_{v}v \right) \amlf - 2^{\left(i' + \sum_{v \in \cV}i'_{v}v \right)} + 2^{\left(\left|i'\right| + \sum_{v \in \cV}\left|i'_{v}\right|v \right)} \leq \left(k + \sum_{v \in \cV}k_{v}v \right) \leq @@ -1898,7 +1898,7 @@ lshift_linearize_int \f$k + \sum_{v \in \cV}k_{v}v\f$, as follows, \f$\forall v \in \cV\f$: \f[ - \left(i \amifp 2^{i'} \right) + \left(i \amifp 2^\left|{i'}\right| \right) \leq k \leq @@ -1906,7 +1906,7 @@ lshift_linearize_int \f] \f[ - \left(i_{v} \amifp 2^{i'_{v}} \right) + \left(i_{v} \amifp 2^\left|{i'_{v}}\right| \right) \leq k_{v} \leq @@ -1918,7 +1918,7 @@ lshift_linearize_int \f[ k \approx - \left(i \amifp 2^{i'} \right) + \left(i \amifp 2^\left|{i'}\right| \right) \bowtie 0 \f] @@ -1926,7 +1926,7 @@ lshift_linearize_int \f[ k_{v} \approx - \left(i_{v} \amifp 2^{i'_{v}} \right) + \left(i_{v} \amifp 2^\left|{i'_{v}}\right| \right) \bowtie 0 \f]

1 0

[GIT] ppl/ppl(bounded_arithmetic): Adjusted sintax for noisy stream.
by Alberto Gioia 13 Jul '11

13 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 0ac31f92f16dc379bbf4741a799658fdfa7d80c3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ac31f92f16d… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Wed Jul 13 21:25:54 2011 +0200 Adjusted sintax for noisy stream. --- tests/Concrete_Expression/linearize_int.cc | 396 +++++++++++++++++----------- 1 files changed, 247 insertions(+), 149 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=0ac31f92…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added test files about bitwise operators on integer intervals, then added in Makefile.am files
by Alberto Gioia 13 Jul '11

13 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 501dce689d62d8ecbb01f06489be6bae7de692a7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=501dce689d62… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Wed Jul 13 21:16:22 2011 +0200 Added test files about bitwise operators on integer intervals, then added in Makefile.am files --- tests/Box/Makefile.am | 3 + tests/Box/int_interval.cc | 590 +++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 593 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=501dce68…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Adjust the functions about bitwise operators.
by Alberto Gioia 13 Jul '11

13 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 2a8535634ff5ff5dcaf866b8542d671367431bea URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a8535634ff5… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Wed Jul 13 21:11:11 2011 +0200 Adjust the functions about bitwise operators. --- src/Interval.inlines.hh | 558 +++++++++++++++++++++++++++++++++-------------- 1 files changed, 398 insertions(+), 160 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2a853563…

1 0

[GIT] ppl/ppl(master): Avoid annoying warnings caused by internal OCaml C code.
by Enea Zaffanella 11 Jul '11

11 Jul '11

Module: ppl/ppl Branch: master Commit: 30a81801ecdbaaef5842bca21c4982e035c3009b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30a81801ecdb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 11 16:12:30 2011 +0200 Avoid annoying warnings caused by internal OCaml C code. --- interfaces/OCaml/Makefile.am | 2 +- interfaces/OCaml/tests/Makefile.am | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/interfaces/OCaml/Makefile.am b/interfaces/OCaml/Makefile.am index c0c5ac7..8a31c64 100644 --- a/interfaces/OCaml/Makefile.am +++ b/interfaces/OCaml/Makefile.am @@ -167,7 +167,7 @@ libppl_ocaml_a_DEPENDENCIES = \ OCAMLC_ENV = OCAMLRUNPARAM='l=1M' OCAMLC_COMPILE_FLAGS = \ --I @mlgmp_dir@ -I .. -ccopt -g +-I @mlgmp_dir@ -I .. -ccopt -g -ccopt -Wno-write-strings OCAMLC_LINK_FLAGS = \ `echo " $(extra_libraries) " | $(SED) -e "s/ -R[^ ]*//g" -e "s/ -/ -cclib -/g"` diff --git a/interfaces/OCaml/tests/Makefile.am b/interfaces/OCaml/tests/Makefile.am index 9cd317c..19f385f 100644 --- a/interfaces/OCaml/tests/Makefile.am +++ b/interfaces/OCaml/tests/Makefile.am @@ -60,7 +60,7 @@ ppl_ocaml_tests_common OCAMLC_ENV = OCAMLRUNPARAM='l=1M' OCAMLC_COMPILE_FLAGS = \ --I @mlgmp_dir@ -I .. -ccopt -g +-I @mlgmp_dir@ -I .. -ccopt -g -ccopt -Wno-write-strings OCAMLC_LINK_FLAGS = \ -cclib -lmlgmp -cclib -lmpfr \

1 0

[GIT] ppl/ppl(master): Simplified PPL_DIRTY_TEMP.
by Abramo Bagnara 11 Jul '11

11 Jul '11

Module: ppl/ppl Branch: master Commit: 8e3ada8b858375f122c324662f40d5b6a4c5afd0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e3ada8b8583… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 11 14:07:46 2011 +0200 Simplified PPL_DIRTY_TEMP. --- interfaces/Prolog/SWI/swi_efli.cc | 4 +- src/BD_Shape.templates.hh | 28 ++++++++-------- src/Bit_Row.inlines.hh | 2 +- src/Box.inlines.hh | 6 ++-- src/Box.templates.hh | 62 ++++++++++++++++++------------------ src/Generator.inlines.hh | 8 ++-- src/Interval_Restriction.defs.hh | 4 +- src/MIP_Problem.cc | 6 ++-- src/Octagonal_Shape.templates.hh | 32 +++++++++--------- src/Polyhedron_nonpublic.cc | 6 ++-- src/Polyhedron_public.cc | 8 ++-- src/Temp.defs.hh | 32 ++----------------- src/Temp.inlines.hh | 12 ++----- src/checked.inlines.hh | 2 +- src/checked_int.inlines.hh | 2 +- src/checked_mpz.inlines.hh | 4 +- src/conversion.cc | 2 +- src/fpu-ia32.cc | 16 +++++----- src/globals.defs.hh | 2 +- src/math_utilities.inlines.hh | 8 ++-- 20 files changed, 107 insertions(+), 139 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8e3ada8b…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Adjusted documentation and formatting code.
by Alberto Gioia 10 Jul '11

10 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 25524c60cb8991ab2dbd38e16da3c994c36b75ab URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25524c60cb89… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Sun Jul 10 20:33:39 2011 +0200 Adjusted documentation and formatting code. --- doc/definitions.dox | 343 +++++++--------- src/Interval.defs.hh | 4 +- src/Interval.inlines.hh | 629 +++++++++++++++------------ src/Linear_Form.templates.hh | 433 +++++++++++-------- src/linearize.hh | 2 +- src/linearize_integer.hh | 979 +++++++++++++++++++++--------------------- 6 files changed, 1251 insertions(+), 1139 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=25524c60…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Renamed Intero_Interval into Integer_Int_Interval
by Alberto Gioia 10 Jul '11

10 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: b43f03e4182a8fb2f604f77b7f89ff7d4a938a17 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b43f03e4182a… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Sun Jul 10 20:28:14 2011 +0200 Renamed Intero_Interval into Integer_Int_Interval --- tests/Concrete_Expression/C_Expr.defs.hh | 10 +- tests/Concrete_Expression/C_Expr.inlines.hh | 2 +- tests/Concrete_Expression/linearize_int.cc | 1084 ++++++++++++++------------- tests/ppl_test.hh | 6 +- 4 files changed, 578 insertions(+), 524 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b43f03e4…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Deleted white space.
by Alberto Gioia 10 Jul '11

10 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: dc0a74c74cb57a6bf8a92e0f2843d2e34545a9f6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc0a74c74cb5… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Sun Jul 10 20:23:17 2011 +0200 Deleted white space. --- tests/Concrete_Expression/digitalfilters1.cc | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/tests/Concrete_Expression/digitalfilters1.cc b/tests/Concrete_Expression/digitalfilters1.cc index d0fcf3e..8b4d9fa 100644 --- a/tests/Concrete_Expression/digitalfilters1.cc +++ b/tests/Concrete_Expression/digitalfilters1.cc @@ -49,7 +49,7 @@ public: } bool get_integer_constant_value(const Integer_Constant<C_Expr>&, - FP_Interval&) const { + FP_Interval&) const { return false; } @@ -76,7 +76,7 @@ public: result = expr.dimensions; return true; } - + FP_Interval_Abstract_Store int_store; }; @@ -556,7 +556,7 @@ test05() { tmp.lower() = 0; tmp.upper() = 16; oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp)); - bd.affine_form_image(D, FP_Linear_Form(tmp)); + bd.affine_form_image(D, FP_Linear_Form(tmp)); oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(bd)); // S = Y; @@ -765,7 +765,7 @@ test06() { tmp.lower() = 0; tmp.upper() = 16; oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp)); - oc.affine_form_image(D, FP_Linear_Form(tmp)); + oc.affine_form_image(D, FP_Linear_Form(tmp)); oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(oc)); // S = Y; @@ -974,7 +974,7 @@ test07() { tmp.lower() = 0; tmp.upper() = 16; oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp)); - ph.affine_form_image(D, FP_Linear_Form(tmp)); + ph.affine_form_image(D, FP_Linear_Form(tmp)); oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(ph)); // S = Y;

1 0

Fwd: Re: Polyhedra formats and ppl_lcdd
by Roberto Bagnara 10 Jul '11

10 Jul '11

-------- Original Message -------- Subject: Re: [PPL-devel] Polyhedra formats and ppl_lcdd Date: Sat, 9 Jul 2011 18:18:13 +0200 From: Ramakrishna Upadrasta <uramakrishna(a)gmail.com> To: Roberto Bagnara <bagnara(a)cs.unipr.it>, Enea Zaffanella <zaffanella(a)cs.unipr.it> Hi Roberto and Enea, Thanks for the quick response. I appreciate it. More on this subject later! Regards Ramakrishna 2011/7/8 Roberto Bagnara <bagnara(a)cs.unipr.it>: > On 07/08/11 16:17, Ramakrishna Upadrasta wrote: >> >> Hello PPL Users, > > Hi Ramakrishna. > >> I have been interested in performance of different polyhedra libraries >> and was pleasantly surprised to find the following page: >> http://www.cs.unipr.it/ppl/performance >> >> I have a couple of points/questions on the same. >> >> 1. Where can I find the file ppl_lcdd.cc? > > In a PPL source distribution. > >> Does it convert polyhedra of >> format X into Y, where X and Y are in {PolyLib, PPL, CDDLib}? > > No. > >> How can it be used? > > After installation of the PPL, see `man ppl_lcdd'. > If you prefer not to install, then do > > nroff -man ppl_lcdd.1 | less > >> 2. The link to the code to ppl_lcdd.cc seems to be broken and may need >> to be fixed. I am not sure if the doc files talk about it. > > Fixed: thanks! > >> 3. Has the comparison been updated? The dates seem to refer to 2009. >> Please refer me to a recent version of the same, if available. > > No, it has not been updated. But you can reproduce it. > See the lines > > //#define USE_POLKA 1 > //#define USE_POLYLIB 1 > > at the beginning of ppl_lcdd.cc. And of course, you should first install > the right versions of New Polka and PolyLib. > Please let us know how it goes and if you run into problems. > >> Thanks for help in this! > > Our pleasure. > Cheers, > > Roberto > > P.S. What you are working on? We would be glad to know. > > -- > Prof. Roberto Bagnara > Applied Formal Methods Laboratory > Department of Mathematics, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > mailto:bagnara@cs.unipr.it >

1 0