September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java/jni ppl_interface_generato ...
by Roberto Bagnara 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-18 21:26:39 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_files.m4 Log message: Fixed the spacing in the generated files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-18 21:25:07 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 Log message: Added dummy code defining macro ppl_@CLASS@_@UB_EXACT@_code to all the "_code" files to avoid a warning. 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…

1 0

ppl/interfaces/Java/parma_polyhedra_library Ma ...
by Roberto Bagnara 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-18 21:20:40 Modified files: interfaces/Java/parma_polyhedra_library: Makefile.am Log message: Useless conditional removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed…

1 0

ppl/interfaces/Java/jni ppl_java_globals.cc
by Roberto Bagnara 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-18 21:17:19 Modified files: interfaces/Java/jni: ppl_java_globals.cc Log message: Code formatting improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Roberto Bagnara 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-18 21:06:38 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 Log message: Removed spurious blank line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter…

1 0

ppl/interfaces C/Makefile.am Java/jni/Makefile ...
by Roberto Bagnara 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-18 20:59:12 Modified files: interfaces/C : Makefile.am interfaces/Java/jni: Makefile.am interfaces/Java/parma_polyhedra_library: Makefile.am interfaces/OCaml: Makefile.am Log message: Standardize the handling of timestamps. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

IEEE inexact-flag not working on the Alpha (despite -mieee-with-inexact)?
by Roberto Bagnara 18 Sep '08

18 Sep '08

While testing the portability of the Parma Polyhedra Library, Abramo Bagnara and myself identified the following apparent problem on the Alpha, whereby the division 2/3 made on floats is flagged as exact. Here are the details: $ cat sf.cc #include <fenv.h> #include <cstdio> int main() { float x = 2; float y = 3; feclearexcept(FE_INEXACT); x = x / y; printf("%d %.1000g\n", fetestexcept(FE_INEXACT) != 0, x); } $ g++ -v Using built-in specs. Target: alpha-linux-gnu Configured with: ../src/configure -v --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --with-gxx-include-dir=/usr/include/c++/4.2 --program-suffix=-4.2 --enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --enable-mpfr --disable-libssp --with-long-double-128 --enable-checking=release --build=alpha-linux-gnu --host=alpha-linux-gnu --target=alpha-linux-gnu Thread model: posix gcc version 4.2.4 (Debian 4.2.4-3) $ g++ -mieee-with-inexact sf.cc $ ./a.out 0 0.666666686534881591796875 $ cat /proc/cpuinfo cpu : Alpha cpu model : EV56 cpu variation : 7 cpu revision : 0 cpu serial number : system type : Rawhide system variation : Tincup system revision : 0 system serial number : AY74642662 cycle frequency [Hz] : 399642346 est. timer frequency [Hz] : 1200.00 page size [bytes] : 8192 phys. address bits : 40 max. addr. space # : 127 BogoMIPS : 705.16 kernel unaligned acc : 0 (pc=0,va=0) user unaligned acc : 31 (pc=20000074c18,va=87) platform string : AlphaServer 1200 5/400 4MB cpus detected : 1 cpus active : 1 cpu active mask : 0000000000000001 L1 Icache : 8K, 1-way, 32b line L1 Dcache : 8K, 1-way, 32b line L2 cache : 96K, 3-way, 64b line L3 cache : 4096K, 1-way, 64b line $ We are not sure if this is a bug in GCC (we did search bugzilla though), so we decided to post here before filing a bug report. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

5 8

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Andrea Cimino 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-18 18:21:18 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_hh_code.m4 ppl_interface_generator_ocaml_ml.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 test1.ml Log message: Types `c_polyhedron' and `nnc_polyhedron' are now merged in the new type `polyhedron' in the OCaml interface. All the methods concerning c_polyhedron and nnc_polyhedron has been renamed for consistency with the other interfaces. ppl_@CLASS@_@UB_EXACT@_code disabled. 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/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/tests/ppl_in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.…

1 0

ppl/tests/Powerset simplifyusingcontext1.cc
by Enea Zaffanella 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-18 17:11:19 Modified files: tests/Powerset : simplifyusingcontext1.cc Log message: Test 9 fails on 8 bit integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/simplifyusingc…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Patricia Hill 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-18 16:03:49 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Use maximize_with_point() and minimize_with_point() when wanting the point returned. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0