{"action":"created","issue":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/378","repository_url":"https://api.github.com/repos/diffblue/cbmc","labels_url":"https://api.github.com/repos/diffblue/cbmc/issues/378/labels{/name}","comments_url":"https://api.github.com/repos/diffblue/cbmc/issues/378/comments","events_url":"https://api.github.com/repos/diffblue/cbmc/issues/378/events","html_url":"https://github.com/diffblue/cbmc/pull/378","id":198230729,"number":378,"title":"String refine preprocessing","user":{"login":"romainbrenguier","id":11854194,"avatar_url":"https://avatars.githubusercontent.com/u/11854194?v=3","gravatar_id":"","url":"https://api.github.com/users/romainbrenguier","html_url":"https://github.com/romainbrenguier","followers_url":"https://api.github.com/users/romainbrenguier/followers","following_url":"https://api.github.com/users/romainbrenguier/following{/other_user}","gists_url":"https://api.github.com/users/romainbrenguier/gists{/gist_id}","starred_url":"https://api.github.com/users/romainbrenguier/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/romainbrenguier/subscriptions","organizations_url":"https://api.github.com/users/romainbrenguier/orgs","repos_url":"https://api.github.com/users/romainbrenguier/repos","events_url":"https://api.github.com/users/romainbrenguier/events{/privacy}","received_events_url":"https://api.github.com/users/romainbrenguier/received_events","type":"User","site_admin":false},"labels":[{"id":531023518,"url":"https://api.github.com/repos/diffblue/cbmc/labels/String%20solver","name":"String solver","color":"fef2c0","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-12-31T12:33:41Z","updated_at":"2017-02-10T23:09:59Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/diffblue/cbmc/pulls/378","html_url":"https://github.com/diffblue/cbmc/pull/378","diff_url":"https://github.com/diffblue/cbmc/pull/378.diff","patch_url":"https://github.com/diffblue/cbmc/pull/378.patch"},"body":"Preprocessing of goto-programs for the string refinement. \r\nThis pull request includes the changes from https://github.com/diffblue/cbmc/pull/374 which should be merged before."},"comment":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/comments/279091620","html_url":"https://github.com/diffblue/cbmc/pull/378#issuecomment-279091620","issue_url":"https://api.github.com/repos/diffblue/cbmc/issues/378","id":279091620,"user":{"login":"peterschrammel","id":4222448,"avatar_url":"https://avatars.githubusercontent.com/u/4222448?v=3","gravatar_id":"","url":"https://api.github.com/users/peterschrammel","html_url":"https://github.com/peterschrammel","followers_url":"https://api.github.com/users/peterschrammel/followers","following_url":"https://api.github.com/users/peterschrammel/following{/other_user}","gists_url":"https://api.github.com/users/peterschrammel/gists{/gist_id}","starred_url":"https://api.github.com/users/peterschrammel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/peterschrammel/subscriptions","organizations_url":"https://api.github.com/users/peterschrammel/orgs","repos_url":"https://api.github.com/users/peterschrammel/repos","events_url":"https://api.github.com/users/peterschrammel/events{/privacy}","received_events_url":"https://api.github.com/users/peterschrammel/received_events","type":"User","site_admin":false},"created_at":"2017-02-10T23:09:59Z","updated_at":"2017-02-10T23:09:59Z","body":"Looks much cleaner now. Please squash the commits when finalising."}}
{"actor":{"display_login":"peterschrammel"}}