harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Peter Novodvorsky" <peter.novodvor...@gmail.com>
Subject Re: [general] Google Summer of Code 2007 coming
Date Mon, 12 Mar 2007 17:07:08 GMT
On 09 Mar 2007 20:48:48 +0300, Egor Pasko <egor.pasko@gmail.com> 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)?

Mime
View raw message