See below.<br><br>On Friday, January 9, 2015, Miguel de Icaza <<a href="mailto:miguel@xamarin.com">miguel@xamarin.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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></div></div></blockquote><div><br></div><div><br></div><div>It's not source analysis it theorem proving think formal proving a la eiffel</div><div><br></div><div>It's a massive!!!  task (like 5-10 man years) to bring it in as you need to put contracts on all of the mono code</div><div><br></div><div>This is part of why it has not done well for Microsoft is much of the framework lacks co tracts which makes the theorem prover very difficult to use (needs tons of assume clauses)</div><div><br></div><div>Greg</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><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>
</blockquote><br><br>-- <br><div dir="ltr">Studying for the Turing test</div><br>