Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

M0035.01 Overflow before unbounded: NO

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I vote NO on Motion M0035.01 Overflow before unbounded: NO for the
reasons given by Alexandre Goldsztejn and others.

FG.
- -- 
Frédéric Goualard                                 LINA - UMR CNRS 6241
Tel.: +33 2 76 64 50 12    Univ. of Nantes - Ecole des Mines de Nantes
                                   2, rue de la Houssinière - BP 92208
http://frederic.goualard.net/                   F-44322 NANTES CEDEX 3

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQEcBAEBAgAGBQJPzLhvAAoJED43A9dEbyiDSmIH/A8eGOhJcXSzDgCvDJx4lAaR
A3NteJtwKAuDz1RZOy+rwErsQzXtfA4NvTO0XfNcAQgmx72ZffRcMiENrpidyNED
Ayu1jE/qqnIvAV+rvaXSMg0/ySIU9296+SHOlA+6My+ZF5eeATVORrcBU9YuC82G
CHXd/zacdX0reD7JiPP5A2SmkDTQdJp6B39wgp5TeZ4feTy/aZNuCCDVpnITVKhd
WAAugk1SJbnF5SW01Cowh4SnCIp1Bz4zlgh10Rfdhv8GvGnI3akiPVrsWnvfj4yL
PlGnlYDYjvy0lKmq54cypTHc78BOBPe1xhmdSjxXbZzj/S56RVgRJPAPbKiYQA0=
=OEoT
-----END PGP SIGNATURE-----