[Bug 558374] Review Request: nips-promela-compiler - Compile Promela into NIPS VM for state-based model checking
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
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