These are chat archives for Microsoft/CodeContracts

7th
Jul 2015
Sam Harwell
@sharwell
Jul 07 2015 00:00
I think I figured it out
Sam Harwell
@sharwell
Jul 07 2015 00:12
@SergeyTeplyakov #66 should be complete. Tested with buildCC on a fresh checkout.
I see no reason to keep the milestones separated at this point. Editor extensions are good to go whenever the other parts are. :+1:
Dinner time for me. Will check back later this evening.
Sergey Teplyakov
@SergeyTeplyakov
Jul 07 2015 15:39
@sharwell Agreed.
Sam Harwell
@sharwell
Jul 07 2015 15:44
:D
Sam Harwell
@sharwell
Jul 07 2015 16:29
@SergeyTeplyakov I'm curious what, if anything, is currently blocking a merge of #66.
Sergey Teplyakov
@SergeyTeplyakov
Jul 07 2015 16:46
Merged.
and, by the way, you did a great job! That was impressive!
I'll talk to Mike today, I have a fix for remaining bug. Hope to push PR today
Sergey Teplyakov
@SergeyTeplyakov
Jul 07 2015 23:46
Mike helped me to fix one remaining issue... one step closer to publishing PR and for VS2015 support
Sam Harwell
@sharwell
Jul 07 2015 23:47
Which issue? Also what's left?
I need to figure out how to run the profiler on ccrewrite. Currently ccrewrite is 80% of my build time
dinner time, ttyl