December 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java/tests Makefile.am
by Andrea Cimino 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-22 14:05:43 Modified files: interfaces/Java/tests: Makefile.am Log message: Java tests restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil…

1 0

ppl/interfaces/Prolog/SWI swi_cfli.hh
by Roberto Bagnara 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-12-22 11:23:01 Modified files: interfaces/Prolog/SWI: swi_cfli.hh Log message: Make sure __STDC_LIMIT_MACROS is defined before the first inclusion of <stdint.h>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl…

1 0

ppl/interfaces/Java/tests Makefile.am
by Andrea Cimino 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-22 11:09:34 Modified files: interfaces/Java/tests: Makefile.am Log message: Use always `ppl_java.jar' archive to build and run the tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil…

1 0

ppl/interfaces/Java/jni ppl_java_common.hh
by Andrea Cimino 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-22 10:33:33 Modified files: interfaces/Java/jni: ppl_java_common.hh Log message: Written a Doxygen comment for function `jtype_to_unsigned'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/interfaces/OCaml test1.ml
by Andrea Cimino 21 Dec '06

21 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-21 17:28:46 Modified files: interfaces/OCaml: test1.ml Log message: Restored the `map_space_dimensions' call. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

ppl/interfaces/OCaml test1.ml
by Andrea Cimino 21 Dec '06

21 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-21 17:02:18 Modified files: interfaces/OCaml: test1.ml Log message: Modified the partial function to be valid and so the C++ world doesn't throw exceptions Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 21 Dec '06

21 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-12-21 16:30:25 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_ml.m4 Log message: Correctly generate the type c_polyhedron and nnc_polyhedron as well as any other class type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Andrea Cimino 21 Dec '06

21 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-21 16:20:07 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml.m4 ppl_interface_generator_ocaml_ml_code.m4 test1.ml Log message: Split Polyhedron in C_Polyhedron and NNC_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

ppl/interfaces/OCaml Makefile.am
by Andrea Cimino 21 Dec '06

21 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-21 13:00:20 Modified files: interfaces/OCaml: Makefile.am Log message: Now it's possible to use the PPL using the module installed in the OCaml library directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 21 Dec '06

21 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-12-21 09:49:03 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Added predicates for ..._upper_bound_if_exact and poly_hull_if_exact. Tests for them also added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0