November 2006 - PPL-devel - BUGSENG Mailman

Troubles with rounding
by Abramo Bagnara 03 Nov '06

03 Nov '06

$ g++ -O2 -frounding-math bug.cc $ a.out 123456792 123456792 123456792 123456792 123456792 123456792 123456784 123456784 $ g++ -O2 -fno-inline -frounding-math bug.cc $ a.out 123456784 123456792 123456784 123456792 123456784 123456792 123456784 123456792 Someone knows if this is the expected behaviour? GCC bugs apart we definitely need a way to avoid this mess, someone knows a way? -- Abramo Bagnara mailto:abramobagnara@tin.it Opera Unica Phone: +39.0546.656023 Via Emilia Interna, 140 48014 Castel Bolognese (RA) - Italy

1 1

ppl/src Interval.defs.hh
by Abramo Bagnara 03 Nov '06

03 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-03 16:41:21 Modified files: src : Interval.defs.hh Log message: More work on interval. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/interfaces/Java/jni .cvsignore ppl_java_C_ ...
by Andrea Cimino 03 Nov '06

03 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-03 16:38:24 Added files: interfaces/Java/jni: .cvsignore ppl_java_C_Polyhedron.cc ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh Log message: Added the `jni' directory to the trunk. Added some files that interface Java to C++ via JNI. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/.cvsignor… 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_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/interfaces/Java/jni
by Andrea Cimino 03 Nov '06

03 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-03 16:31:57 ppl/interfaces/Java/jni Update of /cvs/ppl/ppl/interfaces/Java/jni In directory spartacus.cs.unipr.it:/tmp/cvs-serv23202/jni Log Message: Directory /cvs/ppl/ppl/interfaces/Java/jni added to the repository

1 0

ppl/tests/Octagonal_Shape boundedaffineimage1.cc
by Barbara Quartieri 03 Nov '06

03 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-03 15:24:19 Modified files: tests/Octagonal_Shape: boundedaffineimage1.cc Log message: Removed some useless lines from test13(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bounded…

1 0

ppl/interfaces Makefile.am
by Andrea Cimino 03 Nov '06

03 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-03 14:51:42 Modified files: interfaces : Makefile.am Log message: Temporarily disabled the Java interface to be processed by Makefile. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0

ppl/interfaces/Java/ppl_java C_Polyhedron.java ...
by Andrea Cimino 03 Nov '06

03 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-03 14:24:11 Added files: interfaces/Java/ppl_java: C_Polyhedron.java Constraint_System.java Generator.java Generator_System.java Generator_Type.java PPL_Object.java Polyhedron.java Log message: Put other Java interface files under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/C_Po… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cons… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/PPL_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 03 Nov '06

03 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-03 10:22:55 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_extra_code ppl_interface_generator_predicate_check_pl.m4 Log message: Fixed some bugs. Tidied the handling of a "friend" class replacement. Improved some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/tests/Octagonal_Shape expandspacedim1.cc
by Barbara Quartieri 02 Nov '06

02 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-02 16:51:34 Modified files: tests/Octagonal_Shape: expandspacedim1.cc Log message: Added some tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/expands…

1 0

ppl src/Octagonal_Shape.templates.hh tests/Oct ...
by Barbara Quartieri 02 Nov '06

02 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-02 15:21:11 Modified files: src : Octagonal_Shape.templates.hh tests/Octagonal_Shape: boundedaffinepreimage1.cc Log message: Corrected the method bounded_affine_preimage() when `lb_expr' contains `var'. Added some tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bounded…

1 0