- PPL-devel - BUGSENG Mailman

ppl/tests shuffledim1.cc
by Roberto Bagnara 15 Dec '02

15 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-15 12:03:11 Modified files: tests : shuffledim1.cc Log message: Define print_function() only when noisy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/shuffledim1.cc.diff?cvs…

1 0

ppl/tests randphull2.cc
by Roberto Bagnara 15 Dec '02

15 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-15 12:02:28 Modified files: tests : randphull2.cc Log message: Define M_PI unless it is already defined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull2.cc.diff?cvsr…

1 0

ppl/tests limitedbhrz03widening1.cc limitedbbr ...
by Roberto Bagnara 14 Dec '02

14 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-14 21:09:18 Added files: tests : limitedbhrz03widening1.cc Removed files: tests : limitedbbrz02widening1.cc Log message: The new widening is now nicknamed BHRZ03. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbhrz03widening1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbbrz02widening1.…

1 0

ppl/tests affineimage8.cc affinepreimage10.cc
by Roberto Bagnara 14 Dec '02

14 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-14 20:56:54 Modified files: tests : affineimage8.cc affinepreimage10.cc Log message: Use the NOISY flag to control noisiness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage8.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage10.cc.dif…

1 0

ppl/tests addconstraints13.cc addgenerators12. ...
by Roberto Bagnara 14 Dec '02

14 Dec '02

1 0

ppl/src Variable.cc
by Roberto Bagnara 14 Dec '02

14 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-14 20:52:13 Modified files: src : Variable.cc Log message: Variable::default_output_function() improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.cc.diff?cvsroot=…

1 0

ppl ./NEWS doc/definitions.dox interfaces/C/pp ...
by Roberto Bagnara 14 Dec '02

14 Dec '02

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 06 Dec '02

06 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-06 07:56:41 Modified files: src : Polyhedron.inlines.hh Log message: Avoid totally useless parentheses. Make sure inline methods and functions are defined before being used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl config.guess config.sub
by Roberto Bagnara 05 Dec '02

05 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-05 21:46:47 Modified files: . : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 05 Dec '02

05 Dec '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-12-05 16:53:58 Modified files: htdocs/Credits : Credits.raw Log message: Ken Mixter added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0