{"action":"created","issue":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/1246","repository_url":"https://api.github.com/repos/diffblue/cbmc","labels_url":"https://api.github.com/repos/diffblue/cbmc/issues/1246/labels{/name}","comments_url":"https://api.github.com/repos/diffblue/cbmc/issues/1246/comments","events_url":"https://api.github.com/repos/diffblue/cbmc/issues/1246/events","html_url":"https://github.com/diffblue/cbmc/pull/1246","id":250560680,"number":1246,"title":"Add non-const target comparator","user":{"login":"reuk","id":3016418,"avatar_url":"https://avatars1.githubusercontent.com/u/3016418?v=4","gravatar_id":"","url":"https://api.github.com/users/reuk","html_url":"https://github.com/reuk","followers_url":"https://api.github.com/users/reuk/followers","following_url":"https://api.github.com/users/reuk/following{/other_user}","gists_url":"https://api.github.com/users/reuk/gists{/gist_id}","starred_url":"https://api.github.com/users/reuk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/reuk/subscriptions","organizations_url":"https://api.github.com/users/reuk/orgs","repos_url":"https://api.github.com/users/reuk/repos","events_url":"https://api.github.com/users/reuk/events{/privacy}","received_events_url":"https://api.github.com/users/reuk/received_events","type":"User","site_admin":false},"labels":[{"id":384277563,"url":"https://api.github.com/repos/diffblue/cbmc/labels/bugfix","name":"bugfix","color":"ff8800","default":false}],"state":"open","locked":false,"assignee":{"login":"reuk","id":3016418,"avatar_url":"https://avatars1.githubusercontent.com/u/3016418?v=4","gravatar_id":"","url":"https://api.github.com/users/reuk","html_url":"https://github.com/reuk","followers_url":"https://api.github.com/users/reuk/followers","following_url":"https://api.github.com/users/reuk/following{/other_user}","gists_url":"https://api.github.com/users/reuk/gists{/gist_id}","starred_url":"https://api.github.com/users/reuk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/reuk/subscriptions","organizations_url":"https://api.github.com/users/reuk/orgs","repos_url":"https://api.github.com/users/reuk/repos","events_url":"https://api.github.com/users/reuk/events{/privacy}","received_events_url":"https://api.github.com/users/reuk/received_events","type":"User","site_admin":false},"assignees":[{"login":"reuk","id":3016418,"avatar_url":"https://avatars1.githubusercontent.com/u/3016418?v=4","gravatar_id":"","url":"https://api.github.com/users/reuk","html_url":"https://github.com/reuk","followers_url":"https://api.github.com/users/reuk/followers","following_url":"https://api.github.com/users/reuk/following{/other_user}","gists_url":"https://api.github.com/users/reuk/gists{/gist_id}","starred_url":"https://api.github.com/users/reuk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/reuk/subscriptions","organizations_url":"https://api.github.com/users/reuk/orgs","repos_url":"https://api.github.com/users/reuk/repos","events_url":"https://api.github.com/users/reuk/events{/privacy}","received_events_url":"https://api.github.com/users/reuk/received_events","type":"User","site_admin":false}],"milestone":null,"comments":0,"created_at":"2017-08-16T09:13:47Z","updated_at":"2017-08-22T12:46:03Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/diffblue/cbmc/pulls/1246","html_url":"https://github.com/diffblue/cbmc/pull/1246","diff_url":"https://github.com/diffblue/cbmc/pull/1246.diff","patch_url":"https://github.com/diffblue/cbmc/pull/1246.patch"},"body":"I tried building with `CXXFLAGS=-D_GLIBCXX_DEBUG` and got a compile error, because the compiler couldn't convert between const and non-const \"safe\"-iterators in one place. Adding an explicit comparator for non-const iterators solves the problem."},"comment":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/comments/324014987","html_url":"https://github.com/diffblue/cbmc/pull/1246#issuecomment-324014987","issue_url":"https://api.github.com/repos/diffblue/cbmc/issues/1246","id":324014987,"user":{"login":"kroening","id":1830565,"avatar_url":"https://avatars0.githubusercontent.com/u/1830565?v=4","gravatar_id":"","url":"https://api.github.com/users/kroening","html_url":"https://github.com/kroening","followers_url":"https://api.github.com/users/kroening/followers","following_url":"https://api.github.com/users/kroening/following{/other_user}","gists_url":"https://api.github.com/users/kroening/gists{/gist_id}","starred_url":"https://api.github.com/users/kroening/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kroening/subscriptions","organizations_url":"https://api.github.com/users/kroening/orgs","repos_url":"https://api.github.com/users/kroening/repos","events_url":"https://api.github.com/users/kroening/events{/privacy}","received_events_url":"https://api.github.com/users/kroening/received_events","type":"User","site_admin":false},"created_at":"2017-08-22T12:46:03Z","updated_at":"2017-08-22T12:46:03Z","body":"Needs rebase onto develop"}}
{"actor":{"display_login":"kroening"}}