November 2006 - PPL-devel - BUGSENG Mailman

[Fwd: Re: PPL and integer programming]
by Roberto Bagnara 08 Nov '06

08 Nov '06

-------- Original Message -------- Subject: Re: PPL and integer programming Date: Wed, 08 Nov 2006 10:38:49 +0100 From: Andy Moser <andy(a)seclab.tuwien.ac.at> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <1162931323.29615.6.camel(a)localhost.localdomain> <4550EEAC.8040003(a)cs.unipr.it> Hi Roberto, It would be really great if we could get the CVS version of the PPL from you! We have a paper deadline coming very soon so maybe you could give us a snapshot as soon as possible? :) We don't mind if it's not perfect, we just want to see if it works with the tool we developed as soon as possible. Thanks a lot!! Ciao, Andy -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src Float.defs.hh checked_ext.inlines.hh
by Abramo Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-08 11:12:19 Modified files: src : Float.defs.hh checked_ext.inlines.hh Log message: Converted handle_ext_natively in a function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di…

1 0

Wrong arithmetic conversion
by Abramo Bagnara 08 Nov '06

08 Nov '06

When evaluating comparison expressions, the "usual arithmetic conversions" mandated by C standard (ISO/IEC 9899 #6.3.1.8) are NOT done. In the cases below note that GDB returns the mathematically correct result, but this is not conforming to C standard and to GDB documentation that says: "The usual way to examine data in your program is with the `print' command (abbreviated `p'), or its synonym `inspect'. It evaluates and prints the value of an expression of the language your program is written in" GNU gdb Red Hat Linux (6.3.0.0-1.134.fc5rh) Copyright 2004 Free Software Foundation, Inc. GDB is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions. Type "show copying" to see the conditions. There is absolutely no warranty for GDB. Type "show warranty" for details. This GDB was configured as "i386-redhat-linux-gnu"...Using host libthread_db library "/lib/libthread_db.so.1". (gdb) print (float)123456792.0 > 123456789 $1 = true (gdb) print (float)123456792.0 > (float)123456789 $2 = false (gdb) print 123456789123456784.0 < 123456789123456789LL $3 = true (gdb) print 123456789123456784.0 < (double)123456789123456789LL $4 = false -- Abramo Bagnara mailto:abramobagnara@tin.it Opera Unica Phone: +39.0546.656023 Via Emilia Interna, 140 48014 Castel Bolognese (RA) - Italy

1 0

ppl/src checked_mpq.inlines.hh
by Abramo Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-08 09:54:26 Modified files: src : checked_mpq.inlines.hh Log message: Removed useless function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di…

1 0

ppl/src checked_ext.inlines.hh
by Abramo Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-08 09:54:04 Modified files: src : checked_ext.inlines.hh Log message: Added extended constants printing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di…

1 0

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

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-08 09:17:38 Modified files: src : Interval.defs.hh Log message: Added multiplication. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Boundary.defs.hh
by Abramo Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-08 09:17:19 Modified files: src : Boundary.defs.hh Log message: Renamed sign into sgn for conformity to other places. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/interfaces/Java/jni Makefile.am
by Andrea Cimino 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-08 00:58:11 Modified files: interfaces/Java/jni: Makefile.am Log message: If a `make clean' is called, delete all the headers generated by javah. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.…

1 0

ppl/m4 ac_prog_javah.m4
by Andrea Cimino 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-08 00:01:14 Modified files: m4 : ac_prog_javah.m4 Log message: Avoid to compile the Java interface if javah is found but the jni.h header is not found. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_javah.m4.diff?cvsr…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-07 22:24:37 Modified files: src : Box.templates.hh Log message: Drafted an implementation of add_constraint(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0