December 2006 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 19 Dec '06

19 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-19 13:19:58 Modified files: htdocs/Documentation: ppl.bib Log message: Added BagnaraDHMZ05TR. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

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

19 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-19 10:44:16 Modified files: interfaces/Java: Makefile.am Log message: Install ppl_java.jar in $prefix/lib/ppl when a `make install' is invoked. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d…

1 0

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

19 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-12-19 09:48:31 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_ml.m4 ppl_ocaml.cc ppl_ocaml_globals.ml Added files: interfaces/OCaml: ppl_ocaml_globals.cc Log message: Separated the ppl_ocaml.cc code into a fixed part and a part to be generated. Moved more code from the generated part of ppl_ocaml.ml to the fixed part. 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_interfac… 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_gl…

1 0

ppl/interfaces/Java/tests C_Polyhedron_test1.j ...
by Andrea Cimino 19 Dec '06

19 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-19 09:30:30 Modified files: interfaces/Java/tests: C_Polyhedron_test1.java Makefile.am Log message: Added a simple test for the Java interface. Modified Makefile.am to avoid possible problems when `make check' is called more than one time. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/C_Polyh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil…

1 0

ppl/interfaces/OCaml Makefile.am ppl_ocaml.cc ...
by Patricia Hill 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-12-18 23:33:37 Modified files: interfaces/OCaml: Makefile.am ppl_ocaml.cc ppl_ocaml.ml ppl_ocaml.mli test1.ml Added files: interfaces/OCaml: ppl_interface_generator_ocaml_dat.m4 ppl_interface_generator_ocaml_ml.m4 ppl_interface_generator_ocaml_ml_code.m4 Log message: Revised names of functions to match the rest of the interfaces. Now ppl_ocaml.ml is generated using m4 (but only checked for the Polyhedron class). 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/Makefile.am.… 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/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-18 19:17:50 Modified files: htdocs/Documentation: ppl.bib Log message: Missing comma added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation BagnaraDHMZ07.pdf
by Roberto Bagnara 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-18 19:07:08 Added files: htdocs/Documentation: BagnaraDHMZ07.pdf Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-18 18:42:07 Modified files: htdocs/Documentation: ppl.bib Log message: BagnaraDHMZ06a substituted by BagnaraDHMZ07. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-18 18:37:09 Modified files: htdocs/Documentation: ppl_citations.bib Log message: HalbwachsMG06 completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Dec '06

18 Dec '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-12-18 16:19:35 Modified files: htdocs/Documentation: ppl.bib Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0