These are chat archives for Microsoft/CodeContracts

14th
Feb 2016
Hubert Bukowski
@hubuk
Feb 14 2016 01:12 UTC
This message was deleted
Hubert Bukowski
@hubuk
Feb 14 2016 01:18 UTC
Did you read Joe Duffy's article about error model in Midori?
http://joeduffyblog.com/2016/02/07/the-error-model/
There is a lot about Microsoft's approach to contracts. With a few words on why Code Contracts were dropped for this system.