{"action":"created","issue":{"url":"https://api.github.com/repos/runtimeverification/iele-semantics/issues/55","repository_url":"https://api.github.com/repos/runtimeverification/iele-semantics","labels_url":"https://api.github.com/repos/runtimeverification/iele-semantics/issues/55/labels{/name}","comments_url":"https://api.github.com/repos/runtimeverification/iele-semantics/issues/55/comments","events_url":"https://api.github.com/repos/runtimeverification/iele-semantics/issues/55/events","html_url":"https://github.com/runtimeverification/iele-semantics/pull/55","id":283316343,"number":55,"title":"Changes to make kast work","user":{"login":"traiansf","id":2890067,"avatar_url":"https://avatars0.githubusercontent.com/u/2890067?v=4","gravatar_id":"","url":"https://api.github.com/users/traiansf","html_url":"https://github.com/traiansf","followers_url":"https://api.github.com/users/traiansf/followers","following_url":"https://api.github.com/users/traiansf/following{/other_user}","gists_url":"https://api.github.com/users/traiansf/gists{/gist_id}","starred_url":"https://api.github.com/users/traiansf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/traiansf/subscriptions","organizations_url":"https://api.github.com/users/traiansf/orgs","repos_url":"https://api.github.com/users/traiansf/repos","events_url":"https://api.github.com/users/traiansf/events{/privacy}","received_events_url":"https://api.github.com/users/traiansf/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2017-12-19T17:49:09Z","updated_at":"2017-12-20T19:14:54Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/runtimeverification/iele-semantics/pulls/55","html_url":"https://github.com/runtimeverification/iele-semantics/pull/55","diff_url":"https://github.com/runtimeverification/iele-semantics/pull/55.diff","patch_url":"https://github.com/runtimeverification/iele-semantics/pull/55.patch"},"body":"This should be enough to make kast work.\r\n\r\napaprently `kast` is looking for a `<MODULE>-PROGRAM-PARSING` and if it does not find one, it generates one including `ID-PROGRAM-PARSING` syntax which contains some token rules with higher precedence than ours.  That is why the `IeleName`s ended up being parsed as `Id`s and `kast` reported an error. "},"comment":{"url":"https://api.github.com/repos/runtimeverification/iele-semantics/issues/comments/353156270","html_url":"https://github.com/runtimeverification/iele-semantics/pull/55#issuecomment-353156270","issue_url":"https://api.github.com/repos/runtimeverification/iele-semantics/issues/55","id":353156270,"user":{"login":"dwightguth","id":5104541,"avatar_url":"https://avatars0.githubusercontent.com/u/5104541?v=4","gravatar_id":"","url":"https://api.github.com/users/dwightguth","html_url":"https://github.com/dwightguth","followers_url":"https://api.github.com/users/dwightguth/followers","following_url":"https://api.github.com/users/dwightguth/following{/other_user}","gists_url":"https://api.github.com/users/dwightguth/gists{/gist_id}","starred_url":"https://api.github.com/users/dwightguth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dwightguth/subscriptions","organizations_url":"https://api.github.com/users/dwightguth/orgs","repos_url":"https://api.github.com/users/dwightguth/repos","events_url":"https://api.github.com/users/dwightguth/events{/privacy}","received_events_url":"https://api.github.com/users/dwightguth/received_events","type":"User","site_admin":false},"created_at":"2017-12-20T19:14:54Z","updated_at":"2017-12-20T19:14:54Z","author_association":"OWNER","body":"Merge this tomorrow"}}
{"actor":{"display_login":"dwightguth"}}