October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/tests pl_check.pl pl_gri ...
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 07:49:37 Modified files: interfaces/Prolog/tests: pl_check.pl pl_grid_check.pl Log message: Typos fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_gr…

1 0

ppl/src BD_Shape.templates.hh Octagonal_Shape. ...
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 06:05:55 Modified files: src : BD_Shape.templates.hh Octagonal_Shape.templates.hh Log message: Fixed two instances where a TEMP_INTEGER was used uninitialized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/interfaces/Java/jni ppl_java_common.defs.hh
by Roberto Bagnara 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-01 22:27:04 Modified files: interfaces/Java/jni: ppl_java_common.defs.hh Log message: Obsolete FIXME removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Roberto Bagnara 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-01 22:25:56 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 ppl_java_common.cc ppl_java_common.defs.hh ppl_java_globals.cc Log message: Renamed build_linear_expression() as build_cxx_linear_expression(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… 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/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/tests/BD_Shape closure1.cc
by Enea Zaffanella 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-01 21:45:24 Modified files: tests/BD_Shape : closure1.cc Log message: Modified test03 so as to systematically ignore overflow errors; after this change, the test is meant to always succeed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/closure1.cc.di…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Roberto Bagnara 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-01 21:42:23 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 ppl_java_common.cc ppl_java_common.defs.hh ppl_java_globals.cc Log message: Begun fixing names and comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… 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/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/tests/Powerset simplifyusingcontext1.cc
by Enea Zaffanella 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-01 21:27:57 Modified files: tests/Powerset : simplifyusingcontext1.cc Log message: Due to the recent change to simplify_using_context implementation, tests 05 and 09 no longer overflow when using 8 bit coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/simplifyusingc…

1 0

ppl/interfaces/OCaml ppl_ocaml_globals.ml ppl_ ...
by Roberto Bagnara 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-01 20:38:39 Modified files: interfaces/OCaml: ppl_ocaml_globals.ml ppl_ocaml_types.ml Log message: Two FIXMEs resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_ty…

1 0

ppl/interfaces/OCaml ppl_ocaml_common.cc
by Roberto Bagnara 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-01 20:33:42 Modified files: interfaces/OCaml: ppl_ocaml_common.cc Log message: Unused exception throwers removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_co…

1 0

ppl/interfaces C/ppl_c_implementation_common.i ...
by Roberto Bagnara 01 Oct '08

01 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-01 20:31:27 Modified files: interfaces/C : ppl_c_implementation_common.inlines.hh interfaces/OCaml: ppl_ocaml_common.cc Log message: Be consistent concerning reinterpret_mpz_class(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_co…

1 0