September 2008 - PPL-devel - BUGSENG Mailman

ppl/doc devref-prolog-interface.doxyconf-html. ...
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 11:29:36 Modified files: doc : devref-prolog-interface.doxyconf-html.in devref-prolog-interface.doxyconf-latex.in Log message: Fixed the definition of INPUT. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.d…

1 0

ppl/interfaces Java/jni/ppl_java_globals.cc Ja ...
by Patricia Hill 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-07 11:23:05 Modified files: interfaces/Java/jni: ppl_java_globals.cc interfaces/Java/ppl_java: Parma_Polyhedra_Library.java interfaces/Prolog: ppl_prolog_common.cc ppl_prolog_common.defs.hh Log message: Added support for new methods: void Parma_Polyhedra_Library::set_rounding_for_PPL() void Parma_Polyhedra_Library::restore_pre_PPL_rounding() for Prolog and Java. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/src 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 10:14:29 Modified files: src : Makefile.am Log message: Vertical space adjusted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/C 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 10:12:49 Modified files: interfaces/C : Makefile.am Log message: When necessary list `-no-undefined' among the `libppl_c_la_LDFLAGS'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0

ppl/src Pointset_Powerset.defs.hh
by Patricia Hill 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-07 09:52:18 Modified files: src : Pointset_Powerset.defs.hh Log message: Corrected cross-reference wrt meet-preserving enlargement for the devref manuals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh…

1 0

ppl/doc Makefile.am
by Patricia Hill 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-07 09:31:16 Modified files: doc : Makefile.am Log message: Corrected paths for Prolog files used for the devref Prolog manuals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Prolog/XSB 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 08:45:54 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Added ppl_xsb.hh to DISTCLEANFILES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

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 08:43:43 Modified files: interfaces/OCaml: Makefile.am Log message: More dependency problems fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

ppl/interfaces/C ppl_c.h.in ppl_interface_gene ...
by Roberto Bagnara 06 Sep '08

06 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-06 22:01:34 Modified files: interfaces/C : ppl_c.h.in ppl_interface_generator_c_cc_preamble ppl_interface_generator_c_h_preamble Log message: Added int ppl_set_rounding_for_PPL(void) and int ppl_restore_pre_PPL_rounding(void) to the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/src Init.defs.hh
by Roberto Bagnara 06 Sep '08

06 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-06 22:00:27 Modified files: src : Init.defs.hh Log message: Comments revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.defs.hh.diff?cvsroot…

1 0