{"action":"opened","issue":{"url":"https://api.github.com/repos/jayhorn/jayhorn/issues/49","repository_url":"https://api.github.com/repos/jayhorn/jayhorn","labels_url":"https://api.github.com/repos/jayhorn/jayhorn/issues/49/labels{/name}","comments_url":"https://api.github.com/repos/jayhorn/jayhorn/issues/49/comments","events_url":"https://api.github.com/repos/jayhorn/jayhorn/issues/49/events","html_url":"https://github.com/jayhorn/jayhorn/issues/49","id":175395138,"number":49,"title":"Increase precision of memory model","user":{"login":"rodykersten","id":6430879,"avatar_url":"https://avatars.githubusercontent.com/u/6430879?v=3","gravatar_id":"","url":"https://api.github.com/users/rodykersten","html_url":"https://github.com/rodykersten","followers_url":"https://api.github.com/users/rodykersten/followers","following_url":"https://api.github.com/users/rodykersten/following{/other_user}","gists_url":"https://api.github.com/users/rodykersten/gists{/gist_id}","starred_url":"https://api.github.com/users/rodykersten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rodykersten/subscriptions","organizations_url":"https://api.github.com/users/rodykersten/orgs","repos_url":"https://api.github.com/users/rodykersten/repos","events_url":"https://api.github.com/users/rodykersten/events{/privacy}","received_events_url":"https://api.github.com/users/rodykersten/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/jayhorn/jayhorn/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"open","locked":false,"assignee":{"login":"rodykersten","id":6430879,"avatar_url":"https://avatars.githubusercontent.com/u/6430879?v=3","gravatar_id":"","url":"https://api.github.com/users/rodykersten","html_url":"https://github.com/rodykersten","followers_url":"https://api.github.com/users/rodykersten/followers","following_url":"https://api.github.com/users/rodykersten/following{/other_user}","gists_url":"https://api.github.com/users/rodykersten/gists{/gist_id}","starred_url":"https://api.github.com/users/rodykersten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rodykersten/subscriptions","organizations_url":"https://api.github.com/users/rodykersten/orgs","repos_url":"https://api.github.com/users/rodykersten/repos","events_url":"https://api.github.com/users/rodykersten/events{/privacy}","received_events_url":"https://api.github.com/users/rodykersten/received_events","type":"User","site_admin":false},"assignees":[{"login":"rodykersten","id":6430879,"avatar_url":"https://avatars.githubusercontent.com/u/6430879?v=3","gravatar_id":"","url":"https://api.github.com/users/rodykersten","html_url":"https://github.com/rodykersten","followers_url":"https://api.github.com/users/rodykersten/followers","following_url":"https://api.github.com/users/rodykersten/following{/other_user}","gists_url":"https://api.github.com/users/rodykersten/gists{/gist_id}","starred_url":"https://api.github.com/users/rodykersten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rodykersten/subscriptions","organizations_url":"https://api.github.com/users/rodykersten/orgs","repos_url":"https://api.github.com/users/rodykersten/repos","events_url":"https://api.github.com/users/rodykersten/events{/privacy}","received_events_url":"https://api.github.com/users/rodykersten/received_events","type":"User","site_admin":false}],"milestone":null,"comments":0,"created_at":"2016-09-07T01:59:57Z","updated_at":"2016-09-07T01:59:57Z","closed_at":null,"body":"Adding the 'lastpush' field (w/ mem-precision branch) does not seem to make a difference for the examples in horn-encoding/mem-precision. Find out why and fix."}}
{"actor":{"display_login":"rodykersten"}}