These are chat archives for Microsoft/CodeContracts
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.