[Mono-list] Code contracts status

[Yang Zhang]

Did the work on code contracts for mono (GSoC '11, '12) ever get
completed?  I'm guessing not, but thought I'd ask--it'd be too useful
to miss.

If not, are there still plans to continue future GSoCs on it?  If not,
is it just too difficult to tackle as a GSoC (or two, or three)?
Mainly interested in the static non-null checks, for what it's worth.

Thanks.