- PPL-devel - BUGSENG Mailman

[GIT] ppl/w3ppl(master): Better explained how to check whether SSH connection to git.cs.unipr. it works.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/w3ppl Branch: master Commit: d28caceb2637b3d8128c2a2a05c55dab4c93cfe1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=d28caceb26… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 2 22:59:35 2010 +0200 Better explained how to check whether SSH connection to git.cs.unipr.it works. --- htdocs/Download/Git.raw | 15 +++++++++++++-- 1 files changed, 13 insertions(+), 2 deletions(-) diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw index 24f4af4..273729b 100644 --- a/htdocs/Download/Git.raw +++ b/htdocs/Download/Git.raw @@ -149,8 +149,19 @@ issue the command <CODE>ssh git.cs.unipr.it -l myusername</CODE> </BLOCKQUOTE> -If this does not work there is no point in reading further: -solve this problem first. +If you have been granted full access to <CODE>git.cs.unipr.it</CODE> +you should obtain a shell prompt. Otherwise, if SSH connection works, +you will get the following message +<BLOCKQUOTE> +<PRE> +fatal: What do you think I am? A shell? +Connection to git.cs.unipr.it closed. +</PRE> +</BLOCKQUOTE> +In both cases (i.e., you obtain either a shell prompt or the message +<CODE>What do you think I am? A shell?</CODE>) +connection to <CODE>git.cs.unipr.it</CODE> via SSH works. +Otherwise there is no point in reading further: solve this problem first.

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: 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(ppl-0_11-branch): Added missing conversions.
by Roberto Bagnara 02 Aug '10

02 Aug '10

Module: ppl/ppl Branch: ppl-0_11-branch 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/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=CHINA@

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