[Mono-dev] CodeContacts open sourced
Miguel de Icaza
miguel at xamarin.com
Fri Jan 9 21:13:13 UTC 2015
> Regarding XS/MD support for the code contracts tools, there are really
> two pieces.
> The first is to port/reimplement the VS addin. It doesn't look
> particularly complex, a proof of concept might only take a couple of
This would be glorious. They seem to be doing some kind of
source-analysis like support, where they show potential problems.
The second is figuring out how to build and ship the analysis tools,
> contract annotations and MSBuild tasks. AFAIK On Windows they're
> shipped in a MSI installer, but there are scripts to build a NuGet
> package too, though it doesn't seem to be on the public NuGet server.
I think we could ship this with Mono itself (once we figure out how to
I tried to build it, but failed. Then again, I tried to build on
Windows, and failed too :-)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Mono-devel-list