[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-11-10 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=719150 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-10-31 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=719150 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-10-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=719150 --- Comment #9 from Fedora Update System upda...@fedoraproject.org 2011-10-28 16:43:14 EDT --- flocq-1.4.0-3.fc16 has been

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-10-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=719150 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-10-26 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=719150 Thomas Spura toms...@fedoraproject.org changed: What|Removed |Added

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-10-26 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=719150 --- Comment #2 from Jerry James loganje...@gmail.com 2011-10-26 16:36:46 EDT --- (In reply to comment #1) NEEDSWORK: - Please

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-10-26 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=719150 Thomas Spura toms...@fedoraproject.org changed: What|Removed |Added

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-10-26 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=719150 Jerry James loganje...@gmail.com changed: What|Removed |Added

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-10-26 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=719150 --- Comment #4 from Jerry James loganje...@gmail.com 2011-10-26 17:39:49 EDT --- (In reply to comment #3) Sounds like you

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-10-26 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=719150 --- Comment #6 from Thomas Spura toms...@fedoraproject.org 2011-10-26 18:01:05 EDT --- (In reply to comment #4) That's

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-10-26 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=719150 --- Comment #7 from Jerry James loganje...@gmail.com 2011-10-26 18:21:31 EDT --- :-) Actually, I think the espresso review was

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-10-26 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=719150 --- Comment #8 from Jesse Keating jkeat...@redhat.com 2011-10-26 19:23:49 EDT --- Git done (by process-git-requests). --

[Bug 719150] Review Request: flocq - Formalization of floating point numbers for Coq

2011-07-05 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=719150 Jerry James loganje...@gmail.com changed: What|Removed |Added