August 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: master Commit: cfffb8ba3ff211dcf46d8fc927278c58cb444cbf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfffb8ba3ff2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 21:55:08 2010 +0200 Updated. --- ChangeLog | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 77daa9e..1171405 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,13 @@ 2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * src/checked_int.inlines.hh: Added missing conversions. + +2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog, Watchdog/ChangeLog: Updated. + +2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * Makefile.am, README, Watchdog/Makefile.am, Watchdog/README: Distribute all READMEs and ChangeLogs.

1 0

[GIT] ppl/ppl(master): Added missing conversions.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: master Commit: b397097be829089e5306d0fda548ca097f1483e7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b397097be829… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 19:45:48 2010 +0200 Added missing conversions. --- src/checked_int.inlines.hh | 28 ++++++++++++++++++++-------- 1 files changed, 20 insertions(+), 8 deletions(-) diff --git a/src/checked_int.inlines.hh b/src/checked_int.inlines.hh index 79985cd..465dfcf 100644 --- a/src/checked_int.inlines.hh +++ b/src/checked_int.inlines.hh @@ -1178,7 +1178,8 @@ add_2exp_unsigned_int(Type& to, const Type x, unsigned int exp, } if (exp >= sizeof(Type) * CHAR_BIT) return set_pos_overflow_int<To_Policy>(to, dir); - return add_unsigned_int<To_Policy, From_Policy, void>(to, x, Type(1) << exp, dir); + Type n = Type(1) << exp; + return add_unsigned_int<To_Policy, From_Policy, void>(to, x, n, dir); } template <typename To_Policy, typename From_Policy, typename Type> @@ -1191,9 +1192,14 @@ add_2exp_signed_int(Type& to, const Type x, unsigned int exp, } if (exp >= sizeof(Type) * CHAR_BIT) return set_pos_overflow_int<To_Policy>(to, dir); - if (exp == sizeof(Type) * CHAR_BIT - 1) - return sub_signed_int<To_Policy, From_Policy, void>(to, x, -2 * (Type(1) << (exp - 1)), dir); - return add_signed_int<To_Policy, From_Policy, void>(to, x, Type(1) << exp, dir); + if (exp == sizeof(Type) * CHAR_BIT - 1) { + Type n = -2 * (Type(1) << (exp - 1)); + return sub_signed_int<To_Policy, From_Policy, void>(to, x, n, dir); + } + else { + Type n = Type(1) << exp; + return add_signed_int<To_Policy, From_Policy, void>(to, x, n, dir); + } } template <typename To_Policy, typename From_Policy, typename Type> @@ -1206,7 +1212,8 @@ sub_2exp_unsigned_int(Type& to, const Type x, unsigned int exp, } if (exp >= sizeof(Type) * CHAR_BIT) return set_neg_overflow_int<To_Policy>(to, dir); - return sub_unsigned_int<To_Policy, From_Policy, void>(to, x, Type(1) << exp, dir); + Type n = Type(1) << exp; + return sub_unsigned_int<To_Policy, From_Policy, void>(to, x, n, dir); } template <typename To_Policy, typename From_Policy, typename Type> @@ -1219,9 +1226,14 @@ sub_2exp_signed_int(Type& to, const Type x, unsigned int exp, } if (exp >= sizeof(Type) * CHAR_BIT) return set_neg_overflow_int<To_Policy>(to, dir); - if (exp == sizeof(Type) * CHAR_BIT - 1) - return add_signed_int<To_Policy, From_Policy, void>(to, x, -2 * (Type(1) << (exp - 1)), dir); - return sub_signed_int<To_Policy, From_Policy, void>(to, x, Type(1) << exp, dir); + if (exp == sizeof(Type) * CHAR_BIT - 1) { + Type n = -2 * (Type(1) << (exp - 1)); + return add_signed_int<To_Policy, From_Policy, void>(to, x, n, dir); + } + else { + Type n = Type(1) << exp; + return sub_signed_int<To_Policy, From_Policy, void>(to, x, n, dir); + } } template <typename To_Policy, typename From_Policy, typename Type>

1 0

[GIT] ppl/w3ppl(master): Version number bumped.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/w3ppl Branch: master Commit: f0c597d69259e6679ba2a187bbdf5046ef849e3a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=f0c597d692… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 19:06:52 2010 +0200 Version number bumped. --- htdocs/templates/macros.tmpl | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/htdocs/templates/macros.tmpl b/htdocs/templates/macros.tmpl index f8a8260..c76a037 100644 --- a/htdocs/templates/macros.tmpl +++ b/htdocs/templates/macros.tmpl @@ -1,4 +1,4 @@ -@PPL_VERSION=0.10.2@ +@PPL_VERSION=0.11@ @CHINA=C<SMALL>HINA</SMALL>@

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Updated.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: c887cbcf6199ad2dfa3e1b5309559ddde6ab9fc7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c887cbcf6199… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 18:24:43 2010 +0200 Updated. --- ChangeLog | 9 +++++++++ Watchdog/ChangeLog | 5 +++++ 2 files changed, 14 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index bcb20f1..77daa9e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,14 @@ 2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * Makefile.am, README, Watchdog/Makefile.am, Watchdog/README: + Distribute all READMEs and ChangeLogs. + +2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog: Updated. + +2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * NEWS: Announce the new wrapping operator used to approximate machine arithmetic. diff --git a/Watchdog/ChangeLog b/Watchdog/ChangeLog index 9a6dc34..9e94f23 100644 --- a/Watchdog/ChangeLog +++ b/Watchdog/ChangeLog @@ -1,5 +1,10 @@ 2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * Makefile.am, README, Watchdog/Makefile.am, Watchdog/README: + Distribute all READMEs and ChangeLogs. + +2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * CREDITS, NEWS, TODO, Watchdog/NEWS: Updated. 2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it>

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Distribute all READMEs and ChangeLogs.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 68c7bed50e03e6ecaad7c6501fed618d1f8a10b0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68c7bed50e03… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 18:22:32 2010 +0200 Distribute all READMEs and ChangeLogs. --- Makefile.am | 4 ++++ README | 7 ++++++- Watchdog/Makefile.am | 1 + Watchdog/README | 3 ++- 4 files changed, 13 insertions(+), 2 deletions(-) diff --git a/Makefile.am b/Makefile.am index 63312bf..35df7fb 100644 --- a/Makefile.am +++ b/Makefile.am @@ -70,7 +70,11 @@ ppl-config.sed \ ppl.lsm.in \ BUGS \ CREDITS \ +ChangeLog_2001-2008 \ +README.alpha \ +README.arm \ README.configure \ +README.solaris \ STANDARDS DISTCLEANFILES = \ diff --git a/README b/README index 234a90c..ad5e0f5 100644 --- a/README +++ b/README @@ -64,19 +64,23 @@ 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, 1583 files): +(44 directories, 1588 files): ppl-0.11 |-- BUGS |-- COPYING |-- CREDITS |-- ChangeLog +|-- ChangeLog_2001-2008 |-- INSTALL |-- Makefile.am |-- Makefile.in |-- NEWS |-- README +|-- README.alpha +|-- README.arm |-- README.configure +|-- README.solaris |-- STANDARDS |-- TODO |-- Watchdog @@ -84,6 +88,7 @@ ppl-0.11 | |-- COPYING | |-- CREDITS | |-- ChangeLog +| |-- ChangeLog_2001-2008 | |-- INSTALL | |-- Makefile.am | |-- Makefile.in diff --git a/Watchdog/Makefile.am b/Watchdog/Makefile.am index c0d9265..0ed791a 100644 --- a/Watchdog/Makefile.am +++ b/Watchdog/Makefile.am @@ -55,6 +55,7 @@ pwl-config.h \ pwl-config.h.in \ pwl-config.sed \ BUGS \ +ChangeLog_2001-2008 \ CREDITS DISTCLEANFILES = \ diff --git a/Watchdog/README b/Watchdog/README index 06b59d6..53ebc54 100644 --- a/Watchdog/README +++ b/Watchdog/README @@ -14,13 +14,14 @@ See the file CREDITS for a list of people and organizations that contributed to the PWL. Here is the contents of the PWL 0.8 source distribution -(5 directories, 101 files): +(5 directories, 102 files): pwl-0.8 |-- BUGS |-- COPYING |-- CREDITS |-- ChangeLog +|-- ChangeLog_2001-2008 |-- INSTALL |-- Makefile.am |-- Makefile.in

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: master Commit: c887cbcf6199ad2dfa3e1b5309559ddde6ab9fc7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c887cbcf6199… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 18:24:43 2010 +0200 Updated. --- ChangeLog | 9 +++++++++ Watchdog/ChangeLog | 5 +++++ 2 files changed, 14 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index bcb20f1..77daa9e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,14 @@ 2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * Makefile.am, README, Watchdog/Makefile.am, Watchdog/README: + Distribute all READMEs and ChangeLogs. + +2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog: Updated. + +2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * NEWS: Announce the new wrapping operator used to approximate machine arithmetic. diff --git a/Watchdog/ChangeLog b/Watchdog/ChangeLog index 9a6dc34..9e94f23 100644 --- a/Watchdog/ChangeLog +++ b/Watchdog/ChangeLog @@ -1,5 +1,10 @@ 2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * Makefile.am, README, Watchdog/Makefile.am, Watchdog/README: + Distribute all READMEs and ChangeLogs. + +2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * CREDITS, NEWS, TODO, Watchdog/NEWS: Updated. 2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it>

1 0

[GIT] ppl/ppl(master): Distribute all READMEs and ChangeLogs.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: master Commit: 68c7bed50e03e6ecaad7c6501fed618d1f8a10b0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68c7bed50e03… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 18:22:32 2010 +0200 Distribute all READMEs and ChangeLogs. --- Makefile.am | 4 ++++ README | 7 ++++++- Watchdog/Makefile.am | 1 + Watchdog/README | 3 ++- 4 files changed, 13 insertions(+), 2 deletions(-) diff --git a/Makefile.am b/Makefile.am index 63312bf..35df7fb 100644 --- a/Makefile.am +++ b/Makefile.am @@ -70,7 +70,11 @@ ppl-config.sed \ ppl.lsm.in \ BUGS \ CREDITS \ +ChangeLog_2001-2008 \ +README.alpha \ +README.arm \ README.configure \ +README.solaris \ STANDARDS DISTCLEANFILES = \ diff --git a/README b/README index 234a90c..ad5e0f5 100644 --- a/README +++ b/README @@ -64,19 +64,23 @@ 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, 1583 files): +(44 directories, 1588 files): ppl-0.11 |-- BUGS |-- COPYING |-- CREDITS |-- ChangeLog +|-- ChangeLog_2001-2008 |-- INSTALL |-- Makefile.am |-- Makefile.in |-- NEWS |-- README +|-- README.alpha +|-- README.arm |-- README.configure +|-- README.solaris |-- STANDARDS |-- TODO |-- Watchdog @@ -84,6 +88,7 @@ ppl-0.11 | |-- COPYING | |-- CREDITS | |-- ChangeLog +| |-- ChangeLog_2001-2008 | |-- INSTALL | |-- Makefile.am | |-- Makefile.in diff --git a/Watchdog/Makefile.am b/Watchdog/Makefile.am index c0d9265..0ed791a 100644 --- a/Watchdog/Makefile.am +++ b/Watchdog/Makefile.am @@ -55,6 +55,7 @@ pwl-config.h \ pwl-config.h.in \ pwl-config.sed \ BUGS \ +ChangeLog_2001-2008 \ CREDITS DISTCLEANFILES = \ diff --git a/Watchdog/README b/Watchdog/README index 06b59d6..53ebc54 100644 --- a/Watchdog/README +++ b/Watchdog/README @@ -14,13 +14,14 @@ See the file CREDITS for a list of people and organizations that contributed to the PWL. Here is the contents of the PWL 0.8 source distribution -(5 directories, 101 files): +(5 directories, 102 files): pwl-0.8 |-- BUGS |-- COPYING |-- CREDITS |-- ChangeLog +|-- ChangeLog_2001-2008 |-- INSTALL |-- Makefile.am |-- Makefile.in

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Updated.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: a03d31e3feb3e79217d9fe9258d5f53e93ba3aaf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a03d31e3feb3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 17:24:03 2010 +0200 Updated. --- ChangeLog | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 962f155..bcb20f1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * NEWS: Announce the new wrapping operator used to approximate + machine arithmetic. + +2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * CREDITS, NEWS, TODO, Watchdog/NEWS: Updated. 2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it>

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: master Commit: a03d31e3feb3e79217d9fe9258d5f53e93ba3aaf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a03d31e3feb3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 17:24:03 2010 +0200 Updated. --- ChangeLog | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 962f155..bcb20f1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * NEWS: Announce the new wrapping operator used to approximate + machine arithmetic. + +2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + * CREDITS, NEWS, TODO, Watchdog/NEWS: Updated. 2010-08-02 Roberto Bagnara <bagnara(a)cs.unipr.it>

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Announce the new wrapping operator used to approximate machine arithmetic.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 305a923ec95aedb8c603dec6a3aff84cc340a9d3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=305a923ec95a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 17:21:29 2010 +0200 Announce the new wrapping operator used to approximate machine arithmetic. --- NEWS | 7 +++++++ 1 files changed, 7 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 45d77e1..d9508f0 100644 --- a/NEWS +++ b/NEWS @@ -31,6 +31,13 @@ o New support for termination analysis via the automatic synthesis of of all linear quasi-ranking functions, for use in conditional termination analysis. +o New support for approximating computations involving (bounded) + machine integers. A general wrapping operator is provided that is + parametric with respect to the set of space dimensions (variables) + to be wrapped, the width, representation and overflow behavior of + all these variables. An optional constraint system can, when + given, improve the precision. + o All the PPL semantic objects provide new methods void drop_some_non_integer_points(Complexity_Class)

1 0