{"name":"alive2","full_name":"alive2","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Automatic verification of LLVM optimizations","license":"MIT","homepage":"https://github.com/AliveToolkit/alive2","versions":{"stable":"21.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/AliveToolkit/alive2.git","tag":"v21.0","revision":"913e1556032ee70a9ebf147b5a0c7e10086b7490","using":null,"checksum":null},"head":{"url":"https://github.com/AliveToolkit/alive2.git","branch":"master","using":null}},"patches":[{"strip":"p1","url":"https://github.com/AliveToolkit/alive2/commit/a86aaa0ea44c5671ce3e998ec6d422feaa95b236.patch?full_index=1","sha256":"6645b59d29e7a4bbe45e91f57391cf9d4e5dbc27ba99a93c89ad13b14d57a7c4"}],"revision":3,"version_scheme":0,"compatibility_version":null,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:445d01ba24440ac9071dde675e08196bab08171e8866de24e30301ff44a37619","sha256":"445d01ba24440ac9071dde675e08196bab08171e8866de24e30301ff44a37619"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:a3d8dedf0d6563fdcf8f971af326e8ac14460d2f4d58835c33c010272bac9c3e","sha256":"a3d8dedf0d6563fdcf8f971af326e8ac14460d2f4d58835c33c010272bac9c3e"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:cdf7d503fb59cdae4e53e46f74330394ba297f229f4206f1a3fdafd27ce88aac","sha256":"cdf7d503fb59cdae4e53e46f74330394ba297f229f4206f1a3fdafd27ce88aac"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:71b7200bc1eee6108cc190825afcf9de7e40ecd2382184524ace1b4fe24cab1c","sha256":"71b7200bc1eee6108cc190825afcf9de7e40ecd2382184524ace1b4fe24cab1c"},"arm64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:e9f00c07416b06bca256a92e9b0d43f37cef9a68a938bc8aeaee347e01a1ceb9","sha256":"e9f00c07416b06bca256a92e9b0d43f37cef9a68a938bc8aeaee347e01a1ceb9"},"x86_64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:a6fca00321fa9f45065dd29cd0a1bfe14ce220121fd887a0dc5f171e3f8ad9e6","sha256":"a6fca00321fa9f45065dd29cd0a1bfe14ce220121fd887a0dc5f171e3f8ad9e6"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake","re2c"],"dependencies":["hiredis","llvm","z3","zstd"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[],"uses_from_macos_bounds":[],"requirements":[],"conflicts_with":[],"conflicts_with_reasons":[],"link_overwrite":[],"caveats":null,"installed":[],"linked_keg":null,"pinned":false,"outdated":false,"deprecated":false,"deprecation_date":null,"deprecation_reason":null,"deprecation_replacement_formula":null,"deprecation_replacement_cask":null,"deprecate_args":null,"disabled":false,"disable_date":null,"disable_reason":null,"disable_replacement_formula":null,"disable_replacement_cask":null,"disable_args":null,"post_install_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"2e84f2ff6500f17d1e5246bc35f5b83349fa0e7e","ruby_source_path":"Formula/a/alive2.rb","ruby_source_checksum":{"sha256":"cdf06ca76c8fa460c793e365192d3ff25b9cd7b60914c24450e902fbbfdb47cc"},"variations":{"x86_64_linux":{"dependencies":["hiredis","llvm","z3","zstd","zlib-ng-compat"]},"arm64_linux":{"dependencies":["hiredis","llvm","z3","zstd","zlib-ng-compat"]}},"executables":["alive","alive-exec","alive-jobserver","alive-tv","quick-fuzz"],"analytics":{"install":{"30d":{"alive2":38},"90d":{"alive2":62},"365d":{"alive2":305}},"install_on_request":{"30d":{"alive2":38},"90d":{"alive2":62},"365d":{"alive2":305}},"build_error":{"30d":{"alive2":0}}},
"generated_date":"2026-06-07"}