{"action":"created","issue":{"url":"https://api.github.com/repos/CVC4/CVC4/issues/202","repository_url":"https://api.github.com/repos/CVC4/CVC4","labels_url":"https://api.github.com/repos/CVC4/CVC4/issues/202/labels{/name}","comments_url":"https://api.github.com/repos/CVC4/CVC4/issues/202/comments","events_url":"https://api.github.com/repos/CVC4/CVC4/issues/202/events","html_url":"https://github.com/CVC4/CVC4/pull/202","id":244132594,"number":202,"title":"Fix simple_vc_compat_cxx example","user":{"login":"4tXJ7f","id":1926228,"avatar_url":"https://avatars3.githubusercontent.com/u/1926228?v=4","gravatar_id":"","url":"https://api.github.com/users/4tXJ7f","html_url":"https://github.com/4tXJ7f","followers_url":"https://api.github.com/users/4tXJ7f/followers","following_url":"https://api.github.com/users/4tXJ7f/following{/other_user}","gists_url":"https://api.github.com/users/4tXJ7f/gists{/gist_id}","starred_url":"https://api.github.com/users/4tXJ7f/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/4tXJ7f/subscriptions","organizations_url":"https://api.github.com/users/4tXJ7f/orgs","repos_url":"https://api.github.com/users/4tXJ7f/repos","events_url":"https://api.github.com/users/4tXJ7f/events{/privacy}","received_events_url":"https://api.github.com/users/4tXJ7f/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2017-07-19T18:30:06Z","updated_at":"2017-07-19T19:17:25Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/CVC4/CVC4/pulls/202","html_url":"https://github.com/CVC4/CVC4/pull/202","diff_url":"https://github.com/CVC4/CVC4/pull/202.diff","patch_url":"https://github.com/CVC4/CVC4/pull/202.patch"},"body":"The CVC3 compatibility layer was broken because it was setting\r\nsimplification mode to SIMPLIFICATION_MODE_INCREMENTAL, which\r\nis not supported anymore since commit\r\n2dbe1f150d30f0fb0c8522f891104270ce09db4c . This commit changes\r\nthe compatibility layer to not set the option anymore.\r\n\r\nThis addresses bug 833, which had been reported on the cvc-bugs mailing list."},"comment":{"url":"https://api.github.com/repos/CVC4/CVC4/issues/comments/316488962","html_url":"https://github.com/CVC4/CVC4/pull/202#issuecomment-316488962","issue_url":"https://api.github.com/repos/CVC4/CVC4/issues/202","id":316488962,"user":{"login":"timothy-king","id":797368,"avatar_url":"https://avatars1.githubusercontent.com/u/797368?v=4","gravatar_id":"","url":"https://api.github.com/users/timothy-king","html_url":"https://github.com/timothy-king","followers_url":"https://api.github.com/users/timothy-king/followers","following_url":"https://api.github.com/users/timothy-king/following{/other_user}","gists_url":"https://api.github.com/users/timothy-king/gists{/gist_id}","starred_url":"https://api.github.com/users/timothy-king/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/timothy-king/subscriptions","organizations_url":"https://api.github.com/users/timothy-king/orgs","repos_url":"https://api.github.com/users/timothy-king/repos","events_url":"https://api.github.com/users/timothy-king/events{/privacy}","received_events_url":"https://api.github.com/users/timothy-king/received_events","type":"User","site_admin":false},"created_at":"2017-07-19T19:17:25Z","updated_at":"2017-07-19T19:17:25Z","body":"Running examples on travis makes sense to me."}}
{"actor":{"display_login":"timothy-king"}}