March 2007 - PPL-devel - BUGSENG Mailman

ppl/src Box.templates.hh
by Abramo Bagnara 18 Mar '07

18 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-03-18 11:41:13 Modified files: src : Box.templates.hh Log message: Substituted refine with narrow in refine_no_check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.templates.hh Checked_Number.defs.h ...
by Abramo Bagnara 18 Mar '07

18 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-03-18 11:34:59 Modified files: src : Box.templates.hh Checked_Number.defs.hh Checked_Number.inlines.hh checked_ext.inlines.hh checked_float.inlines.hh Log message: Added support for inexact checking. Patches: 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/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src Box.templates.hh
by Abramo Bagnara 18 Mar '07

18 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-03-18 11:05:35 Modified files: src : Box.templates.hh Log message: Fixed comparison. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 18 Mar '07

18 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-18 11:04:27 Modified files: src : Box.templates.hh Log message: Marked the places in Box<Interval>::refine_no_check(const Constraint&) where the inexact flag must be reset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Abramo Bagnara 18 Mar '07

18 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-03-18 11:01:23 Modified files: src : Box.templates.hh Log message: Undone last commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Abramo Bagnara 18 Mar '07

18 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-03-18 10:54:52 Modified files: src : Box.templates.hh Log message: Fixed comparison. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 18 Mar '07

18 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-18 10:47:31 Modified files: src : Box.templates.hh Log message: Box<Interval>::Box(const Generator_System&) simplified and adorned with FIXMEs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 18 Mar '07

18 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-18 10:32:53 Modified files: src : Box.templates.hh Log message: Box<Interval>::Box(const Box<Other_Interval>&) simplified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl src/Box.defs.hh src/Box.templates.hh tests ...
by Roberto Bagnara 18 Mar '07

18 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-18 09:52:30 Modified files: src : Box.defs.hh Box.templates.hh tests/Box : Makefile.am Added files: tests/Box : fromspacedim1.cc Log message: Box<Interval>::Box(dimension_type, Degenerate_Element) rewritten exploiting the fact that marked empty boxes do not impose any constraint on the intervals apart from the fact that their memory has been allocated. Box<Interval>::OK() has been changed accordingly. New test program fromspacedim1.cc tests Box<Interval>::Box(dimension_type, Degenerate_Element). Box<Interval>::Box(const BD_Shape<T>&, Complexity_Class) modified to exploit the new interval construction mechanisms. 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/tests/Box/fromspacedim1.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/src BD_Shape.inlines.hh BD_Shape.templates ...
by Abramo Bagnara 18 Mar '07

18 Mar '07

1 0