<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Regarding XS/MD support for the code contracts tools, there are really<br>
two pieces.<br>
<br>
The first is to port/reimplement the VS addin. It doesn't look<br>
particularly complex, a proof of concept might only take a couple of<br>
days.<br></blockquote><div><br></div><div>This would be glorious.   They seem to be doing some kind of source-analysis like support, where they show potential problems.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The second is figuring out how to build and ship the analysis tools,<br>
contract annotations and MSBuild tasks. AFAIK On Windows they're<br>
shipped in a MSI installer, but there are scripts to build a NuGet<br>
package too, though it doesn't seem to be on the public NuGet server.<br></blockquote><div><br></div><div>I think we could ship this with Mono itself (once we figure out how to build it).</div><div><br></div><div>I tried to build it, but failed.    Then again, I tried to build on Windows, and failed too :-)</div><div><br></div><div>miguel</div></div></div></div>