These are chat archives for Microsoft/CodeContracts

Jan 2016
Jan 05 2016 09:43
@HermanEldering If you compile master (or compile the latest version and cherry-pick 0c1060b you'll get the error messages showing up again.
Pedro Tainha
Jan 05 2016 18:13
Hi there, i don't see a lot of things regarding CodeContracts in vNext on web, does someone can give an update on this. (PS: never use codeContracts, want to start using now)
Jan 05 2016 23:36
I don't believe Code Contracts supports dnx/CoreCLR/etc. projects, there's an issue somewhere requesting it.