December 2006 - PPL-devel - BUGSENG Mailman

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

02 Dec '06

1 0

ppl/tests BD_Shape/Makefile.am Octagonal_Shape ...
by Roberto Bagnara 02 Dec '06

02 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-02 11:43:18 Modified files: tests/BD_Shape : Makefile.am tests/Octagonal_Shape: Makefile.am Log message: Allow parallel builds in tests/BD_Shape and tests/Octagonal_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

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

02 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-02 11:38:51 Modified files: src : checked_mpz.inlines.hh Log message: Spurious comment removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/tests Grid/boundingbox1.cc Grid/boundingbo ...
by Roberto Bagnara 02 Dec '06

02 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-02 11:31:00 Modified files: tests/Grid : boundingbox1.cc boundingbox2.cc coveringbox1.cc coveringbox2.cc directproduct1.cc tests/Polyhedron: boundingbox1.cc boundingbox3.cc Log message: No longer use Bounding_Box: use Rational_Box instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.… 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/boundingbox3…

1 0

ppl/src checked.inlines.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 10:58:28 Modified files: src : checked.inlines.hh Log message: Fixed comparison. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/src checked_mpz.inlines.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 10:58:01 Modified files: src : checked_mpz.inlines.hh Log message: Added missing #include. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

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

02 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-02 10:32:40 Modified files: interfaces/OCaml: ppl_ocaml.cc Log message: Solved a bug that was causing segmentation faults. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc…

1 0

ppl/src checked.inlines.hh checked_mpq.inlines ...
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 10:13:01 Modified files: src : checked.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Implemented universal comparisons. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… 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

ppl/src compiler.hh
by Roberto Bagnara 02 Dec '06

02 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-02 10:01:24 Modified files: src : compiler.hh Log message: Drafted the documentation for template <typename Base, typename Derived> struct Is_Same_Or_Derived. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=…

1 0

ppl/src Temp.defs.hh compiler.hh
by Roberto Bagnara 02 Dec '06

02 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-02 08:31:51 Modified files: src : Temp.defs.hh compiler.hh Log message: Drafted the documentation for template <bool b> struct Bool, struct True, struct False, and template <typename T1, typename T2> struct Is_Same. Patches: 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/compiler.hh.diff?cvsroot=…

1 0