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

[bugzilla at redhat.com]

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 <lkundrak at v3.sk> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lkundrak at v3.sk

--- Comment #1 from Lubomir Rintel <lkundrak at v3.sk> 2010-04-09 06:01:41 EDT ---
So, what's the progress with this? Can't be really ready for review without
sablecc.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.