{"action":"closed","issue":{"url":"https://api.github.com/repos/rutgers-apl/alive-nj/issues/8","repository_url":"https://api.github.com/repos/rutgers-apl/alive-nj","labels_url":"https://api.github.com/repos/rutgers-apl/alive-nj/issues/8/labels{/name}","comments_url":"https://api.github.com/repos/rutgers-apl/alive-nj/issues/8/comments","events_url":"https://api.github.com/repos/rutgers-apl/alive-nj/issues/8/events","html_url":"https://github.com/rutgers-apl/alive-nj/issues/8","id":230912659,"number":8,"title":"Division by poison should be undefined behavior","user":{"login":"davemenendez","id":8042785,"avatar_url":"https://avatars3.githubusercontent.com/u/8042785?v=3","gravatar_id":"","url":"https://api.github.com/users/davemenendez","html_url":"https://github.com/davemenendez","followers_url":"https://api.github.com/users/davemenendez/followers","following_url":"https://api.github.com/users/davemenendez/following{/other_user}","gists_url":"https://api.github.com/users/davemenendez/gists{/gist_id}","starred_url":"https://api.github.com/users/davemenendez/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davemenendez/subscriptions","organizations_url":"https://api.github.com/users/davemenendez/orgs","repos_url":"https://api.github.com/users/davemenendez/repos","events_url":"https://api.github.com/users/davemenendez/events{/privacy}","received_events_url":"https://api.github.com/users/davemenendez/received_events","type":"User","site_admin":false},"labels":[{"id":317743257,"url":"https://api.github.com/repos/rutgers-apl/alive-nj/labels/bug","name":"bug","color":"fc2929","default":true}],"state":"closed","locked":false,"assignee":{"login":"davemenendez","id":8042785,"avatar_url":"https://avatars3.githubusercontent.com/u/8042785?v=3","gravatar_id":"","url":"https://api.github.com/users/davemenendez","html_url":"https://github.com/davemenendez","followers_url":"https://api.github.com/users/davemenendez/followers","following_url":"https://api.github.com/users/davemenendez/following{/other_user}","gists_url":"https://api.github.com/users/davemenendez/gists{/gist_id}","starred_url":"https://api.github.com/users/davemenendez/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davemenendez/subscriptions","organizations_url":"https://api.github.com/users/davemenendez/orgs","repos_url":"https://api.github.com/users/davemenendez/repos","events_url":"https://api.github.com/users/davemenendez/events{/privacy}","received_events_url":"https://api.github.com/users/davemenendez/received_events","type":"User","site_admin":false},"assignees":[{"login":"davemenendez","id":8042785,"avatar_url":"https://avatars3.githubusercontent.com/u/8042785?v=3","gravatar_id":"","url":"https://api.github.com/users/davemenendez","html_url":"https://github.com/davemenendez","followers_url":"https://api.github.com/users/davemenendez/followers","following_url":"https://api.github.com/users/davemenendez/following{/other_user}","gists_url":"https://api.github.com/users/davemenendez/gists{/gist_id}","starred_url":"https://api.github.com/users/davemenendez/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davemenendez/subscriptions","organizations_url":"https://api.github.com/users/davemenendez/orgs","repos_url":"https://api.github.com/users/davemenendez/repos","events_url":"https://api.github.com/users/davemenendez/events{/privacy}","received_events_url":"https://api.github.com/users/davemenendez/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/rutgers-apl/alive-nj/milestones/1","html_url":"https://github.com/rutgers-apl/alive-nj/milestone/1","labels_url":"https://api.github.com/repos/rutgers-apl/alive-nj/milestones/1/labels","id":2539725,"number":1,"title":"v2.1","description":"","creator":{"login":"davemenendez","id":8042785,"avatar_url":"https://avatars3.githubusercontent.com/u/8042785?v=3","gravatar_id":"","url":"https://api.github.com/users/davemenendez","html_url":"https://github.com/davemenendez","followers_url":"https://api.github.com/users/davemenendez/followers","following_url":"https://api.github.com/users/davemenendez/following{/other_user}","gists_url":"https://api.github.com/users/davemenendez/gists{/gist_id}","starred_url":"https://api.github.com/users/davemenendez/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/davemenendez/subscriptions","organizations_url":"https://api.github.com/users/davemenendez/orgs","repos_url":"https://api.github.com/users/davemenendez/repos","events_url":"https://api.github.com/users/davemenendez/events{/privacy}","received_events_url":"https://api.github.com/users/davemenendez/received_events","type":"User","site_admin":false},"open_issues":2,"closed_issues":4,"state":"open","created_at":"2017-05-24T03:49:09Z","updated_at":"2017-05-27T04:03:06Z","due_on":null,"closed_at":null},"comments":0,"created_at":"2017-05-24T03:48:06Z","updated_at":"2017-05-27T04:03:06Z","closed_at":"2017-05-27T04:03:06Z","body":"Presently, we accept this optimization\r\n\r\n    %x = poison\r\n    =>\r\n    %x = 0\r\n\r\nbut we do not accept this optimization,\r\n\r\n    %x = udiv %x, poison\r\n    =>\r\n    %x = udiv %x, 0\r\n\r\nbecause the source is poison but the target has undefined behavior."}}
{"actor":{"display_login":"davemenendez"}}