[Mono-dev] CodeContacts open sourced

[Miguel de Icaza]

Hey guys,

Microsoft has open sourced their CodeContracts tools:

https://github.com/CodeContractsDotNet/CodeContracts

The companion class libraries are here:

https://github.com/mono/referencesource/tree/mono/mscorlib/system/diagnostics/contracts

While Mono has an implementation, it might be a good idea to replace them
with the Microsoft version, in case the tools depend on some internal bits.

In addition, it seems like we could enable MonoDevelop/XamarinStudio to
support code contracts now.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ximian.com/pipermail/mono-devel-list/attachments/20150108/46f289be/attachment.html>