A new release of Code Contracts is now live. We have fixed many bugs that have been reported on the forum, especially related to VS 2012.
NOTE: You do not need to manually run "devenv /setup" to see the Code Contracts pane in VS 2012. Please do not run it, but let us know if the pane doesn't show up!
If the download links have the usual caching problem, then you can try this link:
Please keep using the forum for communicating with us.