December 2006 - PPL-devel - BUGSENG Mailman

ppl/src Makefile.am
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 15:26:45 Modified files: src : Makefile.am Log message: Missing dependency added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

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 15:25:19 Modified files: src : Box.templates.hh Log message: Corrected a bug in CC76_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

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

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-04 15:22:42 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli Log message: Drafted a first implementation of `relation_with' methods. In OCaml the value returned is a list with the relations between a Constraint/Generator and the Polyhedron. 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…

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 14:48:05 Modified files: src : Interval.defs.hh Log message: Use checked I/O. 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 Checked_Number. ...
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 14:47:33 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Added I/O for native. 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/Checked_Number.inlines.hh…

1 0

ppl/tests/Polyhedron boundingbox1.cc boundingb ...
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 14:46:32 Modified files: tests/Polyhedron: boundingbox1.cc boundingbox2.cc Log message: Print constraints whenever printing generators does not give any advantage. Always print after having determined the result of the test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox2…

1 0

ppl/src Interval_Restriction.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 14:16:00 Modified files: src : Interval_Restriction.defs.hh Log message: Fixed restrict() return value. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs…

1 0

ppl/src Boundary.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 13:56:03 Modified files: src : Boundary.defs.hh Log message: Fixed typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/src Interval_Info.defs.hh Interval_Restric ...
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 12:44:15 Modified files: src : Interval_Info.defs.hh Interval_Restriction.defs.hh Log message: Clear info in constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs…

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 12:43:44 Modified files: src : Interval.defs.hh Log message: Added I_MAYBE_EMPTY. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0