December 2006 - PPL-devel - BUGSENG Mailman

ppl/src Box.inlines.hh
by Enea Zaffanella 05 Dec '06

05 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-05 09:03:25 Modified files: src : Box.inlines.hh Log message: Temporarily patched constructor taking a Constraint_System. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro…

1 0

ppl/src Box.templates.hh
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 23:31:57 Modified files: src : Box.templates.hh Log message: Do not assume the underlying interval type can handle empty intervals (apart from answering the is_empty() query). Patches: 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 23:11:53 Modified files: src : Interval.defs.hh Log message: Invalidate cardinality cache when needed. Patches: 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 22:54:50 Modified files: src : Interval.defs.hh Log message: Added missing return. Patches: 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 22:49:39 Modified files: src : Interval.defs.hh Log message: Call normalize() only on restricted intervals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Checked_Number.defs.hh Result.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 22:33:46 Modified files: src : Checked_Number.defs.hh Result.defs.hh checked.defs.hh Log message: Made Check_Overflow_Policy more transparent. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0

ppl/tests/Box empty1.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 22:13:04 Modified files: tests/Box : empty1.cc Log message: New function test06() exhibits a bug in Box::is_empty(). The other tests are currently not executed since they are waiting for conversion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/empty1.cc.diff?cvsr…

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 22:06:26 Modified files: src : Interval.defs.hh Log message: Added OK() calls. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Box.defs.hh Box.inlines.hh Box.templat ...
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:47:52 Modified files: src : Box.defs.hh Box.inlines.hh Box.templates.hh Log message: Drafted implementation of methods swap and map_space_dimensions. 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.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src 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 21:24:04 Modified files: src : Box.templates.hh Log message: Corrected method is_bounded(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0