[Mono-dev] CodeContacts open sourced

Greg Young gregoryyoung1 at gmail.com
Fri Jan 9 21:32:31 UTC 2015

See below.

On Friday, January 9, 2015, Miguel de Icaza <miguel at xamarin.com> wrote:

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

It's not source analysis it theorem proving think formal proving a la eiffel

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

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)


> 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 :-)
> miguel

Studying for the Turing test
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ximian.com/pipermail/mono-devel-list/attachments/20150109/87d0cbd0/attachment.html>

More information about the Mono-devel-list mailing list