These are chat archives for Microsoft/CodeContracts

Aug 2015
Aug 11 2015 10:13
Will the "Async Features" milestone be the next release?
Sergey Teplyakov
Aug 11 2015 16:27
@krk The plan is to add them to the new release. I'm still working on them, though. But there would be other fixes that's are in master right now.
Aug 11 2015 23:10
Are there any known issue with Contract.ForAll and Roslyn? Assumptions and Ensures with ForAll seem to be having no effect.