{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/112","repository_url":"https://api.github.com/repos/kframework/k","labels_url":"https://api.github.com/repos/kframework/k/issues/112/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/112/comments","events_url":"https://api.github.com/repos/kframework/k/issues/112/events","html_url":"https://github.com/kframework/k/pull/112","id":338261736,"node_id":"MDExOlB1bGxSZXF1ZXN0MTk5MjM4NjUz","number":112,"title":"Semantic Variable information and Close log","user":{"login":"mhhf","id":446478,"node_id":"MDQ6VXNlcjQ0NjQ3OA==","avatar_url":"https://avatars0.githubusercontent.com/u/446478?v=4","gravatar_id":"","url":"https://api.github.com/users/mhhf","html_url":"https://github.com/mhhf","followers_url":"https://api.github.com/users/mhhf/followers","following_url":"https://api.github.com/users/mhhf/following{/other_user}","gists_url":"https://api.github.com/users/mhhf/gists{/gist_id}","starred_url":"https://api.github.com/users/mhhf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mhhf/subscriptions","organizations_url":"https://api.github.com/users/mhhf/orgs","repos_url":"https://api.github.com/users/mhhf/repos","events_url":"https://api.github.com/users/mhhf/events{/privacy}","received_events_url":"https://api.github.com/users/mhhf/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-07-04T12:44:50Z","updated_at":"2018-07-04T12:49:56Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/kframework/k/pulls/112","html_url":"https://github.com/kframework/k/pull/112","diff_url":"https://github.com/kframework/k/pull/112.diff","patch_url":"https://github.com/kframework/k/pull/112.patch"},"body":"Those are the changes we need to run klab, besides #108"},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/402469636","html_url":"https://github.com/kframework/k/pull/112#issuecomment-402469636","issue_url":"https://api.github.com/repos/kframework/k/issues/112","id":402469636,"node_id":"MDEyOklzc3VlQ29tbWVudDQwMjQ2OTYzNg==","user":{"login":"mhhf","id":446478,"node_id":"MDQ6VXNlcjQ0NjQ3OA==","avatar_url":"https://avatars0.githubusercontent.com/u/446478?v=4","gravatar_id":"","url":"https://api.github.com/users/mhhf","html_url":"https://github.com/mhhf","followers_url":"https://api.github.com/users/mhhf/followers","following_url":"https://api.github.com/users/mhhf/following{/other_user}","gists_url":"https://api.github.com/users/mhhf/gists{/gist_id}","starred_url":"https://api.github.com/users/mhhf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mhhf/subscriptions","organizations_url":"https://api.github.com/users/mhhf/orgs","repos_url":"https://api.github.com/users/mhhf/repos","events_url":"https://api.github.com/users/mhhf/events{/privacy}","received_events_url":"https://api.github.com/users/mhhf/received_events","type":"User","site_admin":false},"created_at":"2018-07-04T12:49:56Z","updated_at":"2018-07-04T12:49:56Z","author_association":"NONE","body":"Changing the toString() output of variables might not be the right solution here, but in order to show the user semantic information (original variable name) during debugging, this or another way is needed to support this. Also it would be great if the z3 output would be over original variables as well, which would make debugging z3 queries more easier."}}
{"actor":{"display_login":"mhhf"}}