[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

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=486757 David A. Wheeler dwhee...@dwheeler.com changed: What|Removed |Added

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-11-19 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=486757 --- Comment #23 from Petr Rockai proc...@redhat.com 2009-11-19 15:43:47 EDT --- Hello! In the meantime, I have released

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-10-25 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=486757 Milos Jakubicek xja...@fi.muni.cz changed: What|Removed |Added

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-09-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=486757 --- Comment #21 from Petr Rockai proc...@redhat.com 2009-09-02 10:03:08 EDT --- Hi David, sorry for taking this long. I

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-04-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=486757 --- Comment #19 from David A. Wheeler dwhee...@dwheeler.com 2009-04-18 17:48:59 EDT --- Petr -- Configure bugmail:

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-04-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=486757 --- Comment #20 from David A. Wheeler dwhee...@dwheeler.com 2009-04-18 18:04:16 EDT --- (Sorry for the blank previous

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-04-15 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=486757 --- Comment #18 from Petr Rockai proc...@redhat.com 2009-04-15 18:11:50 EDT --- Hi, I have uploaded divine-mc 1.4 today,

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-04-13 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=486757 --- Comment #17 from Milos Jakubicek xja...@fi.muni.cz 2009-04-13 10:30:26 EDT --- (In reply to comment #16) Sounds like

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-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=486757 --- Comment #16 from David A. Wheeler dwhee...@dwheeler.com 2009-03-28 12:47:57 EDT --- Sounds like everything's okay

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-27 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=486757 --- Comment #15 from Milos Jakubicek xja...@fi.muni.cz 2009-03-27 10:39:29 EDT --- (In reply to comment #14) You said:

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-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=486757 --- Comment #14 from David A. Wheeler dwhee...@dwheeler.com 2009-03-22 10:44:50 EDT --- Okay, I've tried to respond to all

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-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=486757 --- Comment #13 from Milos Jakubicek xja...@fi.muni.cz 2009-03-18 05:42:44 EDT --- Yes, I had -- sorry for answering late

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-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=486757 --- Comment #12 from David A. Wheeler dwhee...@dwheeler.com 2009-03-17 15:52:39 EDT --- Milos: Have you had a chance to

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-09 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=486757 --- Comment #8 from David A. Wheeler dwhee...@dwheeler.com 2009-03-09 12:39:26 EDT --- I've resolved all the comments

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-09 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=486757 --- Comment #9 from David A. Wheeler dwhee...@dwheeler.com 2009-03-09 12:44:01 EDT --- Here are the new spec and SRPM

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-09 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=486757 --- Comment #10 from Milos Jakubicek xja...@fi.muni.cz 2009-03-09 13:22:11 EDT --- David, I'm currently pretty busy and

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-09 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=486757 --- Comment #11 from David A. Wheeler dwhee...@dwheeler.com 2009-03-09 13:46:28 EDT --- I understand. Thanks! --

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-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=486757 --- Comment #7 from Milos Jakubicek xja...@fi.muni.cz 2009-03-05 05:47:30 EDT --- (In reply to comment #6) Moreover you

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-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=486757 --- Comment #6 from Milos Jakubicek xja...@fi.muni.cz 2009-03-04 18:50:23 EDT --- OK, there are some more outstanding

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-03 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=486757 Peter Rockai proc...@redhat.com changed: What|Removed |Added

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-03 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=486757 --- Comment #5 from David A. Wheeler dwhee...@dwheeler.com 2009-03-04 00:56:56 EDT --- I'll be glad to package DiVinE 2.0

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-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=486757 --- Comment #3 from David A. Wheeler dwhee...@dwheeler.com 2009-03-02 22:13:46 EDT --- Thanks. I've fixed it, including

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-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=486757 Milos Jakubicek xja...@fi.muni.cz changed: What|Removed |Added

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-03-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=486757 --- Comment #2 from Milos Jakubicek xja...@fi.muni.cz 2009-03-01 19:51:39 EDT --- Please, first of all, make the package

[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

2009-02-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=486757 --- Comment #1 from David A. Wheeler dwhee...@dwheeler.com 2009-02-24 00:21:40 EDT --- Sorry, here's an updated spec/SRPM