[Bug 558374] Review Request: nips-promela-compiler - Compile Promela into NIPS VM for state-based model checking

2010-11-14 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=558374 Jason Tibbitts changed: What|Removed |Added

[Bug 558374] Review Request: nips-promela-compiler - Compile Promela into NIPS VM for state-based model checking

2010-04-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=558374 Lubomir Rintel changed: What|Removed |Added