These are chat archives for Microsoft/CodeContracts

28th
Apr 2016
Antão Almada
@aalmada
Apr 28 2016 15:14
To my best knowledge, Xamarin Studio does not support Code Contracts. It requires special tools after compilation. You can vote for this feature at https://xamarin.uservoice.com/forums/144858-xamarin-platform-suggestions/suggestions/7057541-support-for-invoking-code-contracts-tools
Aaron Dandy
@aarondandy
Apr 28 2016 21:46
Somebody else was asking about the activity in this project on github: Microsoft/CodeContracts#409