February 2005 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 16:40:30 Modified files: src : Polyhedron.inlines.hh Log message: Polyhedron::shrink_bounding_box(Box&, Complexity_Class) improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/Watchdog Handler.defs.hh Handler.inlines.hh
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 16:16:32 Modified files: Watchdog : Handler.defs.hh Handler.inlines.hh Log message: Class Handler was missing a virtual destructor: added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Handler.inlines.hh.d…

1 0

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 11:51:04 Modified files: src : BD_Shape.defs.hh Log message: Imprecisions in the comments for BD_Shape(const Generator_System&) corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 11:36:25 Modified files: src : BD_Shape.inlines.hh Log message: On exit from BD_Shape<T>::BD_Shape(const Generator_System&), the DBM is always transitively closed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 11:07:46 Modified files: src : BD_Shape.inlines.hh Log message: No longer print spurious newlines in operator<<(std::ostream&, const BD_Shape<T>&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 10:31:29 Modified files: src : Polyhedron.inlines.hh Log message: Useless temporary removed and scope of one variable reduced in Polyhedron::shrink_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl TODO
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 10:28:25 Modified files: . : TODO Log message: Added one more thing to do. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.14…

1 0

ppl/tests/BD_Shape constraints1.cc
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 10:25:54 Modified files: tests/BD_Shape : constraints1.cc Log message: Needlessly long comment shortened. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constraints1.c…

1 0

ppl/tests/BD_Shape fromgensys1.cc
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 10:25:05 Modified files: tests/BD_Shape : fromgensys1.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromgensys1.cc…

1 0

ppl/tests/BD_Shape Makefile.am fromgensys1.cc
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 10:24:15 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : fromgensys1.cc Log message: New test program for BD_Shape::BD_Shape(const Generator_System&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromgensys1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0