December 2006 - PPL-devel - BUGSENG Mailman

ppl/src C_Integer.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 16:22:26 Added files: src : C_Integer.hh Log message: Added support for Constants. Use only a template for all C integers info. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Integer.hh?cvsroot=ppl&…

1 0

ppl/src meta_programming.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 16:19:08 Modified files: src : meta_programming.hh Log message: Drafted the documentation for template <bool b> struct Compile_Time_Check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/meta_programming.hh.diff?…

1 0

ppl/src Makefile.am checked.inlines.hh checked ...
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:12:55 Modified files: src : Makefile.am checked.inlines.hh checked_int.inlines.hh checked_mpz.inlines.hh globals.defs.hh Removed files: src : Limits.hh Log message: Added support for Constants. Use only a template for all C integers info. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… 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_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Limits.hh.diff?cvsroot=pp…

1 0

ppl/src meta_programming.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 15:32:04 Modified files: src : meta_programming.hh Log message: Added an example showing how to use Enable_If. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/meta_programming.hh.diff?…

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 15:31:24 Modified files: tests/BD_Shape : Makefile.am tests/Octagonal_Shape: Makefile.am Log message: Temporary kludge to allow parallel builds to work. 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 meta_programming.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 14:45:50 Modified files: src : meta_programming.hh Log message: Drafted the documentation of template <bool b, typename T> struct Enable_If. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/meta_programming.hh.diff?…

1 0

ppl/interfaces Java/jni/ppl_java_common.cc OCa ...
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 12:44:23 Modified files: interfaces/Java/jni: ppl_java_common.cc interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Interfaced other methods that relate to Polyhedron. Avoid useless checks in the Java interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… 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 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 12:23:34 Modified files: tests/BD_Shape : Makefile.am tests/Octagonal_Shape: Makefile.am Log message: Previous change completed. 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_mpq.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 12:10:10 Modified files: src : checked_mpq.inlines.hh Log message: Fixed copy and paste mistake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di…

1 0

ppl/src meta_programming.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 12:08:32 Modified files: src : meta_programming.hh Log message: Changed an instance of `class' to `typename'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/meta_programming.hh.diff?…

1 0