On 09 Mar 2007 20:48:48 +0300, Egor Pasko <[EMAIL PROTECTED]> wrote:
On the 0x294 day of Apache Harmony Naveen Neelakantam wrote: > On Mar 8, 2007, at 12:52 PM, Egor Pasko wrote: > nice idea! I also added 'subroutine verification in Verifier'Geir, are there any news on the submission process?
As far as I know Alexei Fedotov is already working on subroutine verification, won't it be a fake project (perhaps he will finish with it before summer)?
