December 2006 - PPL-devel - BUGSENG Mailman

ppl/src Rational_Box.hh
by Abramo Bagnara 03 Dec '06

03 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-03 17:20:21 Modified files: src : Rational_Box.hh Log message: Fixed policy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rational_Box.hh.diff?cvsr…

1 0

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

03 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-03 17:17:00 Modified files: src : Interval.defs.hh Log message: Fixed OK check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src globals.defs.hh
by Abramo Bagnara 03 Dec '06

03 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-03 16:00:59 Modified files: src : globals.defs.hh Log message: Much more elegant definitions for Constant. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr…

1 0

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

03 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-03 14:48:59 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Implemented `maximize', `minimize' and `expand_space_dimension'. 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/interfaces/Prolog ppl_prolog_common.icc
by Roberto Bagnara 03 Dec '06

03 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-03 14:15:42 Modified files: interfaces/Prolog: ppl_prolog_common.icc Log message: Restored some of the code lost during the ninth merge from the main trunk. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 03 Dec '06

03 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-03 00:29:12 Modified files: src : Octagonal_Shape.templates.hh Log message: Avoid comparing a Checked_Number with the integer constant 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl ./STANDARDS ./TODO ./config.guess ./config ...
by Roberto Bagnara 02 Dec '06

02 Dec '06

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 02 Dec '06

02 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-02 18:01:35 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Adjusted prototype for arithmetic operators. 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/src Boundary.defs.hh Interval.defs.hh
by Abramo Bagnara 02 Dec '06

02 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-02 17:27:31 Modified files: src : Boundary.defs.hh Interval.defs.hh Log message: Adjusted prototype for interval == and !=. 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 Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 02 Dec '06

02 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-02 16:48:30 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh checked.defs.hh checked_float.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Made relational operators on Checked_Numbers less invasive. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0