payload: {"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/996","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/996/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/996/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/996/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/996","id":525716405,"node_id":"MDExOlB1bGxSZXF1ZXN0MzQzMjgzNzQw","number":996,"title":"Replace all remaining uses of __VERIFIER_nondet_pointer","user":{"login":"tautschnig","id":1144736,"node_id":"MDQ6VXNlcjExNDQ3MzY=","avatar_url":"https://avatars3.githubusercontent.com/u/1144736?v=4","gravatar_id":"","url":"https://api.github.com/users/tautschnig","html_url":"https://github.com/tautschnig","followers_url":"https://api.github.com/users/tautschnig/followers","following_url":"https://api.github.com/users/tautschnig/following{/other_user}","gists_url":"https://api.github.com/users/tautschnig/gists{/gist_id}","starred_url":"https://api.github.com/users/tautschnig/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tautschnig/subscriptions","organizations_url":"https://api.github.com/users/tautschnig/orgs","repos_url":"https://api.github.com/users/tautschnig/repos","events_url":"https://api.github.com/users/tautschnig/events{/privacy}","received_events_url":"https://api.github.com/users/tautschnig/received_events","type":"User","site_admin":false},"labels":[{"id":1618590365,"node_id":"MDU6TGFiZWwxNjE4NTkwMzY1","url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/labels/C","name":"C","color":"b790ed","default":false,"description":"Task in language C"},{"id":472360268,"node_id":"MDU6TGFiZWw0NzIzNjAyNjg=","url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/labels/issue%20with%20benchmark","name":"issue with benchmark","color":"d93f0b","default":false,"description":null}],"state":"open","locked":false,"assignee":{"login":"tautschnig","id":1144736,"node_id":"MDQ6VXNlcjExNDQ3MzY=","avatar_url":"https://avatars3.githubusercontent.com/u/1144736?v=4","gravatar_id":"","url":"https://api.github.com/users/tautschnig","html_url":"https://github.com/tautschnig","followers_url":"https://api.github.com/users/tautschnig/followers","following_url":"https://api.github.com/users/tautschnig/following{/other_user}","gists_url":"https://api.github.com/users/tautschnig/gists{/gist_id}","starred_url":"https://api.github.com/users/tautschnig/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tautschnig/subscriptions","organizations_url":"https://api.github.com/users/tautschnig/orgs","repos_url":"https://api.github.com/users/tautschnig/repos","events_url":"https://api.github.com/users/tautschnig/events{/privacy}","received_events_url":"https://api.github.com/users/tautschnig/received_events","type":"User","site_admin":false},"assignees":[{"login":"tautschnig","id":1144736,"node_id":"MDQ6VXNlcjExNDQ3MzY=","avatar_url":"https://avatars3.githubusercontent.com/u/1144736?v=4","gravatar_id":"","url":"https://api.github.com/users/tautschnig","html_url":"https://github.com/tautschnig","followers_url":"https://api.github.com/users/tautschnig/followers","following_url":"https://api.github.com/users/tautschnig/following{/other_user}","gists_url":"https://api.github.com/users/tautschnig/gists{/gist_id}","starred_url":"https://api.github.com/users/tautschnig/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tautschnig/subscriptions","organizations_url":"https://api.github.com/users/tautschnig/orgs","repos_url":"https://api.github.com/users/tautschnig/repos","events_url":"https://api.github.com/users/tautschnig/events{/privacy}","received_events_url":"https://api.github.com/users/tautschnig/received_events","type":"User","site_admin":false}],"milestone":null,"comments":7,"created_at":"2019-11-20T10:35:02Z","updated_at":"2019-11-21T07:39:18Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/pulls/996","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/996","diff_url":"https://github.com/sosy-lab/sv-benchmarks/pull/996.diff","patch_url":"https://github.com/sosy-lab/sv-benchmarks/pull/996.patch"},"body":"Use suitable allocators; mostly the allocation size can be determined\r\nfrom the next instruction, which used be a cast. Remove that type cast\r\nand directly call ldv_malloc instead.\r\n"},"comment":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/comments/556959946","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/996#issuecomment-556959946","issue_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/996","id":556959946,"node_id":"MDEyOklzc3VlQ29tbWVudDU1Njk1OTk0Ng==","user":{"login":"tautschnig","id":1144736,"node_id":"MDQ6VXNlcjExNDQ3MzY=","avatar_url":"https://avatars3.githubusercontent.com/u/1144736?v=4","gravatar_id":"","url":"https://api.github.com/users/tautschnig","html_url":"https://github.com/tautschnig","followers_url":"https://api.github.com/users/tautschnig/followers","following_url":"https://api.github.com/users/tautschnig/following{/other_user}","gists_url":"https://api.github.com/users/tautschnig/gists{/gist_id}","starred_url":"https://api.github.com/users/tautschnig/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tautschnig/subscriptions","organizations_url":"https://api.github.com/users/tautschnig/orgs","repos_url":"https://api.github.com/users/tautschnig/repos","events_url":"https://api.github.com/users/tautschnig/events{/privacy}","received_events_url":"https://api.github.com/users/tautschnig/received_events","type":"User","site_admin":false},"created_at":"2019-11-21T07:39:18Z","updated_at":"2019-11-21T07:39:18Z","author_association":"CONTRIBUTOR","body":"This is now rebased with the changes that are ready in #997 also stripped out (#997 and this one can now be merged in any order)."}}
other: {"actor":{"display_login":"tautschnig"}}