February 2005 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 09:25:53 Modified files: src : BD_Shape.inlines.hh Log message: BD_Shape::BD_Shape(const Generator_System&) implemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 26 Feb '05

26 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-26 18:01:41 Modified files: src : BD_Shape.defs.hh Log message: Added declaration for BD_Shape::BD_Shape(const Generator_System& gs). Comments for BD_Shape::BD_Shape(const Constraint_System& cs) further improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 26 Feb '05

26 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-26 17:35:35 Modified files: src : BD_Shape.defs.hh Log message: Comments for BD_Shape::BD_Shape(const Constraint_System& cs) improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/src Linear_System.cc
by Matthew Mundell 24 Feb '05

24 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-02-24 19:06:47 Modified files: src : Linear_System.cc Log message: Correct comment typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0

ppl/src Generator.defs.hh
by Matthew Mundell 24 Feb '05

24 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-02-24 19:05:40 Modified files: src : Generator.defs.hh Log message: Correct comment typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/src Constraint_System.defs.hh
by Matthew Mundell 24 Feb '05

24 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-02-24 19:05:04 Modified files: src : Constraint_System.defs.hh Log message: Correct comment typos and clip off trailing whitespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh…

1 0

New research position in Parma involving work on/with the PPL
by Roberto Bagnara 23 Feb '05

23 Feb '05

The position is available for a fixed term of two years to join the Formal Methods research team led by Prof. Roberto Bagnara [1] in the Department of Mathematics [2], University of Parma [3], Italy. A substantial part of the job concerns the research and development of analysis and verification techniques and tools based on the Parma Polyhedra Library and on PURRS [4], a system providing sophisticated computer algebra services required by automatic complexity analysis. Enhancements to both the PPL and PURRS are among the results that are expected from this line of work. See the official advert [5] for more information (the deadline for applications is March 18th, 2004). [1] http://www.cs.unipr.it/~bagnara/ [2] http://www.math.unipr.it/ [3] http://www.unipr.it/ [4] http://www.cs.unipr.it/purrs/ [5] http://www.unipr.it/arpa/setpersd/050217-BANDO3ASS-SCIENZE.htm -- 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

w3ppl/htdocs news.raw
by Roberto Bagnara 23 Feb '05

23 Feb '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-02-23 12:57:32 Modified files: htdocs : news.raw Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo…

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 23 Feb '05

23 Feb '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-02-23 12:55:47 Modified files: htdocs : ppl.raw Log message: Announce the new research position. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl/src BHRZ03_Certificate.inlines.hh
by Roberto Bagnara 22 Feb '05

22 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-22 20:57:29 Modified files: src : BHRZ03_Certificate.inlines.hh Log message: Removed a pair of redundant parentheses. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.inline…

1 0