<div dir="ltr">Hey guys,<div><br></div><div>Microsoft has open sourced their CodeContracts tools:</div><div><br></div><div><a href="https://github.com/CodeContractsDotNet/CodeContracts">https://github.com/CodeContractsDotNet/CodeContracts</a><br></div><div><br></div><div>The companion class libraries are here:<br></div><div><br></div><div><a href="https://github.com/mono/referencesource/tree/mono/mscorlib/system/diagnostics/contracts">https://github.com/mono/referencesource/tree/mono/mscorlib/system/diagnostics/contracts</a><br></div><div><br></div><div>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.</div><div><br></div><div>In addition, it seems like we could enable MonoDevelop/XamarinStudio to support code contracts now.</div></div>