December 2006 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.templates.hh
by Elena Mazzi 07 Dec '06

07 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-12-07 10:00:06 Modified files: src : BD_Shape.templates.hh Log message: Removed an useless variable and added const to a variable in BD_Shape::refine. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

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

06 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-06 19:58:44 Modified files: src : Boundary.defs.hh Interval.defs.hh Log message: Fixed some compilation errors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.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 06 Dec '06

06 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-06 18:20:43 Modified files: src : Interval.defs.hh Log message: Commented out empty check in OK(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Box.inlines.hh Box.templates.hh Interv ...
by Abramo Bagnara 06 Dec '06

06 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-06 18:17:42 Modified files: src : Box.inlines.hh Box.templates.hh Interval.defs.hh Log message: Added non working implementation of refine_universal. Renamed refine in refine_existential. Patches: 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

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

06 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-06 16:38:36 Modified files: src : Boundary.defs.hh Interval.defs.hh checked_ext.inlines.hh Log message: Some name cleaning. Fixed comparison. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc ppl_ocaml.ml ...
by Andrea Cimino 06 Dec '06

06 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-06 16:24:49 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Implemented `map_space_dimension' function in the OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

ppl/tests/Box Makefile.am boxdifference1.cc
by Enea Zaffanella 06 Dec '06

06 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-06 15:39:42 Modified files: tests/Box : Makefile.am Added files: tests/Box : boxdifference1.cc Log message: Added a test file for the box_difference_assign() method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxdifference1.cc?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

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

06 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-06 15:38:39 Modified files: src : Box.defs.hh Box.inlines.hh Box.templates.hh Log message: Added declarations and drafted implementations for methods box_difference_assign() and difference_assign(). Added an assertion inside add_constraint(), showing a bug in function refine working on Interval objects. 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 Checked_Number.defs.hh
by Roberto Bagnara 06 Dec '06

06 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-06 10:44:27 Modified files: src : Checked_Number.defs.hh Log message: Added missing access control specification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

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

06 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-12-06 10:34:29 Modified files: src : checked_mpz.inlines.hh Log message: Compiler warnings avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0