December 2006 - PPL-devel - BUGSENG Mailman

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

30 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-12-30 21:41:40 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 Log message: Fixed a bug for Pointset_Powerset BHZ03 extrapolation predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl configure.ac
by Andrea Cimino 30 Dec '06

30 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-30 14:03:07 Modified files: . : configure.ac Log message: Removed an extra (previously added) `@'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl configure.ac
by Andrea Cimino 30 Dec '06

30 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-30 13:55:32 Modified files: . : configure.ac Log message: Fixed to allow compiling the Java interface when the instantiation Pointset_Powerset<Polyhedron> is requested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/m4 ac_prog_java.m4
by Andrea Cimino 28 Dec '06

28 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-28 16:57:30 Modified files: m4 : ac_prog_java.m4 Log message: Fixed a `test' statement in a m4 macro. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_java.m4.diff?cvsro…

1 0

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

27 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-27 14:25:03 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_dat.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 test1.ml Log message: Written initial support for OCaml Pointset_Powerset. 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/ppl_interfac… 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 Andrea Cimino 26 Dec '06

26 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-26 14:48:43 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_dat.m4 ppl_interface_generator_ocaml_ml.m4 ppl_ocaml_globals.cc Log message: Launch an OCaml exception if a PPL method requires an unsigned integer and the input is a negative number. Fixed some bugs in the interface. 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/ppl_ocaml_gl…

1 0

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

26 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-26 12:40:08 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 Log message: Fixed a wrong m4 replacement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

ppl/interfaces/Java jni/ppl_interface_generato ...
by Andrea Cimino 25 Dec '06

25 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-25 17:02:02 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: Added CC76_narrowing_assign in the Java interface. 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/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl/m4 ac_prog_javac.m4
by Andrea Cimino 24 Dec '06

24 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-24 14:56:28 Modified files: m4 : ac_prog_javac.m4 Log message: Put an extra space between `whether' and `$JAVAC' in a `configure' message. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_javac.m4.diff?cvsr…

1 0

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

24 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-24 11:59:28 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 test1.ml Log message: Widening OCaml function are split in versions with and without tokens. 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