[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-07 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #38 from Fedora Update System upda...@fedoraproject.org 2010-01-07 16:46:03 EDT ---

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-07 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-07 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #39 from Fedora Update System upda...@fedoraproject.org 2010-01-07 16:56:35 EDT ---

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-07 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-06 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #37 from Alexander Kahl ak...@imttechnologies.com 2010-01-06 10:42:28 EDT --- David: I'd really appreciate if

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-04 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 Alexander Kahl ak...@imttechnologies.com changed: What|Removed |Added

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-04 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #31 from David A. Wheeler dwhee...@dwheeler.com 2010-01-04 10:43:27 EDT --- The second sentence of:

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-04 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #32 from Alexander Kahl ak...@imttechnologies.com 2010-01-04 11:18:01 EDT --- Hi David, (In reply to comment

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-04 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #33 from Jerry James loganje...@gmail.com 2010-01-04 11:31:56 EDT --- I just started a thread to discuss the

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-04 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 Kevin Fenzi ke...@tummy.com changed: What|Removed |Added

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-04 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #35 from Fedora Update System upda...@fedoraproject.org 2010-01-04 18:21:37 EDT ---

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-04 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #36 from Fedora Update System upda...@fedoraproject.org 2010-01-04 18:21:42 EDT ---

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-02 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #23 from David A. Wheeler dwhee...@dwheeler.com 2010-01-02 12:12:51 EDT --- Hooray!! This updated package now

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-02 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #24 from David A. Wheeler dwhee...@dwheeler.com 2010-01-02 13:22:40 EDT --- This PVS also seems to work on

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-02 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #25 from David A. Wheeler dwhee...@dwheeler.com 2010-01-02 14:43:43 EDT --- Okay, I reviewed the package using

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-02 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #26 from David A. Wheeler dwhee...@dwheeler.com 2010-01-02 15:38:04 EDT --- I've resolved most other

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-02 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #27 from Jerry James loganje...@gmail.com 2010-01-02 19:32:15 EDT --- David, thanks for reviewing the package

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-02 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 David A. Wheeler dwhee...@dwheeler.com changed: What|Removed |Added

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-02 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #28 from David A. Wheeler dwhee...@dwheeler.com 2010-01-02 22:46:45 EDT --- I can't account for the timestamp

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-02 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 Jerry James loganje...@gmail.com changed: What|Removed |Added

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2010-01-01 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #22 from Jerry James loganje...@gmail.com 2010-01-01 20:25:21 EDT --- Now that I'm done making merry, I had a

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-29 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #21 from David A. Wheeler dwhee...@dwheeler.com 2009-12-29 11:21:38 EDT --- Congrats for figuring out the

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-28 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #19 from David A. Wheeler dwhee...@dwheeler.com 2009-12-28 23:51:07 EDT --- While you worked on the 32-bit

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-28 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #20 from Jerry James loganje...@gmail.com 2009-12-29 00:20:33 EDT --- Thanks for the comments. I'll address

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-24 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #17 from David A. Wheeler dwhee...@dwheeler.com 2009-12-24 21:47:29 EDT --- I have no idea if this is related,

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-24 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #18 from David A. Wheeler dwhee...@dwheeler.com 2009-12-24 22:24:42 EDT --- I've been hunting for other

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-23 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #15 from David A. Wheeler dwhee...@dwheeler.com 2009-12-23 10:37:11 EDT --- Let's try using emacs-nox or

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-23 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #16 from Jerry James loganje...@gmail.com 2009-12-23 13:45:48 EDT --- Argh. The elisp code calls add-submenu

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-22 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #7 from David A. Wheeler dwhee...@dwheeler.com 2009-12-22 08:14:31 EDT --- I changed the prelink line to:

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-22 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #8 from Rex Dieter rdie...@math.unl.edu 2009-12-22 08:29:51 EDT --- mind you, the prelink hackery shouldn't be

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-22 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #9 from Jerry James loganje...@gmail.com 2009-12-22 12:44:12 EDT --- Comment 5: I did tell Sam Owre that I was

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-22 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #10 from David A. Wheeler dwhee...@dwheeler.com 2009-12-22 17:16:21 EDT --- Sadly, the workaround doesn't seem

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-22 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #11 from Jerry James loganje...@gmail.com 2009-12-22 17:42:57 EDT --- That's annoying. The workaround fixed

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-22 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #12 from David A. Wheeler dwhee...@dwheeler.com 2009-12-22 19:19:17 EDT --- Okay, as you suggested I'm about

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-22 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #13 from David A. Wheeler dwhee...@dwheeler.com 2009-12-22 23:14:16 EDT --- Drat, and double-drat. Doing

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-22 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #14 from Jerry James loganje...@gmail.com 2009-12-23 00:33:47 EDT --- The hangs you are experiencing all

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-21 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #4 from Jerry James loganje...@gmail.com 2009-12-21 15:10:11 EDT --- Thanks for all the comments, David.

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-21 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #5 from David A. Wheeler dwhee...@dwheeler.com 2009-12-21 23:16:57 EDT --- Jerry James said: Patch0 is

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-21 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #6 from David A. Wheeler dwhee...@dwheeler.com 2009-12-21 23:48:31 EDT --- I found a bug in the build. If you

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-18 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #2 from David A. Wheeler dwhee...@dwheeler.com 2009-12-18 09:48:57 EDT --- A few additional random thoughts on

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-18 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #3 from David A. Wheeler dwhee...@dwheeler.com 2009-12-18 09:59:42 EDT --- Is a *really* *really* long build

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-17 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 David A. Wheeler dwhee...@dwheeler.com changed: What|Removed |Added

[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

2009-12-17 Thread bugzilla
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 David A. Wheeler dwhee...@dwheeler.com changed: What|Removed |Added