{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/evm-semantics/issues/257","repository_url":"https://api.github.com/repos/kframework/evm-semantics","labels_url":"https://api.github.com/repos/kframework/evm-semantics/issues/257/labels{/name}","comments_url":"https://api.github.com/repos/kframework/evm-semantics/issues/257/comments","events_url":"https://api.github.com/repos/kframework/evm-semantics/issues/257/events","html_url":"https://github.com/kframework/evm-semantics/pull/257","id":362282748,"node_id":"MDExOlB1bGxSZXF1ZXN0MjE3MDQ2MDkw","number":257,"title":"data: fixes for llvm backend","user":{"login":"dwightguth","id":5104541,"node_id":"MDQ6VXNlcjUxMDQ1NDE=","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},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2018-09-20T17:13:38Z","updated_at":"2018-09-20T23:08:44Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/kframework/evm-semantics/pulls/257","html_url":"https://github.com/kframework/evm-semantics/pull/257","diff_url":"https://github.com/kframework/evm-semantics/pull/257.diff","patch_url":"https://github.com/kframework/evm-semantics/pull/257.patch"},"body":"Removes some unnecessary imports, removes the `function` attribute from some macros, and makes a couple klabels shorter to comply with linux filesystem restrictions for the llvm backend."},"comment":{"url":"https://api.github.com/repos/kframework/evm-semantics/issues/comments/423362876","html_url":"https://github.com/kframework/evm-semantics/pull/257#issuecomment-423362876","issue_url":"https://api.github.com/repos/kframework/evm-semantics/issues/257","id":423362876,"node_id":"MDEyOklzc3VlQ29tbWVudDQyMzM2Mjg3Ng==","user":{"login":"daejunpark","id":5491770,"node_id":"MDQ6VXNlcjU0OTE3NzA=","avatar_url":"https://avatars0.githubusercontent.com/u/5491770?v=4","gravatar_id":"","url":"https://api.github.com/users/daejunpark","html_url":"https://github.com/daejunpark","followers_url":"https://api.github.com/users/daejunpark/followers","following_url":"https://api.github.com/users/daejunpark/following{/other_user}","gists_url":"https://api.github.com/users/daejunpark/gists{/gist_id}","starred_url":"https://api.github.com/users/daejunpark/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/daejunpark/subscriptions","organizations_url":"https://api.github.com/users/daejunpark/orgs","repos_url":"https://api.github.com/users/daejunpark/repos","events_url":"https://api.github.com/users/daejunpark/events{/privacy}","received_events_url":"https://api.github.com/users/daejunpark/received_events","type":"User","site_admin":false},"created_at":"2018-09-20T23:08:44Z","updated_at":"2018-09-20T23:08:44Z","author_association":"COLLABORATOR","body":"Not sure why the performance is affected by this.\r\n\r\nIndeed, not sure if it is safe to remove `[function]` attributes for the `pow*` family.\r\n\r\nWill the macro expansion be applied to the *-spec.k file (as well as the verification lemma file) when it is loaded by the kprover?"}}
{"actor":{"display_login":"daejunpark"}}