{"action":"closed","issue":{"url":"https://api.github.com/repos/phanrahan/magma/issues/253","repository_url":"https://api.github.com/repos/phanrahan/magma","labels_url":"https://api.github.com/repos/phanrahan/magma/issues/253/labels{/name}","comments_url":"https://api.github.com/repos/phanrahan/magma/issues/253/comments","events_url":"https://api.github.com/repos/phanrahan/magma/issues/253/events","html_url":"https://github.com/phanrahan/magma/issues/253","id":352798945,"node_id":"MDU6SXNzdWUzNTI3OTg5NDU=","number":253,"title":"old verilog compilation with CoreIR","user":{"login":"rdaly525","id":14632648,"node_id":"MDQ6VXNlcjE0NjMyNjQ4","avatar_url":"https://avatars3.githubusercontent.com/u/14632648?v=4","gravatar_id":"","url":"https://api.github.com/users/rdaly525","html_url":"https://github.com/rdaly525","followers_url":"https://api.github.com/users/rdaly525/followers","following_url":"https://api.github.com/users/rdaly525/following{/other_user}","gists_url":"https://api.github.com/users/rdaly525/gists{/gist_id}","starred_url":"https://api.github.com/users/rdaly525/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rdaly525/subscriptions","organizations_url":"https://api.github.com/users/rdaly525/orgs","repos_url":"https://api.github.com/users/rdaly525/repos","events_url":"https://api.github.com/users/rdaly525/events{/privacy}","received_events_url":"https://api.github.com/users/rdaly525/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-08-22T04:26:00Z","updated_at":"2018-08-22T04:40:38Z","closed_at":"2018-08-22T04:40:38Z","author_association":"COLLABORATOR","body":"This looks like old code to me. There is no concept anymore of a \"coreir_prims.v\" file to include. Is there a direct way to compile to verilog via coreir currently supported?\r\n\r\nhttps://github.com/phanrahan/magma/blob/089584cca2fcfeb30a0cbed630e917a7d6e9a7e0/magma/backend/verilog.py#L223 \r\n\r\n"}}
{"actor":{"display_login":"leonardt"}}