{"action":"created","issue":{"url":"https://api.github.com/repos/overturetool/overture/issues/344","labels_url":"https://api.github.com/repos/overturetool/overture/issues/344/labels{/name}","comments_url":"https://api.github.com/repos/overturetool/overture/issues/344/comments","events_url":"https://api.github.com/repos/overturetool/overture/issues/344/events","html_url":"https://github.com/overturetool/overture/issues/344","id":38297566,"number":344,"title":"R/G Obligation Generator","user":{"login":"ldcouto","id":582801,"avatar_url":"https://avatars.githubusercontent.com/u/582801?v=3","gravatar_id":"","url":"https://api.github.com/users/ldcouto","html_url":"https://github.com/ldcouto","followers_url":"https://api.github.com/users/ldcouto/followers","following_url":"https://api.github.com/users/ldcouto/following{/other_user}","gists_url":"https://api.github.com/users/ldcouto/gists{/gist_id}","starred_url":"https://api.github.com/users/ldcouto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ldcouto/subscriptions","organizations_url":"https://api.github.com/users/ldcouto/orgs","repos_url":"https://api.github.com/users/ldcouto/repos","events_url":"https://api.github.com/users/ldcouto/events{/privacy}","received_events_url":"https://api.github.com/users/ldcouto/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/overturetool/overture/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/overturetool/overture/labels/in%20progress","name":"in progress","color":"ededed"}],"state":"closed","locked":false,"assignee":{"login":"ldcouto","id":582801,"avatar_url":"https://avatars.githubusercontent.com/u/582801?v=3","gravatar_id":"","url":"https://api.github.com/users/ldcouto","html_url":"https://github.com/ldcouto","followers_url":"https://api.github.com/users/ldcouto/followers","following_url":"https://api.github.com/users/ldcouto/following{/other_user}","gists_url":"https://api.github.com/users/ldcouto/gists{/gist_id}","starred_url":"https://api.github.com/users/ldcouto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ldcouto/subscriptions","organizations_url":"https://api.github.com/users/ldcouto/orgs","repos_url":"https://api.github.com/users/ldcouto/repos","events_url":"https://api.github.com/users/ldcouto/events{/privacy}","received_events_url":"https://api.github.com/users/ldcouto/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/overturetool/overture/milestones/26","html_url":"https://github.com/overturetool/overture/milestones/v2.3.2","labels_url":"https://api.github.com/repos/overturetool/overture/milestones/26/labels","id":1341669,"number":26,"title":"v2.3.2","description":"","creator":{"login":"afterkelsen","id":9878473,"avatar_url":"https://avatars.githubusercontent.com/u/9878473?v=3","gravatar_id":"","url":"https://api.github.com/users/afterkelsen","html_url":"https://github.com/afterkelsen","followers_url":"https://api.github.com/users/afterkelsen/followers","following_url":"https://api.github.com/users/afterkelsen/following{/other_user}","gists_url":"https://api.github.com/users/afterkelsen/gists{/gist_id}","starred_url":"https://api.github.com/users/afterkelsen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/afterkelsen/subscriptions","organizations_url":"https://api.github.com/users/afterkelsen/orgs","repos_url":"https://api.github.com/users/afterkelsen/repos","events_url":"https://api.github.com/users/afterkelsen/events{/privacy}","received_events_url":"https://api.github.com/users/afterkelsen/received_events","type":"User","site_admin":false},"open_issues":48,"closed_issues":4,"state":"open","created_at":"2015-10-07T00:31:18Z","updated_at":"2016-01-15T13:55:00Z","due_on":null,"closed_at":null},"comments":2,"created_at":"2014-07-21T12:18:56Z","updated_at":"2016-01-15T13:55:00Z","closed_at":"2016-01-15T13:55:00Z","body":"Add suport for R/G obligations to the POG.\r\n\r\nThis is a long project. We'll start with an initial (and very naive) generator and go from there.\r\n\r\n- [x] add rely and guar nodes to AST\r\n- [x] add Parser and TC support for new nodes\r\n- [ ] refactor pog to support for multiple generation rules\r\n- [ ] implement initial, naive collection of R/G obligations"},"comment":{"url":"https://api.github.com/repos/overturetool/overture/issues/comments/171966855","html_url":"https://github.com/overturetool/overture/issues/344#issuecomment-171966855","issue_url":"https://api.github.com/repos/overturetool/overture/issues/344","id":171966855,"user":{"login":"peterwvj","id":5388919,"avatar_url":"https://avatars.githubusercontent.com/u/5388919?v=3","gravatar_id":"","url":"https://api.github.com/users/peterwvj","html_url":"https://github.com/peterwvj","followers_url":"https://api.github.com/users/peterwvj/followers","following_url":"https://api.github.com/users/peterwvj/following{/other_user}","gists_url":"https://api.github.com/users/peterwvj/gists{/gist_id}","starred_url":"https://api.github.com/users/peterwvj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/peterwvj/subscriptions","organizations_url":"https://api.github.com/users/peterwvj/orgs","repos_url":"https://api.github.com/users/peterwvj/repos","events_url":"https://api.github.com/users/peterwvj/events{/privacy}","received_events_url":"https://api.github.com/users/peterwvj/received_events","type":"User","site_admin":false},"created_at":"2016-01-15T13:55:00Z","updated_at":"2016-01-15T13:55:00Z","body":"This won't be done"}}