{"action":"created","issue":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/2280","repository_url":"https://api.github.com/repos/diffblue/cbmc","labels_url":"https://api.github.com/repos/diffblue/cbmc/issues/2280/labels{/name}","comments_url":"https://api.github.com/repos/diffblue/cbmc/issues/2280/comments","events_url":"https://api.github.com/repos/diffblue/cbmc/issues/2280/events","html_url":"https://github.com/diffblue/cbmc/pull/2280","id":329475745,"node_id":"MDExOlB1bGxSZXF1ZXN0MTkyNzIxOTA0","number":2280,"title":"Java concurrency, support for synchronization ","user":{"login":"Degiorgio","id":7044884,"node_id":"MDQ6VXNlcjcwNDQ4ODQ=","avatar_url":"https://avatars0.githubusercontent.com/u/7044884?v=4","gravatar_id":"","url":"https://api.github.com/users/Degiorgio","html_url":"https://github.com/Degiorgio","followers_url":"https://api.github.com/users/Degiorgio/followers","following_url":"https://api.github.com/users/Degiorgio/following{/other_user}","gists_url":"https://api.github.com/users/Degiorgio/gists{/gist_id}","starred_url":"https://api.github.com/users/Degiorgio/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Degiorgio/subscriptions","organizations_url":"https://api.github.com/users/Degiorgio/orgs","repos_url":"https://api.github.com/users/Degiorgio/repos","events_url":"https://api.github.com/users/Degiorgio/events{/privacy}","received_events_url":"https://api.github.com/users/Degiorgio/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2018-06-05T14:12:54Z","updated_at":"2018-06-13T12:22:11Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/diffblue/cbmc/pulls/2280","html_url":"https://github.com/diffblue/cbmc/pull/2280","diff_url":"https://github.com/diffblue/cbmc/pull/2280.diff","patch_url":"https://github.com/diffblue/cbmc/pull/2280.patch"},"body":"PR enables basic support for  analyzing concurrent java programs. Specifically, it adds support for synchronized methods,  synchronized blocks and multiple regressions tests. \r\n\r\ntest-gen PR:  https://github.com/diffblue/test-gen/pull/1908"},"comment":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/comments/396918139","html_url":"https://github.com/diffblue/cbmc/pull/2280#issuecomment-396918139","issue_url":"https://api.github.com/repos/diffblue/cbmc/issues/2280","id":396918139,"node_id":"MDEyOklzc3VlQ29tbWVudDM5NjkxODEzOQ==","user":{"login":"Degiorgio","id":7044884,"node_id":"MDQ6VXNlcjcwNDQ4ODQ=","avatar_url":"https://avatars0.githubusercontent.com/u/7044884?v=4","gravatar_id":"","url":"https://api.github.com/users/Degiorgio","html_url":"https://github.com/Degiorgio","followers_url":"https://api.github.com/users/Degiorgio/followers","following_url":"https://api.github.com/users/Degiorgio/following{/other_user}","gists_url":"https://api.github.com/users/Degiorgio/gists{/gist_id}","starred_url":"https://api.github.com/users/Degiorgio/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Degiorgio/subscriptions","organizations_url":"https://api.github.com/users/Degiorgio/orgs","repos_url":"https://api.github.com/users/Degiorgio/repos","events_url":"https://api.github.com/users/Degiorgio/events{/privacy}","received_events_url":"https://api.github.com/users/Degiorgio/received_events","type":"User","site_admin":false},"created_at":"2018-06-13T12:22:11Z","updated_at":"2018-06-13T12:22:11Z","author_association":"MEMBER","body":"@tautschnig  can you take another look please?  Thx!"}}
{"actor":{"display_login":"Degiorgio"}}