December 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Box bhz03widening1.cc
by Enea Zaffanella 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-04 21:22:33 Modified files: tests/Box : bhz03widening1.cc Log message: Disambiguate pointer to widening method. Added a FIXME to remember that we need to define a widening certificate for CC76. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/bhz03widening1.cc.d…

1 0

ppl/tests/Box boxhull1.cc
by Enea Zaffanella 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-04 21:01:32 Added files: tests/Box : boxhull1.cc Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxhull1.cc?cvsroot…

1 0

ppl/tests/Box bgp99extrapolation1.cc
by Enea Zaffanella 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-04 21:00:32 Modified files: tests/Box : bgp99extrapolation1.cc Log message: Avoid ambiguity when taking the address of method CC76_widening_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/bgp99extrapolation1…

1 0

ppl/src Box.defs.hh Box.templates.hh
by Enea Zaffanella 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-04 20:59:16 Modified files: src : Box.defs.hh Box.templates.hh Log message: Added (optional) tokens support to CC76 widening method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-04 20:03:32 Modified files: src : Interval.defs.hh Log message: Fixed singleton output. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/tests/Box interval1.cc
by Roberto Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-04 19:55:11 Modified files: tests/Box : interval1.cc Log message: Do not rely on default parameters of std::complex constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/interval1.cc.diff?c…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-04 19:43:21 Modified files: src : Interval.defs.hh Log message: Added explicit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/tests/Box interval1.cc
by Roberto Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-04 19:16:35 Modified files: tests/Box : interval1.cc Log message: First rough bits of a new test shows some interesting things. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/interval1.cc.diff?c…

1 0

ppl/src Box.defs.hh Box.templates.hh Interval. ...
by Enea Zaffanella 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-04 19:08:06 Modified files: src : Box.defs.hh Box.templates.hh Interval.defs.hh Log message: Drafted implementations for Box::ascii_dump() and Box::ascii_load(), currently depending on stub implementations of the corresponding methods of class Interval. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-04 18:56:22 Modified files: src : Interval.defs.hh Log message: Added return value. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0