July 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(bounded_arithmetic): Adjust the formatting code.
by Alberto Gioia 05 Jul '11

05 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 16f869f5e2cd4fe65b58696e195a8739372f0fd0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16f869f5e2cd… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Tue Jul 5 19:33:39 2011 +0200 Adjust the formatting code. --- src/Interval.inlines.hh | 138 ++++++++++++++++++++++++++--------------------- 1 files changed, 76 insertions(+), 62 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=16f869f5…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Adjust the formatting code and renamed variables.
by Alberto Gioia 05 Jul '11

05 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 55e5b617cbdca1b35f39d9dc7aaf90aa5aede471 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55e5b617cbdc… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Tue Jul 5 19:32:36 2011 +0200 Adjust the formatting code and renamed variables. --- tests/Concrete_Expression/linearize.cc | 1 + tests/Concrete_Expression/linearize_int.cc | 551 ++++++++++++++++++---------- 2 files changed, 363 insertions(+), 189 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=55e5b617…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added new commands for bitwise operators on intervals and Linear Form.
by Alberto Gioia 05 Jul '11

05 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: d93a15655944a7245e50387a1fe65a4f1ccc15b8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d93a15655944… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Tue Jul 5 19:29:01 2011 +0200 Added new commands for bitwise operators on intervals and Linear Form. --- doc/ppl.sty | 16 ++++++++++++++++ 1 files changed, 16 insertions(+), 0 deletions(-) diff --git a/doc/ppl.sty b/doc/ppl.sty index 37f673a..c124981 100644 --- a/doc/ppl.sty +++ b/doc/ppl.sty @@ -198,3 +198,19 @@ \newcommand*{\amlf}{\boxtimes^{\#}} \newcommand*{\linexpr}[1]{\llparenthesis #1 \rrparenthesis} \newcommand*{\linexprenv}[3]{\llparenthesis #1 \rrparenthesis \left \llbracket #2, #3 \right \rrbracket} + +% Interval integer bitwise + +\newcommand*{\bandii}{\owedge^{\#}} +\newcommand*{\borii}{\ovee^{\#}} +\newcommand*{\bxorii}{\dot{\ovee}^{\#}} +\newcommand*{\blshiftii}{\olessthen^{\#}} +\newcommand*{\brshiftii}{\ogreaterthen^{\#}} + +% Linear form bitwise + +\newcommand*{\bandlf}{\fbox{\small{\&}}^{\#}} +\newcommand*{\borlf}{\boxbar^{\#}} +\newcommand*{\bxorlf}{\fbox{\char`\^}^{\#}} +\newcommand*{\blshiftlf}{\leftslice^{\#}} +\newcommand*{\brshiftlf}{\rightslice^{\#}}

1 0

[GIT] ppl/ppl(bounded_arithmetic): Included pah src/linearize_integer. hh for documentation generation.
by Alberto Gioia 05 Jul '11

05 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 532f232e7c879cbc1ab780b5559e3e1beeae9cf2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=532f232e7c87… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Tue Jul 5 19:27:01 2011 +0200 Included pah src/linearize_integer.hh for documentation generation. --- doc/devref.doxyconf-html.in | 1 + doc/devref.doxyconf-latex.in | 1 + 2 files changed, 2 insertions(+), 0 deletions(-) diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index 99bfb68..15ae304 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -385,6 +385,7 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Linear_Form.templates.hh \ @srcdir@/../src/Linear_Form.cc \ @srcdir@/../src/linearize.hh \ + @srcdir@/../src/linearize_integer.hh \ @srcdir@/gpl.dox \ @srcdir@/fdl.dox INPUT_ENCODING = UTF-8 diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in index 014bc16..678e40a 100644 --- a/doc/devref.doxyconf-latex.in +++ b/doc/devref.doxyconf-latex.in @@ -383,6 +383,7 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Linear_Form.templates.hh \ @srcdir@/../src/Linear_Form.cc \ @srcdir@/../src/linearize.hh \ + @srcdir@/../src/linearize_integer.hh \ @srcdir@/gpl.dox \ @srcdir@/fdl.dox INPUT_ENCODING = UTF-8

1 0

[GIT] ppl/ppl(bounded_arithmetic): Moved file in src/
by Alberto Gioia 05 Jul '11

05 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: fa131235889a699346a30e4dae70f9d1e1202ae1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa131235889a… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Tue Jul 5 19:25:29 2011 +0200 Moved file in src/ --- src/linearize_integer.hh | 2066 ++++++++++++++++++++++++ tests/Concrete_Expression/linearize_integer.hh | 377 ----- 2 files changed, 2066 insertions(+), 377 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fa131235…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Removed unused functions, and adjusts the source code formatting.
by Alberto Gioia 05 Jul '11

05 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 2438baa1fdc53a31a4e06e2c21e70d236afc0ec7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2438baa1fdc5… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Tue Jul 5 19:18:56 2011 +0200 Removed unused functions, and adjusts the source code formatting. --- src/Linear_Form.defs.hh | 67 +-------- src/Linear_Form.templates.hh | 318 ++++++++++++++++++++---------------------- 2 files changed, 160 insertions(+), 225 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2438baa1…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Removed useless instruction.
by Alberto Gioia 05 Jul '11

05 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 6c5632e3865326813c6c7aa31ee0afb9d8556b8b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c5632e38653… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Tue Jul 5 19:16:27 2011 +0200 Removed useless instruction. --- src/linearize.hh | 1 - 1 files changed, 0 insertions(+), 1 deletions(-) diff --git a/src/linearize.hh b/src/linearize.hh index dcf0bf0..76f08d3 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -680,7 +680,6 @@ linearize(const Concrete_Expression<Target>& expr, typedef std::map<dimension_type, Linear_Form> Linear_Form_Abstract_Store; PPL_ASSERT(expr.type().is_floating_point()); - PPL_ASSERT(expr.type().is_bounded_integer()); // Check that analyzer_format is a floating point type. PPL_COMPILE_TIME_CHECK(!std::numeric_limits<analyzer_format>::is_exact, "linearize<Target, Interval_Type>:"

1 0