January 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/w3ppl(master): Typo fixed.
by Roberto Bagnara 27 Jan '11

27 Jan '11

Module: ppl/w3ppl Branch: master Commit: 1215b4e870e9cd2287ebc3ce6dfdd3b17ceb4aab URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=1215b4e870… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 27 08:39:14 2011 +0100 Typo fixed. --- htdocs/news.raw | 4 ++-- htdocs/ppl.raw | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index ffb1678..ca741bf 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -15,11 +15,11 @@ of the Parma Polyhedra Library. BUGSENG is the new copyright holder The copyright of the Parma Polyhedra Library has been transferred to - <A HREF=http://bugseng.com/">BUGSENG</A> a newly established spin-off + <A HREF="http://bugseng.com/">BUGSENG</A> a newly established spin-off company of the <A HREF="http://www.unipr.it/">University of Parma</A>. The PPL will of course continue to be free software, but commercial licensing, support and maintenance is now available from - <A HREF=http://bugseng.com/">BUGSENG</A>. + <A HREF="http://bugseng.com/">BUGSENG</A>. </TD> </TR> diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 23e0369..d320a75 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -56,11 +56,11 @@ version 3</A> or any later version). BUGSENG is the new copyright holder The copyright of the Parma Polyhedra Library has been transferred to - <A HREF=http://bugseng.com/">BUGSENG</A> a newly established spin-off + <A HREF="http://bugseng.com/">BUGSENG</A> a newly established spin-off company of the <A HREF="http://www.unipr.it/">University of Parma</A>. The PPL will of course continue to be free software, but commercial licensing, support and maintenance is now available from - <A HREF=http://bugseng.com/">BUGSENG</A>. + <A HREF="http://bugseng.com/">BUGSENG</A>. </TD> </TR>

1 0

[GIT] ppl/ppl(bounded_arithmetic): Renamed FP_Oracle into Oracle, and generalized it to include both floating point and integer values.
by Alberto Gioia 26 Jan '11

26 Jan '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: add5f6054a16b8fb72d4fc3f4d6807523c05b8e7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=add5f6054a16… Author: Alberto Gioia <otrebla(a)spark.(none)> Date: Wed Jan 26 11:31:37 2011 +0100 Renamed FP_Oracle into Oracle, and generalized it to include both floating point and integer values. --- src/Oracle.hh | 12 ------------ src/linearize.hh | 7 ------- tests/Concrete_Expression/linearize.cc | 3 --- 3 files changed, 0 insertions(+), 22 deletions(-) diff --git a/src/Oracle.hh b/src/Oracle.hh index da95283..32d58d5 100644 --- a/src/Oracle.hh +++ b/src/Oracle.hh @@ -72,18 +72,6 @@ public: virtual bool get_fp_constant_value( const Floating_Point_Constant<Target>& expr, Interval_Type& result) const = 0; -/*! \brief - Asks the external analyzer for an interval that correctly - approximates the value of integer constant \p expr. - Result is stored into \p result. - - \return <CODE>true</CODE> if the analyzer was able to find a correct - approximation, <CODE>false</CODE> otherwise. - */ - virtual bool get_integer_constant_value( - const Integer_Constant<Target>& expr, - Interval_Type& result) const = 0; - /*! \brief Asks the external analyzer for an interval that correctly approximates diff --git a/src/linearize.hh b/src/linearize.hh index a8abdf0..dcf0bf0 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -689,13 +689,6 @@ linearize(const Concrete_Expression<Target>& expr, switch(expr.kind()) { case Integer_Constant<Target>::KIND: { - const Integer_Constant<Target>* ic_expr = - expr.template as<Integer_Constant>(); - Interval_Type constant_value; - if (!oracle.get_integer_constant_value(*ic_expr, constant_value)) - return false; - result = Linear_Form(constant_value); - return true; break; } // throw std::runtime_error("PPL internal error: unreachable"); diff --git a/tests/Concrete_Expression/linearize.cc b/tests/Concrete_Expression/linearize.cc index c3d8efb..429d8d2 100644 --- a/tests/Concrete_Expression/linearize.cc +++ b/tests/Concrete_Expression/linearize.cc @@ -43,9 +43,6 @@ public: return true; } - bool get_integer_constant_value(const Integer_Constant<C_Expr>& expr, - FP_Interval& result) const { } - bool get_integer_expr_value(const Concrete_Expression<C_Expr>& expr, FP_Interval& result) const { if (expr.kind() == INT_CON) {

1 0

[GIT] ppl/ppl(bounded_arithmetic): src/Linear_Form_def.hh: Fixed comment and renamed class FP_Oracle into Oracle.
by Alberto Gioia 26 Jan '11

26 Jan '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: b7df6ab1a0bbd08b09dde3d513162ac1854d2ed4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7df6ab1a0bb… Author: Alberto Gioia <otrebla(a)spark.(none)> Date: Thu Jan 20 13:10:41 2011 +0100 src/Linear_Form_def.hh: Fixed comment and renamed class FP_Oracle into Oracle. src/Linear_Form_template.hh: Fixed comment and renamed class FP_Oracle into Oracle. src/Float_defs.hh: Removed class FP_Oracle. src/Oracle.hh: Generalization class Oracle. src/linearize.hh: Renamed FP_Oracle into Oracle. tests/Concrete_Expression/linearize.cc: Renamed FP_Oracle into Oracle. tests/Concrete_Expression/digitalfilters1.cc: Renamed FP_Oracle into Oracle. --- src/Float.defs.hh | 72 +---------------- src/Linear_Form.defs.hh | 4 +- src/Linear_Form.templates.hh | 2 +- src/Oracle.hh | 116 ++++++++++++++++++++++++++ src/linearize.hh | 71 +++++++++------- tests/Concrete_Expression/digitalfilters1.cc | 6 +- tests/Concrete_Expression/linearize.cc | 5 +- 7 files changed, 170 insertions(+), 106 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b7df6ab1…

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Prepare for release 0.11.1.
by Roberto Bagnara 25 Jan '11

25 Jan '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 968a31a322a9b78479360cb4a5896c9c18caf2ae URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=968a31a322a9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 25 19:46:05 2011 +0100 Prepare for release 0.11.1. --- NEWS | 2 ++ README | 39 ++++++++++++++++++--------------------- Watchdog/src/Makefile.am | 1 + configure.ac | 2 +- src/Makefile.am | 1 + 5 files changed, 23 insertions(+), 22 deletions(-) diff --git a/NEWS b/NEWS index d487b0e..15dedc3 100644 --- a/NEWS +++ b/NEWS @@ -48,6 +48,8 @@ o Fixed a bug whereby the argument of all the methods was not checked correctly for space dimension compatibility. +o Portability improved. + -------------------------------------------------------------------------- NEWS for version 0.11 (released on August 2, 2010) diff --git a/README b/README index b1b435a..49f1d4b 100644 --- a/README +++ b/README @@ -3,10 +3,10 @@ Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) See below for the copying conditions. -Parma Polyhedra Library (Release 0.11) -====================================== +Parma Polyhedra Library (Release 0.11.1) +======================================== -This is the release 0.11 of the Parma Polyhedra Library: +This is the release 0.11.1 of the Parma Polyhedra Library: a C++ library for (not necessarily closed) convex polyhedra and other numerical abstractions. @@ -64,10 +64,10 @@ See http://www.cs.unipr.it/ppl/ for more information on the PPL. For any additional questions you might have, please do not hesitate to write to ppl-devel(a)cs.unipr.it. -Here is the contents of the PPL 0.11 source distribution -(44 directories, 1589 files): +Here is the contents of the PPL 0.11.1 source distribution +(44 directories, 1586 files): -ppl-0.11 +ppl-0.11.1 |-- BUGS |-- COPYING |-- CREDITS @@ -444,21 +444,18 @@ ppl-0.11 | |-- libppl.3 | |-- libppl_c.3 | |-- ppl-config.1 -| |-- ppl-user-0.11pre25-html.tar.gz -| |-- ppl-user-0.11pre25.pdf -| |-- ppl-user-0.11pre25.ps.gz -| |-- ppl-user-c-interface-0.11pre25-html.tar.gz -| |-- ppl-user-c-interface-0.11pre25.pdf -| |-- ppl-user-c-interface-0.11pre25.ps.gz -| |-- ppl-user-java-interface-0.11pre25-html.tar.gz -| |-- ppl-user-java-interface-0.11pre25.pdf -| |-- ppl-user-java-interface-0.11pre25.ps.gz -| |-- ppl-user-ocaml-interface-0.11pre25-html.tar.gz -| |-- ppl-user-ocaml-interface-0.11pre25.pdf -| |-- ppl-user-ocaml-interface-0.11pre25.ps.gz -| |-- ppl-user-prolog-interface-0.11pre25-html.tar.gz -| |-- ppl-user-prolog-interface-0.11pre25.pdf -| |-- ppl-user-prolog-interface-0.11pre25.ps.gz +| |-- ppl-user-0.11.1-html.tar.gz +| |-- ppl-user-0.11.1.pdf +| |-- ppl-user-0.11.1.ps.gz +| |-- ppl-user-c-interface-0.11.1-html.tar.gz +| |-- ppl-user-c-interface-0.11.1.pdf +| |-- ppl-user-c-interface-0.11.1.ps.gz +| |-- ppl-user-ocaml-interface-0.11.1-html.tar.gz +| |-- ppl-user-ocaml-interface-0.11.1.pdf +| |-- ppl-user-ocaml-interface-0.11.1.ps.gz +| |-- ppl-user-prolog-interface-0.11.1-html.tar.gz +| |-- ppl-user-prolog-interface-0.11.1.pdf +| |-- ppl-user-prolog-interface-0.11.1.ps.gz | |-- ppl.sty | |-- user-language-interface.doxyconf.in | |-- user-language-interface.tex diff --git a/Watchdog/src/Makefile.am b/Watchdog/src/Makefile.am index a5ef5ad..1ac2ae8 100644 --- a/Watchdog/src/Makefile.am +++ b/Watchdog/src/Makefile.am @@ -95,6 +95,7 @@ pwl_header.hh # 0.7 0.10.1 4:0:0 # 0.7 0.10.2 4:0:0 # 0.8 0.11 5:0:0 +# 0.8 0.11.1 5:0:0 LIBPWL_LT_CURRENT = 5 LIBPWL_LT_REVISION = 0 diff --git a/configure.ac b/configure.ac index 1244dd4..5005cca 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.11.1pre3], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11.1pre4], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/src/Makefile.am b/src/Makefile.am index 238708b..b876d1e 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -56,6 +56,7 @@ # 0.10.1 8:0:1 # 0.10.2 8:0:1 # 0.11 9:0:0 +# 0.11.1 9:0:0 LIBPPL_LT_CURRENT = 9 LIBPPL_LT_REVISION = 0

1 0

[GIT] ppl/w3ppl(master): Announced the transfer of copyright.
by Roberto Bagnara 25 Jan '11

25 Jan '11

Module: ppl/w3ppl Branch: master Commit: 84f5000b8a0710259364ca00726602213dc5e25a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=84f5000b8a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 25 12:50:56 2011 +0100 Announced the transfer of copyright. --- htdocs/news.raw | 14 ++++++++++++++ htdocs/ppl.raw | 31 +++++++++++++++---------------- 2 files changed, 29 insertions(+), 16 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index cc78ff6..ffb1678 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,20 @@ of the Parma Polyhedra Library. <TABLE> <TR> + <TD VALIGN=TOP><TT>Jan 24, 2011</TT></TD> + <TD> + BUGSENG is the new copyright holder + + The copyright of the Parma Polyhedra Library has been transferred to + <A HREF=http://bugseng.com/">BUGSENG</A> a newly established spin-off + company of the <A HREF="http://www.unipr.it/">University of Parma</A>. + The PPL will of course continue to be free software, but commercial + licensing, support and maintenance is now available from + <A HREF=http://bugseng.com/">BUGSENG</A>. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Nov 17, 2010</TT></TD> <TD> Two in one shot! diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index eb566d3..23e0369 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -51,9 +51,23 @@ version 3</A> or any later version). <TABLE> <TR> + <TD VALIGN=TOP><TT>Jan 24, 2011</TT></TD> + <TD> + BUGSENG is the new copyright holder + + The copyright of the Parma Polyhedra Library has been transferred to + <A HREF=http://bugseng.com/">BUGSENG</A> a newly established spin-off + company of the <A HREF="http://www.unipr.it/">University of Parma</A>. + The PPL will of course continue to be free software, but commercial + licensing, support and maintenance is now available from + <A HREF=http://bugseng.com/">BUGSENG</A>. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Nov 17, 2010</TT></TD> <TD> - Two in one shot! + Two in one shot! Fabio Bossi got a Master's degree in Computer Science, with full marks and honours and a thesis about the extensions he made to the PPL and @@ -68,21 +82,6 @@ version 3</A> or any later version). </TD> </TR> -<TR> - <TD VALIGN=TOP><TT>Aug 02, 2010</TT></TD> - <TD> - PPL 0.11 has been released - - This release features a brand new Parametric Integer Programming - (PIP) problem solver, "deterministic" timeout computation - facilities, support for termination analysis via the automatic - synthesis of linear ranking functions, support for the - approximation of computations involving (bounded) machine - integers, plus a number of other new minor features and - enhancements, including some speed improvements. - </TD> -</TR> - </TABLE> For older news items, see the <A HREF="news">complete news archive</A>.

1 0

[GIT] ppl/w3ppl(master): Updated.
by Roberto Bagnara 25 Jan '11

25 Jan '11

Module: ppl/w3ppl Branch: master Commit: 97e94e2d5dfc183eef28818ceb7608bb4caa8967 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=97e94e2d5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 25 09:49:24 2011 +0100 Updated. --- bin/update_web_site | 3 +- htdocs/Contribute/Contribute.raw | 164 +------------------------- htdocs/FAQ.raw | 24 +--- htdocs/images/abstractions/abstractions.tex | 3 +- htdocs/images/abstractions/axes.tex | 9 +- htdocs/images/abstractions/make_images | 3 +- htdocs/images/abstractions/points.tex | 9 +- htdocs/templates/choicebar.tmpl | 2 +- htdocs/templates/head.tmpl | 2 +- 9 files changed, 31 insertions(+), 188 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commitdiff;h=97e94e…

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Copyright notices updated.
by Roberto Bagnara 25 Jan '11

25 Jan '11

1 0

[GIT] ppl/ppl(bounded_arithmetic): Copyright notices updated.
by Roberto Bagnara 25 Jan '11

25 Jan '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 9c6b584f2f87a31e6124ae698a712a0bd2f6f1df URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c6b584f2f87… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 24 21:04:46 2011 +0100 Copyright notices updated. --- src/Cast_Floating_Point_Expression.defs.hh | 1 + src/Cast_Floating_Point_Expression.inlines.hh | 1 + src/Cast_Floating_Point_Expression.templates.hh | 1 + src/Cast_Floating_Point_Expression.types.hh | 1 + src/Concrete_Expression.cc | 1 + src/Concrete_Expression.defs.hh | 1 + src/Concrete_Expression.inlines.hh | 1 + src/Concrete_Expression.types.hh | 1 + src/Constant_Floating_Point_Expression.defs.hh | 1 + src/Constant_Floating_Point_Expression.inlines.hh | 1 + src/Constant_Floating_Point_Expression.types.hh | 1 + src/Difference_Floating_Point_Expression.defs.hh | 1 + ...Difference_Floating_Point_Expression.inlines.hh | 1 + ...fference_Floating_Point_Expression.templates.hh | 1 + src/Difference_Floating_Point_Expression.types.hh | 1 + src/Division_Floating_Point_Expression.defs.hh | 1 + src/Division_Floating_Point_Expression.inlines.hh | 1 + ...Division_Floating_Point_Expression.templates.hh | 1 + src/Division_Floating_Point_Expression.types.hh | 1 + src/Float.templates.hh | 1 + src/Floating_Point_Expression.defs.hh | 1 + src/Floating_Point_Expression.inlines.hh | 1 + src/Floating_Point_Expression.templates.hh | 1 + src/Floating_Point_Expression.types.hh | 1 + src/Integer_Interval.hh | 1 + src/Linear_Form.cc | 1 + src/Linear_Form.defs.hh | 1 + src/Linear_Form.inlines.hh | 1 + src/Linear_Form.templates.hh | 1 + src/Linear_Form.types.hh | 1 + ...ultiplication_Floating_Point_Expression.defs.hh | 1 + ...iplication_Floating_Point_Expression.inlines.hh | 1 + ...lication_Floating_Point_Expression.templates.hh | 1 + ...ltiplication_Floating_Point_Expression.types.hh | 1 + src/Opposite_Floating_Point_Expression.defs.hh | 1 + src/Opposite_Floating_Point_Expression.inlines.hh | 1 + src/Opposite_Floating_Point_Expression.types.hh | 1 + src/Sum_Floating_Point_Expression.defs.hh | 1 + src/Sum_Floating_Point_Expression.inlines.hh | 1 + src/Sum_Floating_Point_Expression.templates.hh | 1 + src/Sum_Floating_Point_Expression.types.hh | 1 + src/Variable_Floating_Point_Expression.defs.hh | 1 + src/Variable_Floating_Point_Expression.inlines.hh | 1 + src/Variable_Floating_Point_Expression.types.hh | 1 + src/linearize.hh | 1 + tests/Concrete_Expression/C_Expr.cc | 1 + tests/Concrete_Expression/C_Expr.defs.hh | 1 + tests/Concrete_Expression/C_Expr.inlines.hh | 1 + tests/Concrete_Expression/C_Expr.types.hh | 1 + tests/Concrete_Expression/Makefile.am | 1 + tests/Concrete_Expression/bdshape1.cc | 1 + tests/Concrete_Expression/bdshape2.cc | 1 + tests/Concrete_Expression/digitalfilters1.cc | 1 + tests/Concrete_Expression/linearform1.cc | 1 + tests/Concrete_Expression/linearize.cc | 1 + tests/Concrete_Expression/octagonalshape1.cc | 1 + tests/Concrete_Expression/octagonalshape2.cc | 1 + tests/Concrete_Expression/polyhedron1.cc | 1 + tests/Concrete_Expression/polyhedron2.cc | 1 + tests/Concrete_Expression/run_tests | 1 + 60 files changed, 60 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9c6b584f…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Copyright notices updated.
by Roberto Bagnara 25 Jan '11

25 Jan '11

1 0

[GIT] ppl/ppl(floating_point): Copyright notices updated.
by Roberto Bagnara 25 Jan '11

25 Jan '11

Module: ppl/ppl Branch: floating_point Commit: 430352775db7751e904089268357d9462b7e5646 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=430352775db7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 24 21:04:46 2011 +0100 Copyright notices updated. --- src/Cast_Floating_Point_Expression.defs.hh | 1 + src/Cast_Floating_Point_Expression.inlines.hh | 1 + src/Cast_Floating_Point_Expression.templates.hh | 1 + src/Cast_Floating_Point_Expression.types.hh | 1 + src/Concrete_Expression.cc | 1 + src/Concrete_Expression.defs.hh | 1 + src/Concrete_Expression.inlines.hh | 1 + src/Concrete_Expression.types.hh | 1 + src/Constant_Floating_Point_Expression.defs.hh | 1 + src/Constant_Floating_Point_Expression.inlines.hh | 1 + src/Constant_Floating_Point_Expression.types.hh | 1 + src/Difference_Floating_Point_Expression.defs.hh | 1 + ...Difference_Floating_Point_Expression.inlines.hh | 1 + ...fference_Floating_Point_Expression.templates.hh | 1 + src/Difference_Floating_Point_Expression.types.hh | 1 + src/Division_Floating_Point_Expression.defs.hh | 1 + src/Division_Floating_Point_Expression.inlines.hh | 1 + ...Division_Floating_Point_Expression.templates.hh | 1 + src/Division_Floating_Point_Expression.types.hh | 1 + src/Float.templates.hh | 1 + src/Floating_Point_Expression.defs.hh | 1 + src/Floating_Point_Expression.inlines.hh | 1 + src/Floating_Point_Expression.templates.hh | 1 + src/Floating_Point_Expression.types.hh | 1 + src/Integer_Interval.hh | 1 + src/Linear_Form.cc | 1 + src/Linear_Form.defs.hh | 1 + src/Linear_Form.inlines.hh | 1 + src/Linear_Form.templates.hh | 1 + src/Linear_Form.types.hh | 1 + ...ultiplication_Floating_Point_Expression.defs.hh | 1 + ...iplication_Floating_Point_Expression.inlines.hh | 1 + ...lication_Floating_Point_Expression.templates.hh | 1 + ...ltiplication_Floating_Point_Expression.types.hh | 1 + src/Opposite_Floating_Point_Expression.defs.hh | 1 + src/Opposite_Floating_Point_Expression.inlines.hh | 1 + src/Opposite_Floating_Point_Expression.types.hh | 1 + src/Sum_Floating_Point_Expression.defs.hh | 1 + src/Sum_Floating_Point_Expression.inlines.hh | 1 + src/Sum_Floating_Point_Expression.templates.hh | 1 + src/Sum_Floating_Point_Expression.types.hh | 1 + src/Variable_Floating_Point_Expression.defs.hh | 1 + src/Variable_Floating_Point_Expression.inlines.hh | 1 + src/Variable_Floating_Point_Expression.types.hh | 1 + src/linearize.hh | 1 + tests/Concrete_Expression/C_Expr.cc | 1 + tests/Concrete_Expression/C_Expr.defs.hh | 1 + tests/Concrete_Expression/C_Expr.inlines.hh | 1 + tests/Concrete_Expression/C_Expr.types.hh | 1 + tests/Concrete_Expression/Makefile.am | 1 + tests/Concrete_Expression/bdshape1.cc | 1 + tests/Concrete_Expression/bdshape2.cc | 1 + tests/Concrete_Expression/digitalfilters1.cc | 1 + tests/Concrete_Expression/linearform1.cc | 1 + tests/Concrete_Expression/linearize.cc | 1 + tests/Concrete_Expression/octagonalshape1.cc | 1 + tests/Concrete_Expression/octagonalshape2.cc | 1 + tests/Concrete_Expression/polyhedron1.cc | 1 + tests/Concrete_Expression/polyhedron2.cc | 1 + tests/Concrete_Expression/run_tests | 1 + 60 files changed, 60 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=43035277…

1 0