{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/kore/issues/167","repository_url":"https://api.github.com/repos/kframework/kore","labels_url":"https://api.github.com/repos/kframework/kore/issues/167/labels{/name}","comments_url":"https://api.github.com/repos/kframework/kore/issues/167/comments","events_url":"https://api.github.com/repos/kframework/kore/issues/167/events","html_url":"https://github.com/kframework/kore/issues/167","id":346137956,"node_id":"MDU6SXNzdWUzNDYxMzc5NTY=","number":167,"title":"Exponential behavior when parsing shared term","user":{"login":"radumereuta","id":5113255,"node_id":"MDQ6VXNlcjUxMTMyNTU=","avatar_url":"https://avatars1.githubusercontent.com/u/5113255?v=4","gravatar_id":"","url":"https://api.github.com/users/radumereuta","html_url":"https://github.com/radumereuta","followers_url":"https://api.github.com/users/radumereuta/followers","following_url":"https://api.github.com/users/radumereuta/following{/other_user}","gists_url":"https://api.github.com/users/radumereuta/gists{/gist_id}","starred_url":"https://api.github.com/users/radumereuta/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/radumereuta/subscriptions","organizations_url":"https://api.github.com/users/radumereuta/orgs","repos_url":"https://api.github.com/users/radumereuta/repos","events_url":"https://api.github.com/users/radumereuta/events{/privacy}","received_events_url":"https://api.github.com/users/radumereuta/received_events","type":"User","site_admin":false},"labels":[{"id":515796229,"node_id":"MDU6TGFiZWw1MTU3OTYyMjk=","url":"https://api.github.com/repos/kframework/kore/labels/bug","name":"bug","color":"ee0701","default":true}],"state":"open","locked":false,"assignee":{"login":"dfilaretti","id":4991435,"node_id":"MDQ6VXNlcjQ5OTE0MzU=","avatar_url":"https://avatars3.githubusercontent.com/u/4991435?v=4","gravatar_id":"","url":"https://api.github.com/users/dfilaretti","html_url":"https://github.com/dfilaretti","followers_url":"https://api.github.com/users/dfilaretti/followers","following_url":"https://api.github.com/users/dfilaretti/following{/other_user}","gists_url":"https://api.github.com/users/dfilaretti/gists{/gist_id}","starred_url":"https://api.github.com/users/dfilaretti/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dfilaretti/subscriptions","organizations_url":"https://api.github.com/users/dfilaretti/orgs","repos_url":"https://api.github.com/users/dfilaretti/repos","events_url":"https://api.github.com/users/dfilaretti/events{/privacy}","received_events_url":"https://api.github.com/users/dfilaretti/received_events","type":"User","site_admin":false},"assignees":[{"login":"dfilaretti","id":4991435,"node_id":"MDQ6VXNlcjQ5OTE0MzU=","avatar_url":"https://avatars3.githubusercontent.com/u/4991435?v=4","gravatar_id":"","url":"https://api.github.com/users/dfilaretti","html_url":"https://github.com/dfilaretti","followers_url":"https://api.github.com/users/dfilaretti/followers","following_url":"https://api.github.com/users/dfilaretti/following{/other_user}","gists_url":"https://api.github.com/users/dfilaretti/gists{/gist_id}","starred_url":"https://api.github.com/users/dfilaretti/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dfilaretti/subscriptions","organizations_url":"https://api.github.com/users/dfilaretti/orgs","repos_url":"https://api.github.com/users/dfilaretti/repos","events_url":"https://api.github.com/users/dfilaretti/events{/privacy}","received_events_url":"https://api.github.com/users/dfilaretti/received_events","type":"User","site_admin":false}],"milestone":null,"comments":8,"created_at":"2018-07-31T11:00:34Z","updated_at":"2018-07-31T18:38:10Z","closed_at":null,"author_association":"MEMBER","body":"I have this kore file: https://github.com/radumereuta/k-light/blob/evenLighter/src/test/k/unparametric_examples/imp/imp-rules.kore.info (about 300kB - the result of parsing IMP rules, with lots of sharing in them).\r\nSometime between June 6 and July 7 there has been a change which makes kore-parser take a HUGE amount of time to run (stopped it after 10 minutes)."},"comment":{"url":"https://api.github.com/repos/kframework/kore/issues/comments/409324849","html_url":"https://github.com/kframework/kore/issues/167#issuecomment-409324849","issue_url":"https://api.github.com/repos/kframework/kore/issues/167","id":409324849,"node_id":"MDEyOklzc3VlQ29tbWVudDQwOTMyNDg0OQ==","user":{"login":"virgil-serbanuta","id":25692529,"node_id":"MDQ6VXNlcjI1NjkyNTI5","avatar_url":"https://avatars1.githubusercontent.com/u/25692529?v=4","gravatar_id":"","url":"https://api.github.com/users/virgil-serbanuta","html_url":"https://github.com/virgil-serbanuta","followers_url":"https://api.github.com/users/virgil-serbanuta/followers","following_url":"https://api.github.com/users/virgil-serbanuta/following{/other_user}","gists_url":"https://api.github.com/users/virgil-serbanuta/gists{/gist_id}","starred_url":"https://api.github.com/users/virgil-serbanuta/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/virgil-serbanuta/subscriptions","organizations_url":"https://api.github.com/users/virgil-serbanuta/orgs","repos_url":"https://api.github.com/users/virgil-serbanuta/repos","events_url":"https://api.github.com/users/virgil-serbanuta/events{/privacy}","received_events_url":"https://api.github.com/users/virgil-serbanuta/received_events","type":"User","site_admin":false},"created_at":"2018-07-31T18:38:10Z","updated_at":"2018-07-31T18:38:10Z","author_association":"COLLABORATOR","body":"We should have a performance test that runs the kore-parser tool on several inputs..."}}
{"actor":{"display_login":"virgil-serbanuta"}}