{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/solidity-semantics/issues/14","repository_url":"https://api.github.com/repos/kframework/solidity-semantics","labels_url":"https://api.github.com/repos/kframework/solidity-semantics/issues/14/labels{/name}","comments_url":"https://api.github.com/repos/kframework/solidity-semantics/issues/14/comments","events_url":"https://api.github.com/repos/kframework/solidity-semantics/issues/14/events","html_url":"https://github.com/kframework/solidity-semantics/pull/14","id":345103209,"node_id":"MDExOlB1bGxSZXF1ZXN0MjA0MzM4NjA3","number":14,"title":"New feature k3.6","user":{"login":"JIAOJIAO1991","id":36404019,"node_id":"MDQ6VXNlcjM2NDA0MDE5","avatar_url":"https://avatars3.githubusercontent.com/u/36404019?v=4","gravatar_id":"","url":"https://api.github.com/users/JIAOJIAO1991","html_url":"https://github.com/JIAOJIAO1991","followers_url":"https://api.github.com/users/JIAOJIAO1991/followers","following_url":"https://api.github.com/users/JIAOJIAO1991/following{/other_user}","gists_url":"https://api.github.com/users/JIAOJIAO1991/gists{/gist_id}","starred_url":"https://api.github.com/users/JIAOJIAO1991/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JIAOJIAO1991/subscriptions","organizations_url":"https://api.github.com/users/JIAOJIAO1991/orgs","repos_url":"https://api.github.com/users/JIAOJIAO1991/repos","events_url":"https://api.github.com/users/JIAOJIAO1991/events{/privacy}","received_events_url":"https://api.github.com/users/JIAOJIAO1991/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-07-27T06:14:07Z","updated_at":"2018-07-29T09:02:51Z","closed_at":null,"author_association":"COLLABORATOR","pull_request":{"url":"https://api.github.com/repos/kframework/solidity-semantics/pulls/14","html_url":"https://github.com/kframework/solidity-semantics/pull/14","diff_url":"https://github.com/kframework/solidity-semantics/pull/14.diff","patch_url":"https://github.com/kframework/solidity-semantics/pull/14.patch"},"body":"Improve rules in K3.6. The passed Solidity Compiler tests are added."},"comment":{"url":"https://api.github.com/repos/kframework/solidity-semantics/issues/comments/408662546","html_url":"https://github.com/kframework/solidity-semantics/pull/14#issuecomment-408662546","issue_url":"https://api.github.com/repos/kframework/solidity-semantics/issues/14","id":408662546,"node_id":"MDEyOklzc3VlQ29tbWVudDQwODY2MjU0Ng==","user":{"login":"dfilaretti","id":4991435,"node_id":"MDQ6VXNlcjQ5OTE0MzU=","avatar_url":"https://avatars3.githubusercontent.com/u/4991435?v=4","gravatar_id":"","url":"https://api.github.com/users/dfilaretti","html_url":"https://github.com/dfilaretti","followers_url":"https://api.github.com/users/dfilaretti/followers","following_url":"https://api.github.com/users/dfilaretti/following{/other_user}","gists_url":"https://api.github.com/users/dfilaretti/gists{/gist_id}","starred_url":"https://api.github.com/users/dfilaretti/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dfilaretti/subscriptions","organizations_url":"https://api.github.com/users/dfilaretti/orgs","repos_url":"https://api.github.com/users/dfilaretti/repos","events_url":"https://api.github.com/users/dfilaretti/events{/privacy}","received_events_url":"https://api.github.com/users/dfilaretti/received_events","type":"User","site_admin":false},"created_at":"2018-07-29T09:02:51Z","updated_at":"2018-07-29T09:02:51Z","author_association":"COLLABORATOR","body":"As I mentioned elsewhere, please try to be more specific about the pull request description as well as with the commit comments. \"New feature\" is a bit too vague. What exactly are you doing in this pull request? Adding a new feature (which one)? Fixing a bug? Please update the description to make this more clear. "}}
{"actor":{"display_login":"dfilaretti"}}