September 2005 - PPL-devel - BUGSENG Mailman

ppl/src BHRZ03_Certificate.cc H79_Certificate.cc
by Enea Zaffanella 26 Sep '05

26 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-26 16:02:02 Modified files: src : BHRZ03_Certificate.cc H79_Certificate.cc Log message: A few FIXME's have been (properly) renamed into TODO's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.cc.diff?c…

1 0

ppl/tests/Polyhedron matrix1.cc
by Matthew Mundell 26 Sep '05

26 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-26 15:54:48 Modified files: tests/Polyhedron: matrix1.cc Log message: Correct spelling. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/matrix1.cc.d…

1 0

ppl/src checked.defs.hh
by Matthew Mundell 26 Sep '05

26 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-26 15:27:48 Modified files: src : checked.defs.hh Log message: Indent arguments to function declaration macros consistently. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0

ppl/tests/Polyhedron linsysasciidumpload1.cc
by Matthew Mundell 26 Sep '05

26 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-26 15:24:23 Removed files: tests/Polyhedron: linsysasciidumpload1.cc Log message: Moved to linearsystem1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linsysasciid…

1 0

ppl/tests/Polyhedron matrix1.cc
by Roberto Bagnara 26 Sep '05

26 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-26 14:29:13 Modified files: tests/Polyhedron: matrix1.cc Log message: Avoid unnecessary inclusions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/matrix1.cc.d…

1 0

ppl/tests/Polyhedron Makefile.am linearsystem1.cc
by Matthew Mundell 26 Sep '05

26 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-26 13:44:42 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: linearsystem1.cc Log message: Move linsysasciidumpload1 to linearsystem1. Match linearsystem1 to matrix1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearsystem… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src checked.cc
by Matthew Mundell 26 Sep '05

26 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-26 12:10:31 Modified files: src : checked.cc Log message: Revert to revision 1.4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p…

1 0

Widening when CP0 is not included in CP1
by Mario Mendez 26 Sep '05

26 Sep '05

Hi, In the documentation you always remark the precondition CP0<=CP1 required by widening(CP1,CP0). What is the usual strategy when the condition is not met? I mean, imagine a list of consecutive abstract values (1D polyhedrons) like {1<x<2}, {2<x<3},{3<x<4}, ....,{n<x<n+1} How can we ensure converge in these cases? Thanks! Mario Mendez

2 1

ppl interfaces/Prolog/Ciao/ppl_ciao.cc tests/M ...
by Abramo Bagnara 24 Sep '05

24 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-09-24 22:28:05 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc tests : Makefile.am ppl_test.hh tests/Polyhedron: matrix1.cc Log message: Use new random number generator class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… 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/ppl_test.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/matrix1.cc.d…

1 0

w3ppl/htdocs/Download cvs.raw
by Roberto Bagnara 24 Sep '05

24 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-24 22:24:25 Modified files: htdocs/Download: cvs.raw Log message: In the suggested .cvsrc, use the unified (-u) context diff format instead of the ordinary one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/cvs.raw.dif…

1 0