The problem with one release is following: new Code Contracts release means that production bits for the customers could be changed. No one can freely switch to new version of such tool without proper testing. This means that the overall requirements for Code Contracts is significatly different that for editor extension. I don't want to show an updates to Code Contracts tool if there is no changes. On the other hand I don't want to block editor extensions releases when new version become available.
Thats why I think different releases are important. Just because the goals of those tools are significantly different.
Nope, definitely referring to Code Contracts. Messages and warnings still show up in the errors list window for me in VS2013, but not in VS2015. I see the expected results in the Output window, but they don't make it to the errors list.
I'm not using VS2015 right now as well. Lets double check and just open the issue.