December 2006 - PPL-devel - BUGSENG Mailman

ppl/src Box.inlines.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:16 Modified files: src : Box.inlines.hh Log message: Fixed use of I_Result. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro…

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 12:42:46 Modified files: src : Boundary.defs.hh Log message: Fixed boundary comparison. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc ppl_ocaml.ml ...
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 10:42:12 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Implemented the swap operation between two polyhedrons. 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/src Checked_Number.defs.hh Interval_Restri ...
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 22:30:20 Modified files: src : Checked_Number.defs.hh Interval_Restriction.defs.hh Temp.defs.hh checked.inlines.hh Log message: Removed optional parameter in Enable_If when it's useless and confusing. 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/Interval_Restriction.defs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Temp.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/src Temp.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 22:22:41 Modified files: src : Temp.defs.hh Log message: Added option type parameter. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Temp.defs.hh.diff?cvsroot…

1 0

ppl/src Checked_Number.inlines.hh Temp.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 20:29:06 Modified files: src : Checked_Number.inlines.hh Temp.defs.hh Log message: Fixed swap calls. Patches: 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/Temp.defs.hh.diff?cvsroot…

1 0

ppl/src Temp.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 20:20:35 Modified files: src : Temp.defs.hh Log message: Cleaned namespace mess. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Temp.defs.hh.diff?cvsroot…

1 0

ppl/src Checked_Number.defs.hh mp_std_bits.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 19:59:00 Modified files: src : Checked_Number.defs.hh mp_std_bits.defs.hh Log message: Moved swap in the same namespace of type of its arguments. 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/mp_std_bits.defs.hh.diff?…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
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 19:56:55 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Temp.defs.hh mp_std_bits.defs.hh mp_std_bits.inlines.hh Log message: Moved swap in the same namespace of type of its arguments. 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/Temp.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_std_bits.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_std_bits.inlines.hh.di…

1 0

ppl/src Boundary.defs.hh Interval.defs.hh Inte ...
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:57:06 Modified files: src : Boundary.defs.hh Interval.defs.hh Interval_Info.defs.hh Rational_Box.hh Log message: Removed policy flag infinity_is_open and fixed the related mess. 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/Interval_Info.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rational_Box.hh.diff?cvsr…

1 0