September 2008 - PPL-devel - BUGSENG Mailman

ppl doc/Makefile.am doc/devref-prolog-interfac ...
by Patricia Hill 08 Sep '08

08 Sep '08

1 0

ppl/interfaces/Java jni/ppl_java_globals.cc pp ...
by Andrea Cimino 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-08 09:17:14 Modified files: interfaces/Java/jni: ppl_java_globals.cc interfaces/Java/ppl_java: Parma_Polyhedra_Library.java Log message: Avoid `ppl_´ prefix in the defintions of the methods 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/Java/ppl_java/Parm…

1 0

ppl configure.ac
by Andrea Cimino 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-08 09:06:44 Modified files: . : configure.ac Log message: No longer check for libmlgmp.a when detecting if we are able to compile the OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl Makefile.am
by Roberto Bagnara 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-08 08:31:13 Modified files: . : Makefile.am Log message: Use `mv -f' instead of `mv'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0

ppl/demos/ppl_lpsol expected_int64
by Roberto Bagnara 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-08 08:22:42 Modified files: demos/ppl_lpsol: expected_int64 Log message: Adapted to the recent changed in ppl_lpsol. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int6…

1 0

ppl/interfaces/OCaml Makefile.am tests/Makefile.am
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 23:25:52 Modified files: interfaces/OCaml: Makefile.am interfaces/OCaml/tests: Makefile.am Log message: Improved the definition of OCAMLC_LINK_FLAGS. Patches: 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/tests/Makefi…

1 0

ppl/demos/ppl_lpsol expected_mpz ppl_lpsol.c
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 21:12:45 Modified files: demos/ppl_lpsol: expected_mpz ppl_lpsol.c Log message: Let GLPK work with the system's default rounding mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 18:21:13 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Work around a plld bug under Cygwin. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces/OCaml/tests Makefile.am
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 17:10:06 Modified files: interfaces/OCaml/tests: Makefile.am Log message: Definitions of OCAMLC_LINK_FLAGS made equal. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl/interfaces/OCaml Makefile.am
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 16:57:04 Modified files: interfaces/OCaml: Makefile.am Log message: Fixed ocamlc compilation and link flags. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0