{"action":"created","issue":{"url":"https://api.github.com/repos/Homebrew/homebrew/issues/47266","labels_url":"https://api.github.com/repos/Homebrew/homebrew/issues/47266/labels{/name}","comments_url":"https://api.github.com/repos/Homebrew/homebrew/issues/47266/comments","events_url":"https://api.github.com/repos/Homebrew/homebrew/issues/47266/events","html_url":"https://github.com/Homebrew/homebrew/issues/47266","id":123547365,"number":47266,"title":"cryptol-2.2.4 fails to build","user":{"login":"mietek","id":166207,"avatar_url":"https://avatars.githubusercontent.com/u/166207?v=3","gravatar_id":"","url":"https://api.github.com/users/mietek","html_url":"https://github.com/mietek","followers_url":"https://api.github.com/users/mietek/followers","following_url":"https://api.github.com/users/mietek/following{/other_user}","gists_url":"https://api.github.com/users/mietek/gists{/gist_id}","starred_url":"https://api.github.com/users/mietek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mietek/subscriptions","organizations_url":"https://api.github.com/users/mietek/orgs","repos_url":"https://api.github.com/users/mietek/repos","events_url":"https://api.github.com/users/mietek/events{/privacy}","received_events_url":"https://api.github.com/users/mietek/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-12-22T20:05:53Z","updated_at":"2015-12-23T19:23:37Z","closed_at":null,"body":"This is an upstream issue. (https://github.com/GaloisInc/cryptol/issues/275)\r\n```\r\nsrc/Cryptol/Symbolic/Value.hs:85:9:\r\n    Not in scope: ‘svReduceInPathCondition’\r\n\r\nsrc/Cryptol/Symbolic/Value.hs:104:40:\r\n    Not in scope: ‘svKind’\r\n    Perhaps you meant ‘svAnd’ (imported from Data.SBV.Dynamic)\r\n```\r\n\r\nThe 2.2.5 release fails to build, as well. (https://github.com/GaloisInc/cryptol/issues/292)\r\n```\r\nsrc/Cryptol/Symbolic.hs:115:37:\r\n    Not in scope: ‘SBV.allSatWithAny’\r\n    Perhaps you meant ‘SBV.satWithAny’ (imported from Data.SBV.Dynamic)\r\n```\r\n\r\nhttps://github.com/GaloisInc/cryptol/commit/1ffc086ed4b660919f7ef8113bfb48f9319fe908 builds, but doesn’t pass the tests. (https://github.com/GaloisInc/cryptol/issues/293)\r\n```\r\nTesting cryptol\r\n==> Using the sandbox\r\n==> /usr/local/Cellar/cryptol/2.2.5-1ffc086/bin/cryptol -b /private/tmp/cryptol20151222-62629-f13xkg/hello.icry\r\ncryptol: user error (Missing response from solver)\r\nError: cryptol: failed\r\n<0> expected but was\r\n<1>.\r\n```"},"comment":{"url":"https://api.github.com/repos/Homebrew/homebrew/issues/comments/166975063","html_url":"https://github.com/Homebrew/homebrew/issues/47266#issuecomment-166975063","issue_url":"https://api.github.com/repos/Homebrew/homebrew/issues/47266","id":166975063,"user":{"login":"acfoltzer","id":205266,"avatar_url":"https://avatars.githubusercontent.com/u/205266?v=3","gravatar_id":"","url":"https://api.github.com/users/acfoltzer","html_url":"https://github.com/acfoltzer","followers_url":"https://api.github.com/users/acfoltzer/followers","following_url":"https://api.github.com/users/acfoltzer/following{/other_user}","gists_url":"https://api.github.com/users/acfoltzer/gists{/gist_id}","starred_url":"https://api.github.com/users/acfoltzer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/acfoltzer/subscriptions","organizations_url":"https://api.github.com/users/acfoltzer/orgs","repos_url":"https://api.github.com/users/acfoltzer/repos","events_url":"https://api.github.com/users/acfoltzer/events{/privacy}","received_events_url":"https://api.github.com/users/acfoltzer/received_events","type":"User","site_admin":false},"created_at":"2015-12-23T19:23:37Z","updated_at":"2015-12-23T19:23:37Z","body":"This is actually a separate issue from the `cvc4` problem, but since the `cvc4` problem is still outstanding, we can't get a Cryptol release past the buildbots. As a contingency, I'm working on switching over to Z3 for the default solver, which I recently had promoted to Homebrew."}}