{"action":"created","issue":{"url":"https://api.github.com/repos/mchalupa/dg/issues/92","repository_url":"https://api.github.com/repos/mchalupa/dg","labels_url":"https://api.github.com/repos/mchalupa/dg/issues/92/labels{/name}","comments_url":"https://api.github.com/repos/mchalupa/dg/issues/92/comments","events_url":"https://api.github.com/repos/mchalupa/dg/issues/92/events","html_url":"https://github.com/mchalupa/dg/issues/92","id":153715410,"number":92,"title":"old analyses bug","user":{"login":"mchalupa","id":2385056,"avatar_url":"https://avatars.githubusercontent.com/u/2385056?v=3","gravatar_id":"","url":"https://api.github.com/users/mchalupa","html_url":"https://github.com/mchalupa","followers_url":"https://api.github.com/users/mchalupa/followers","following_url":"https://api.github.com/users/mchalupa/following{/other_user}","gists_url":"https://api.github.com/users/mchalupa/gists{/gist_id}","starred_url":"https://api.github.com/users/mchalupa/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mchalupa/subscriptions","organizations_url":"https://api.github.com/users/mchalupa/orgs","repos_url":"https://api.github.com/users/mchalupa/repos","events_url":"https://api.github.com/users/mchalupa/events{/privacy}","received_events_url":"https://api.github.com/users/mchalupa/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/mchalupa/dg/labels/bug","name":"bug","color":"fc2929"}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-05-09T07:08:49Z","updated_at":"2016-08-20T16:21:20Z","closed_at":"2016-08-20T16:21:20Z","body":"This file from SV-COMP is answered incorrectly with old analyses ex3_forlist.c_true-unreach-call.i"},"comment":{"url":"https://api.github.com/repos/mchalupa/dg/issues/comments/241209109","html_url":"https://github.com/mchalupa/dg/issues/92#issuecomment-241209109","issue_url":"https://api.github.com/repos/mchalupa/dg/issues/92","id":241209109,"user":{"login":"mchalupa","id":2385056,"avatar_url":"https://avatars.githubusercontent.com/u/2385056?v=3","gravatar_id":"","url":"https://api.github.com/users/mchalupa","html_url":"https://github.com/mchalupa","followers_url":"https://api.github.com/users/mchalupa/followers","following_url":"https://api.github.com/users/mchalupa/following{/other_user}","gists_url":"https://api.github.com/users/mchalupa/gists{/gist_id}","starred_url":"https://api.github.com/users/mchalupa/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mchalupa/subscriptions","organizations_url":"https://api.github.com/users/mchalupa/orgs","repos_url":"https://api.github.com/users/mchalupa/repos","events_url":"https://api.github.com/users/mchalupa/events{/privacy}","received_events_url":"https://api.github.com/users/mchalupa/received_events","type":"User","site_admin":false},"created_at":"2016-08-20T16:21:20Z","updated_at":"2016-08-20T16:21:20Z","body":"We won't support the old analyses anymore in the future, closing this bug"}}
{"actor":{"display_login":"mchalupa"}}