February 2003 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 22:05:21 Modified files: htdocs/Download: requirements.raw Log message: Make it clear that versions of GCC prior to 3.0 cannot be used to build the PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl/src Row.inlines.hh SatRow.inlines.hh
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 21:57:28 Modified files: src : Row.inlines.hh SatRow.inlines.hh Log message: Redundant comment removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv…

1 0

ppl/src Row.inlines.hh SatRow.inlines.hh
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 21:42:24 Modified files: src : Row.inlines.hh SatRow.inlines.hh Log message: FIXMEs related to Doxygen's bugs removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv…

1 0

ppl/src Row.defs.hh
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 21:30:08 Modified files: src : Row.defs.hh Log message: FIXME dealt with and removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/tests Makefile.am bhrz03widening2.cc bhrz0 ...
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 21:13:13 Modified files: tests : Makefile.am bhrz03widening2.cc bhrz03widening3.cc limitedbhrz03widening1.cc Log message: Expected results adjusted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening2.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening3.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbhrz03widening1.…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 17:43:11 Modified files: src : Polyhedron.cc Log message: Commit to BHRZ03_EP_DELAY_INTERSECTION. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

w3ppl/htdocs/About About.raw
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 17:19:16 Modified files: htdocs/About : About.raw Log message: Useless link removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

w3ppl/htdocs/About About.raw
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 16:58:12 Modified files: htdocs/About : About.raw Log message: Brought up to date. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

[Fwd: Re: Additional patch for spacing problems]
by Roberto Bagnara 22 Feb '03

22 Feb '03

-------- Original Message -------- Subject: Re: Additional patch for spacing problems Date: Sat, 22 Feb 2003 13:25:02 +0100 From: Dimitri van Heesch <dimitri(a)stack.nl> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <3E565597.3020205(a)cs.unipr.it> On Fri, Feb 21, 2003 at 05:36:39PM +0100, Roberto Bagnara wrote: > > Dear Dimitri, > > a related spacing problem can be seen by having > something like > > [\ref BRZH02c] > > in the source. Again, there is a spurious space > after the closed curly bracket > > [{\bf BRZH02c} ] > > This can be fixed by applying the attached patch, > in addition to the one I sent before. Thanks! I'll include both patches in the next CVS update. Regards, Dimitri -- 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

ppl/src PowerSet.defs.hh
by Enea Zaffanella 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-22 09:40:04 Modified files: src : PowerSet.defs.hh Log message: Fixed a parameter name mismatch in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs…

1 0