These are chat archives for Microsoft/CodeContracts

11th
Aug 2015
Kerem
@krk
Aug 11 2015 10:13
Will the "Async Features" https://github.com/Microsoft/CodeContracts/milestones/Async%20Features milestone be the next release?
Sergey Teplyakov
@SergeyTeplyakov
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.
Yaakov
@yaakov-h
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.