{"action":"created","issue":{"url":"https://api.github.com/repos/septract/starling-tool/issues/57","repository_url":"https://api.github.com/repos/septract/starling-tool","labels_url":"https://api.github.com/repos/septract/starling-tool/issues/57/labels{/name}","comments_url":"https://api.github.com/repos/septract/starling-tool/issues/57/comments","events_url":"https://api.github.com/repos/septract/starling-tool/issues/57/events","html_url":"https://github.com/septract/starling-tool/pull/57","id":170123755,"number":57,"title":"Re-order frame insertion","user":{"login":"BenSimner","id":5352715,"avatar_url":"https://avatars.githubusercontent.com/u/5352715?v=3","gravatar_id":"","url":"https://api.github.com/users/BenSimner","html_url":"https://github.com/BenSimner","followers_url":"https://api.github.com/users/BenSimner/followers","following_url":"https://api.github.com/users/BenSimner/following{/other_user}","gists_url":"https://api.github.com/users/BenSimner/gists{/gist_id}","starred_url":"https://api.github.com/users/BenSimner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/BenSimner/subscriptions","organizations_url":"https://api.github.com/users/BenSimner/orgs","repos_url":"https://api.github.com/users/BenSimner/repos","events_url":"https://api.github.com/users/BenSimner/events{/privacy}","received_events_url":"https://api.github.com/users/BenSimner/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2016-08-09T09:40:57Z","updated_at":"2016-08-09T10:10:31Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/septract/starling-tool/pulls/57","html_url":"https://github.com/septract/starling-tool/pull/57","diff_url":"https://github.com/septract/starling-tool/pull/57.diff","patch_url":"https://github.com/septract/starling-tool/pull/57.patch"},"body":"Swaps instantiation and frame generation steps to try generate less clauses.\r\n\r\nA better solution would be to drop the frame entirely, but at the moment the command representation is needed and it must be done at termGen stage. It'd be useful to push the command further down, but that is not implemented yet and this works well enough."},"comment":{"url":"https://api.github.com/repos/septract/starling-tool/issues/comments/238511001","html_url":"https://github.com/septract/starling-tool/pull/57#issuecomment-238511001","issue_url":"https://api.github.com/repos/septract/starling-tool/issues/57","id":238511001,"user":{"login":"septract","id":220662,"avatar_url":"https://avatars.githubusercontent.com/u/220662?v=3","gravatar_id":"","url":"https://api.github.com/users/septract","html_url":"https://github.com/septract","followers_url":"https://api.github.com/users/septract/followers","following_url":"https://api.github.com/users/septract/following{/other_user}","gists_url":"https://api.github.com/users/septract/gists{/gist_id}","starred_url":"https://api.github.com/users/septract/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/septract/subscriptions","organizations_url":"https://api.github.com/users/septract/orgs","repos_url":"https://api.github.com/users/septract/repos","events_url":"https://api.github.com/users/septract/events{/privacy}","received_events_url":"https://api.github.com/users/septract/received_events","type":"User","site_admin":false},"created_at":"2016-08-09T10:10:31Z","updated_at":"2016-08-09T10:10:31Z","body":"Fewer fails with `-O no-all`: \r\n```\r\n11c11\r\n< ./Examples/Pass/petersonMultiCmd.cvf: \r\n---\r\n> ./Examples/Pass/petersonMultiCmd.cvf: lockA_C002_009 lockA_C002_025 lockB_C002_010 lockB_C002_025\r\n16c16\r\n< ./Examples/Pass/spinLockMultiCmd.cvf: \r\n---\r\n> ./Examples/Pass/spinLockMultiCmd.cvf: lock_C000_002\r\n```"}}
{"actor":{"display_login":"septract"}}