[Bug 719757] Review Request: apron - Numerical abstract domain library

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

[Bug 719757] Review Request: apron - Numerical abstract domain library

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

[Bug 719757] Review Request: apron - Numerical abstract domain library

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

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 --- Comment #13 from Fedora Update System upda...@fedoraproject.org 2011-11-07 11:52:38 EST --- apron-0.9.10-3.fc16 has been

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 --- Comment #12 from Jon Ciesla l...@jcomserv.net 2011-11-06 15:37:02 EST --- Git done (by process-git-requests). -- Configure

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 --- Comment #11 from Jerry James loganje...@gmail.com 2011-11-05 17:01:33 EDT --- In this case, the newpolka/mf_qsort.c file

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 --- Comment #4 from Brendan Jones brendan.jones...@gmail.com 2011-11-04 04:07:13 EDT --- Hi Jerry, looking pretty good. Just a

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 --- Comment #5 from Jerry James loganje...@gmail.com 2011-11-04 17:21:55 EDT --- (In reply to comment #4) [?] Be licensed with

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 Brendan Jones brendan.jones...@gmail.com changed: What|Removed |Added

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 --- Comment #7 from Jerry James loganje...@gmail.com 2011-11-04 18:37:02 EDT --- Argh, you're right. How about if I change the

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 Brendan Jones brendan.jones...@gmail.com changed: What|Removed |Added

[Bug 719757] Review Request: apron - Numerical abstract domain library

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

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 --- Comment #10 from Jason Tibbitts ti...@math.uh.edu 2011-11-04 19:05:54 EDT --- Just wanted to be sure that everyone's aware

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 Brendan Jones brendan.jones...@gmail.com changed: What|Removed |Added

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 --- Comment #3 from Jerry James loganje...@gmail.com 2011-08-24 19:13:16 EDT --- Oh, I forgot to add that the

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 --- Comment #2 from Jerry James loganje...@gmail.com 2011-08-24 19:10:00 EDT --- Thanks for the notes. I have made the

[Bug 719757] Review Request: apron - Numerical abstract domain library

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=719757 Volker Fröhlich volke...@gmx.at changed: What|Removed |Added