{"action":"created","issue":{"url":"https://api.github.com/repos/ethereum/solidity/issues/717","repository_url":"https://api.github.com/repos/ethereum/solidity","labels_url":"https://api.github.com/repos/ethereum/solidity/issues/717/labels{/name}","comments_url":"https://api.github.com/repos/ethereum/solidity/issues/717/comments","events_url":"https://api.github.com/repos/ethereum/solidity/issues/717/events","html_url":"https://github.com/ethereum/solidity/issues/717","id":165152550,"number":717,"title":"Formal spec of Solidity","user":{"login":"ethers","id":6937903,"avatar_url":"https://avatars.githubusercontent.com/u/6937903?v=3","gravatar_id":"","url":"https://api.github.com/users/ethers","html_url":"https://github.com/ethers","followers_url":"https://api.github.com/users/ethers/followers","following_url":"https://api.github.com/users/ethers/following{/other_user}","gists_url":"https://api.github.com/users/ethers/gists{/gist_id}","starred_url":"https://api.github.com/users/ethers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ethers/subscriptions","organizations_url":"https://api.github.com/users/ethers/orgs","repos_url":"https://api.github.com/users/ethers/repos","events_url":"https://api.github.com/users/ethers/events{/privacy}","received_events_url":"https://api.github.com/users/ethers/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2016-07-12T18:51:29Z","updated_at":"2016-07-27T16:48:57Z","closed_at":null,"body":"As the wider community engages, including researchers and academics, a formal spec of Solidity would help them.  Granted many developments are happening so the practical value of this may not be there, and this is a suggestion / reminder."},"comment":{"url":"https://api.github.com/repos/ethereum/solidity/issues/comments/235647349","html_url":"https://github.com/ethereum/solidity/issues/717#issuecomment-235647349","issue_url":"https://api.github.com/repos/ethereum/solidity/issues/717","id":235647349,"user":{"login":"axic","id":20340,"avatar_url":"https://avatars.githubusercontent.com/u/20340?v=3","gravatar_id":"","url":"https://api.github.com/users/axic","html_url":"https://github.com/axic","followers_url":"https://api.github.com/users/axic/followers","following_url":"https://api.github.com/users/axic/following{/other_user}","gists_url":"https://api.github.com/users/axic/gists{/gist_id}","starred_url":"https://api.github.com/users/axic/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/axic/subscriptions","organizations_url":"https://api.github.com/users/axic/orgs","repos_url":"https://api.github.com/users/axic/repos","events_url":"https://api.github.com/users/axic/events{/privacy}","received_events_url":"https://api.github.com/users/axic/received_events","type":"User","site_admin":false},"created_at":"2016-07-27T16:48:57Z","updated_at":"2016-07-27T16:48:57Z","body":"There is also a parser by @tcoulter  based on PEG.js: https://github.com/ConsenSys/solidity-parser\r\n\r\nIt has the definitions here: https://github.com/ConsenSys/solidity-parser/blob/master/solidity.pegjs"}}
{"actor":{"display_login":"axic"}}