Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / microsoft/CodeContracts issues and pull requests

#140 - What's the correct way to set up Code Contracts on a build server?

Issue - State: open - Opened by DanTup over 9 years ago - 9 comments

#138 - NullReferenceException in Clousot/cccheck

Issue - State: open - Opened by DanTup over 9 years ago - 1 comment

#137 - Warnings and messages from static contract checking don't appear in the VS2015 error list

Issue - State: closed - Opened by jbcutting over 9 years ago - 10 comments
Labels: bug, up for grabs