September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog GNU/Makefile.am SICStus/ ...
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 15:12:00 Modified files: interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: Do not distribute generated files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/doc devref-c-interface.doxyconf-html.in de ...
by Roberto Bagnara 06 Sep '08

06 Sep '08

1 0

ppl TODO
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 10:42:04 Modified files: . : TODO Log message: Remember to make void set_rounding_for_PPL() void restore_pre_PPL_rounding() available in all the interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.25…

1 0

ppl/tests/Polyhedron randphull1.cc
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 10:40:01 Modified files: tests/Polyhedron: randphull1.cc Log message: Reset the rounding mode to its pre-PPL state before doing any non-PPL floating point computation. This is to avoid bugs as http://sources.redhat.com/bugzilla/show_bug.cgi?id=6869 and also to test the rounding-mode setting/resetting functions. When NDEBUG is not defined, limit the maximum space dimension tested by test02() to 4 (instead of 6). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/randphull1.c…

1 0

ppl src/Init.cc src/Init.defs.hh src/Makefile. ...
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 10:38:01 Modified files: src : Init.cc Init.defs.hh Makefile.am doc : devref.doxyconf-html.in devref.doxyconf-latex.in Added files: src : Init.inlines.hh Log message: New functions void set_rounding_for_PPL() void restore_pre_PPL_rounding() sets the FPU rounding mode as it was before initialization of the PPL, and sets it so that the PPL abstractions based on floating point numbers work correctly, respectively. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.…

1 0

ppl/interfaces/Prolog GNU/gprolog_efli.cc XSB/ ...
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 09:10:10 Modified files: interfaces/Prolog/GNU: gprolog_efli.cc interfaces/Prolog/XSB: xsb_efli.cc Log message: Two FIXMEs resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_efl…

1 0

ppl/interfaces/Prolog/XSB xsb_pl_check.P
by Patricia Hill 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-05 22:17:59 Modified files: interfaces/Prolog/XSB: xsb_pl_check.P Log message: Add the predicates: ppl_Polyhedron_constrains/2, ppl_Polyhedron_unconstrain_space_dimension/2, ppl_Polyhedron_unconstrain_space_dimensions/2, to the "import" list. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_…

1 0

ppl/doc Makefile.am libppl.3
by Roberto Bagnara 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-05 21:49:20 Modified files: doc : Makefile.am Added files: doc : libppl.3 Log message: Started drafting a libppl(3) man page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3?cvsroot=ppl&rev=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Andrea Cimino 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-05 19:27:31 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 ppl_java_common.cc ppl_java_common.hh ppl_java_globals.cc Log message: Use always `set_ptr' to set the value of the C++ object pointer in the Java world, this makes the code cleaner. This was made also to implement (in a near future) de-allocation with the recently added functions in `marked_pointers.hh' Changed the `set_ptr' definition to avoid casts in the code. 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/jni/ppl_java_… 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/jni/ppl_java_…

1 0

ppl/interfaces/Prolog/XSB Makefile.am ppl_prol ...
by Roberto Bagnara 05 Sep '08

05 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-05 19:18:44 Modified files: interfaces/Prolog/XSB: Makefile.am ppl_prolog_sysdep.hh xsb_efli.cc Log message: The XSB interface now supports separate compilation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_pro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_efl…

1 0