{"action":"closed","issue":{"url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/17","labels_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/17/labels{/name}","comments_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/17/comments","events_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/17/events","html_url":"https://github.com/Microsoft/CodeContracts/issues/17","id":59088964,"number":17,"title":"Code Contract Editor Extensions for VS 2012 crash on start","user":{"login":"jterry75","id":5858142,"avatar_url":"https://avatars.githubusercontent.com/u/5858142?v=3","gravatar_id":"","url":"https://api.github.com/users/jterry75","html_url":"https://github.com/jterry75","followers_url":"https://api.github.com/users/jterry75/followers","following_url":"https://api.github.com/users/jterry75/following{/other_user}","gists_url":"https://api.github.com/users/jterry75/gists{/gist_id}","starred_url":"https://api.github.com/users/jterry75/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jterry75/subscriptions","organizations_url":"https://api.github.com/users/jterry75/orgs","repos_url":"https://api.github.com/users/jterry75/repos","events_url":"https://api.github.com/users/jterry75/events{/privacy}","received_events_url":"https://api.github.com/users/jterry75/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/Microsoft/CodeContracts/labels/fixed","name":"fixed","color":"fef2c0"}],"state":"closed","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/Microsoft/CodeContracts/milestones/1","html_url":"https://github.com/Microsoft/CodeContracts/milestones/VS14%20Support","labels_url":"https://api.github.com/repos/Microsoft/CodeContracts/milestones/1/labels","id":1166135,"number":1,"title":"VS14 Support","description":null,"creator":{"login":"SergeyTeplyakov","id":726448,"avatar_url":"https://avatars.githubusercontent.com/u/726448?v=3","gravatar_id":"","url":"https://api.github.com/users/SergeyTeplyakov","html_url":"https://github.com/SergeyTeplyakov","followers_url":"https://api.github.com/users/SergeyTeplyakov/followers","following_url":"https://api.github.com/users/SergeyTeplyakov/following{/other_user}","gists_url":"https://api.github.com/users/SergeyTeplyakov/gists{/gist_id}","starred_url":"https://api.github.com/users/SergeyTeplyakov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SergeyTeplyakov/subscriptions","organizations_url":"https://api.github.com/users/SergeyTeplyakov/orgs","repos_url":"https://api.github.com/users/SergeyTeplyakov/repos","events_url":"https://api.github.com/users/SergeyTeplyakov/events{/privacy}","received_events_url":"https://api.github.com/users/SergeyTeplyakov/received_events","type":"User","site_admin":false},"open_issues":0,"closed_issues":22,"state":"open","created_at":"2015-06-16T04:29:17Z","updated_at":"2015-07-09T22:37:39Z","due_on":null,"closed_at":null},"comments":1,"created_at":"2015-02-26T15:31:49Z","updated_at":"2015-07-09T22:37:39Z","closed_at":"2015-07-09T22:37:39Z","body":"Every time I start Visual Studio with the \"Code Contracts Editor Extensions VS2012\" enabled it crashes on start and asks me to send the logs. I am using:\r\n\r\nMicrosoft Visual Studio Ultimate 2013\r\nVersion 12.0.31101.00 Update 4\r\n\r\nMicrosoft .NET Framework\r\nVersion 4.6.00031\r\n\r\nIs there a more up-to-date version for VS 2013 that does not crash? I have not been able to locate it.\r\n\r\nThanks,\r\nJustin"}}