I'm ok for the verifier. Pavel R? I would suggest adding a link from Harmony web site to the original verifier referencing it as demonstrating an approach for java verification based on subroutine inlining. At the moment I wrote the code this was interesting for some researches and might attract them to our project.
On Feb 13, 2008 4:09 PM, Mikhail Loenko <[EMAIL PROTECTED]> wrote: > there is a number of bugs in gc_cc and not that many volunteers to fix them, > do we need to continue support it or we better move to archive? > > the same for original verifier: a number of bugs found in both > verifiers were fixed in the default one (verifier-3363) only, should > we move the original one into archive? > > Thanks, > Mikhail > -- With best regards, Alexei
