{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/347","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/347/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/347/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/347/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/347","id":195623809,"number":347,"title":"Towards eliminating signed overflows.","user":{"login":"jhensel","id":12639943,"avatar_url":"https://avatars.githubusercontent.com/u/12639943?v=3","gravatar_id":"","url":"https://api.github.com/users/jhensel","html_url":"https://github.com/jhensel","followers_url":"https://api.github.com/users/jhensel/followers","following_url":"https://api.github.com/users/jhensel/following{/other_user}","gists_url":"https://api.github.com/users/jhensel/gists{/gist_id}","starred_url":"https://api.github.com/users/jhensel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jhensel/subscriptions","organizations_url":"https://api.github.com/users/jhensel/orgs","repos_url":"https://api.github.com/users/jhensel/repos","events_url":"https://api.github.com/users/jhensel/events{/privacy}","received_events_url":"https://api.github.com/users/jhensel/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":8,"created_at":"2016-12-14T19:31:51Z","updated_at":"2016-12-17T14:54:47Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/pulls/347","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/347","diff_url":"https://github.com/sosy-lab/sv-benchmarks/pull/347.diff","patch_url":"https://github.com/sosy-lab/sv-benchmarks/pull/347.patch"},"body":"At least for some benchmarks of the termination category, overflows are now avoided."},"comment":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/comments/267766883","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/347#issuecomment-267766883","issue_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/347","id":267766883,"user":{"login":"jhensel","id":12639943,"avatar_url":"https://avatars.githubusercontent.com/u/12639943?v=3","gravatar_id":"","url":"https://api.github.com/users/jhensel","html_url":"https://github.com/jhensel","followers_url":"https://api.github.com/users/jhensel/followers","following_url":"https://api.github.com/users/jhensel/following{/other_user}","gists_url":"https://api.github.com/users/jhensel/gists{/gist_id}","starred_url":"https://api.github.com/users/jhensel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jhensel/subscriptions","organizations_url":"https://api.github.com/users/jhensel/orgs","repos_url":"https://api.github.com/users/jhensel/repos","events_url":"https://api.github.com/users/jhensel/events{/privacy}","received_events_url":"https://api.github.com/users/jhensel/received_events","type":"User","site_admin":false},"created_at":"2016-12-17T14:54:47Z","updated_at":"2016-12-17T14:54:47Z","body":"Sorry, fixed."}}
{"actor":{"display_login":"jhensel"}}