[Mono-dev] Current state of support for Code Contracts?

[Ruben Vandeginste]

Hello,

What is the current state of the support for code contracts in Mono?
I saw that there was a google summer of code project to start this
work and to implement a rewriter for Code Contracts preconditions. Has
the work advanced in the mean time? Is someone working on this?

Also... is the contracts rewriter usable in combination with the
Microsoft C# compiler?


greetings,
Ruben