Re: [Jilc-discuss] Inst MAp

[Gopz]

If memory serves me right, Abhaya Agarwal wrote:
> Now what ? We need a verifier. so are we writing it from scratch 
> or using it somebody's code.
        I'm working on a jverify for Pnet . I'm trying to finish it this
week and add JVM support to Pnet. After it becomes usable (I'm running
Mauve test-suite through it), I'll adapt it for JILC.
-- 
********from fortune****************************************************
Of all possible committee reactions to any given agenda item, the
reaction that will occur is the one which will liberate the greatest
amount of hot air.
                -- Thomas L. Martin
*****************************************************from fortune*******