[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added Status|ON_QA |CLOSED

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added Status|MODIFIED|ON_QA

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 Jon Ciesla limburg...@gmail.com changed: What|Removed |Added Flags|fedora-cvs? |fedora-cvs+ -- You

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 --- Comment #8 from Jon Ciesla limburg...@gmail.com --- Git done (by process-git-requests). -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added Status|ASSIGNED

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 --- Comment #9 from Fedora Update System upda...@fedoraproject.org --- abc-1.01-2.hg20141130.fc21 has been submitted as an update for Fedora 21. https://admin.fedoraproject.org/updates/abc-1.01-2.hg20141130.fc21 -- You are receiving this

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 --- Comment #6 from Jerry James loganje...@gmail.com --- No problem. I figured it was something like that. :-) Obviously, I've been busy recently myself. Thank you very much for the review. -- You are receiving this mail because: You are

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 Jerry James loganje...@gmail.com changed: What|Removed |Added Flags||fedora-cvs? ---

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 --- Comment #4 from Jerry James loganje...@gmail.com --- Ping. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 Thomas Spura toms...@fedoraproject.org changed: What|Removed |Added Flags|fedora-review? |fedora-review+

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 --- Comment #1 from Thomas Spura toms...@fedoraproject.org --- Package Review == Legend: [x] = Pass, [!] = Fail, [-] = Not applicable, [?] = Not evaluated Issues: === - Permissions on files are set properly. Note: See

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 --- Comment #2 from Jerry James loganje...@gmail.com --- (In reply to Thomas Spura from comment #1) [?]: Package contains no bundled libraries without FPC exception. - There is a Provides: bundled(jquery), but I don't find jquery.

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 --- Comment #3 from Jerry James loganje...@gmail.com --- A very short delay, as it turns out. Quoting from http://vlsicad.eecs.umich.edu/BK/SAUCY/ June 2013: in addition to the current saucy implementation, we have developed an algorithm to

[Bug 1169492] Review Request: abc - Sequential logic synthesis and formal verification

https://bugzilla.redhat.com/show_bug.cgi?id=1169492 Thomas Spura toms...@fedoraproject.org changed: What|Removed |Added Status|NEW |ASSIGNED