[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
> days.

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
build it).

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...
URL: <http://lists.ximian.com/pipermail/mono-devel-list/attachments/20150109/8555b6a4/attachment.html>

More information about the Mono-devel-list mailing list