{"action":"created","issue":{"url":"https://api.github.com/repos/openssl/openssl/issues/2148","repository_url":"https://api.github.com/repos/openssl/openssl","labels_url":"https://api.github.com/repos/openssl/openssl/issues/2148/labels{/name}","comments_url":"https://api.github.com/repos/openssl/openssl/issues/2148/comments","events_url":"https://api.github.com/repos/openssl/openssl/issues/2148/events","html_url":"https://github.com/openssl/openssl/pull/2148","id":197578977,"number":2148,"title":"Add SAW AES proof.","user":{"login":"benlaurie","id":40044,"avatar_url":"https://avatars.githubusercontent.com/u/40044?v=3","gravatar_id":"","url":"https://api.github.com/users/benlaurie","html_url":"https://github.com/benlaurie","followers_url":"https://api.github.com/users/benlaurie/followers","following_url":"https://api.github.com/users/benlaurie/following{/other_user}","gists_url":"https://api.github.com/users/benlaurie/gists{/gist_id}","starred_url":"https://api.github.com/users/benlaurie/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/benlaurie/subscriptions","organizations_url":"https://api.github.com/users/benlaurie/orgs","repos_url":"https://api.github.com/users/benlaurie/repos","events_url":"https://api.github.com/users/benlaurie/events{/privacy}","received_events_url":"https://api.github.com/users/benlaurie/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":10,"created_at":"2016-12-26T11:40:25Z","updated_at":"2017-01-05T19:57:49Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/openssl/openssl/pulls/2148","html_url":"https://github.com/openssl/openssl/pull/2148","diff_url":"https://github.com/openssl/openssl/pull/2148.diff","patch_url":"https://github.com/openssl/openssl/pull/2148.patch"},"body":"Use Galois' SAW tool to prove correctness of OpenSSL's AES implementation."},"comment":{"url":"https://api.github.com/repos/openssl/openssl/issues/comments/270741578","html_url":"https://github.com/openssl/openssl/pull/2148#issuecomment-270741578","issue_url":"https://api.github.com/repos/openssl/openssl/issues/2148","id":270741578,"user":{"login":"levitte","id":698918,"avatar_url":"https://avatars.githubusercontent.com/u/698918?v=3","gravatar_id":"","url":"https://api.github.com/users/levitte","html_url":"https://github.com/levitte","followers_url":"https://api.github.com/users/levitte/followers","following_url":"https://api.github.com/users/levitte/following{/other_user}","gists_url":"https://api.github.com/users/levitte/gists{/gist_id}","starred_url":"https://api.github.com/users/levitte/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/levitte/subscriptions","organizations_url":"https://api.github.com/users/levitte/orgs","repos_url":"https://api.github.com/users/levitte/repos","events_url":"https://api.github.com/users/levitte/events{/privacy}","received_events_url":"https://api.github.com/users/levitte/received_events","type":"User","site_admin":false},"created_at":"2017-01-05T19:57:49Z","updated_at":"2017-01-05T19:57:49Z","body":"I can look into the cflags / ldflags thing. It's not going to be easy, but should be doable. "}}
{"actor":{"display_login":"levitte"}}