February 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Octagonal_Shape bug1.cc
by Roberto Bagnara 06 Feb '07

06 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-06 16:28:38 Modified files: tests/Octagonal_Shape: bug1.cc Log message: Further reduced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bug1.cc…

1 0

ppl/tests/Octagonal_Shape bug1.cc
by Andrea Cimino 06 Feb '07

06 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-02-06 15:38:25 Modified files: tests/Octagonal_Shape: bug1.cc Log message: Removed some constraints from the test case to simplify the debugging process. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bug1.cc…

1 0

ppl/tests/Octagonal_Shape Makefile.am bug1.cc
by Roberto Bagnara 06 Feb '07

06 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-06 12:09:51 Modified files: tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: bug1.cc Log message: Small program showing a (compiler?) bug that manifests itself on iMac's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bug1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

ppl ./configure.ac m4/Makefile.am m4/ac_cxx_re ...
by Andrea Cimino 03 Feb '07

03 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-02-03 11:57:13 Modified files: . : configure.ac m4 : Makefile.am Added files: m4 : ac_cxx_remainder_bug.m4 Log message: Definition of an M4 macro that checks if INT_MIN / -1 is correctly compiled by the C++ compiler. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_remainder_bug.m4?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=p…

1 0

ppl/src Octagonal_Shape_incremental_strong_clo ...
by Barbara Quartieri 02 Feb '07

02 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2007-02-02 11:06:37 Modified files: src : Octagonal_Shape_incremental_strong_closure1.hh Octagonal_Shape_incremental_strong_closure10.hh Octagonal_Shape_incremental_strong_closure2.hh Octagonal_Shape_incremental_strong_closure3.hh Octagonal_Shape_incremental_strong_closure4.hh Octagonal_Shape_incremental_strong_closure5.hh Octagonal_Shape_incremental_strong_closure6.hh Octagonal_Shape_incremental_strong_closure7.hh Octagonal_Shape_incremental_strong_closure8.hh Octagonal_Shape_incremental_strong_closure9.hh Log message: Removed some useless operation counters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment…

1 0

Re: [PPL-devel] ftp://ftp.cs.unipr.it/pub/ppl/releases/0.9/ppl-0.9.tar.gz: permission denied
by Roberto Bagnara 01 Feb '07

01 Feb '07

Byron Cook wrote: > How bizzare. See attached screenshot. Dear Byron, now I see what is the problem. You are using Internet Explorer with passive mode disabled. Enabling ftp passive mode is easily done: see, e.g., http://compnetworking.about.com/cs/novellgroupwise/ht/setpassiveftpie.htm All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

Re: [PPL-devel] ftp://ftp.cs.unipr.it/pub/ppl/releases/0.9/ppl-0.9.tar.gz: permission denied
by Enea Zaffanella 01 Feb '07

01 Feb '07

Dear Byron, since the ftp log entries say that the network is reachable from outside, it really seems to be a problem from your side of the network. (I have also tried from a WinXP using IE 7.0.<something> and everything was working.) I suppose you can workaround the problem by using http: http://www.cs.unipr.it/ppl/Download/ftp/releases/0.9/ppl-0.9.tar.gz Ciao, Enea. Byron Cook wrote: > How bizzare. See attached screenshot. > > > > -----Original Message----- > From: Enea Zaffanella [mailto:zaffanella@cs.unipr.it] > Sent: Thursday, February 01, 2007 12:13 PM > To: Byron Cook > Cc: Roberto Bagnara; 'Mooly Sagiv' > Subject: Re: [PPL-devel] ftp://ftp.cs.unipr.it/pub/ppl/releases/0.9/ppl-0.9.tar.gz: permission denied > > I have checked that link and everything seems to be working. > > I wasn't able to identify the failed attempt in the ftp log files ... > whereas I have identified other successful attempts from outside of our > network (i.e., it does not seem to be a firewall-related problem). > Neither I was able to see "time holes" in the log to suggest that the > network was down ... > > What I have found, instead, was that our web site had a broken link to > the _Debian_ distribution. The (now corrected) link is the following: > > ftp://ftp.cs.unipr.it/pub/ppl/releases/0.9/Debian/sarge/i386/libppl_0.9.tar.gz > > Could it be the case that you were trying downloading the Debian distro, > rather than the one reported in the mail message? > > Anyway, let us know if things are working now and, if you still have > problems, please give us some more info (e.g., when you tried and from > what IP address). > > Ciao, > Enea. > > > Roberto Bagnara wrote: >> Byron Cook wrote: >>> Hi, >>> >>> We're trying to download >>> ftp://ftp.cs.unipr.it/pub/ppl/releases/0.9/ppl-0.9.tar.gz, but >>> we're getting the error message "permission denied". Any ideas? >>> Thanks! >>> >>> - Byron >> Strange, that link works perfectly for me. Can other PPL developers >> give it a try? All the best, >> >> Roberto >> >> >> ------------------------------------------------------------------------ >>

1 0

w3ppl/htdocs/Download Download.raw
by Enea Zaffanella 01 Feb '07

01 Feb '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2007-02-01 13:14:48 Modified files: htdocs/Download: Download.raw Log message: Corrected an ftp link to the Debian source files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

Re: [PPL-devel] ftp://ftp.cs.unipr.it/pub/ppl/releases/0.9/ppl-0.9.tar.gz: permission denied
by Roberto Bagnara 01 Feb '07

01 Feb '07

Byron Cook wrote: > Hi, > > We're trying to download ftp://ftp.cs.unipr.it/pub/ppl/releases/0.9/ppl-0.9.tar.gz, but we're getting the error message "permission denied". Any ideas? Thanks! > > - Byron Strange, that link works perfectly for me. Can other PPL developers give it a try? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0