Login | Register For Free | Help
Search for: (Advanced)

Mailing List Archive: Python: Bugs
[issue9530] integer undefined behaviors
 

Index | Next | Previous | View Flat


report at bugs

Apr 30, 2012, 10:35 AM


Views: 106
Permalink
[issue9530] integer undefined behaviors [In reply to]

John Regehr <regehr [at] cs> added the comment:

Hi folks,

I realize it was a long time ago that I reported this issue! Since then our tool has been made available:

http://embed.cs.utah.edu/ioc/

In particular, that web page contains a pre-compiled version of the tool for recent Ubuntu on x86-64, that should be pretty easy to use.

Alternatively, I can re-run the Python test suite on a Python compiled using our tool. Let me know if this would be helpful.

----------

_______________________________________
Python tracker <report [at] bugs>
<http://bugs.python.org/issue9530>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/list-python-bugs%40lists.gossamer-threads.com

Subject User Time
[issue9530] integer undefined behaviors report at bugs Apr 30, 2012, 10:31 AM
    [issue9530] integer undefined behaviors report at bugs Apr 30, 2012, 10:35 AM
    [issue9530] integer undefined behaviors report at bugs Apr 30, 2012, 2:45 PM
    [issue9530] integer undefined behaviors report at bugs May 2, 2012, 10:52 AM
    [issue9530] integer undefined behaviors report at bugs May 2, 2012, 11:36 AM
    [issue9530] integer undefined behaviors report at bugs May 7, 2012, 2:37 AM

  Index | Next | Previous | View Flat
 
 


Interested in having your list archived? Contact Gossamer Threads
 
  Web Applications & Managed Hosting Powered by Gossamer Threads Inc.