{"id":15397977,"url":"https://github.com/nunoplopes/alive","last_synced_at":"2025-04-09T20:14:51.977Z","repository":{"id":183546559,"uuid":"20720566","full_name":"nunoplopes/alive","owner":"nunoplopes","description":"Alive: Automatic LLVM's Instcombine Verifier","archived":false,"fork":false,"pushed_at":"2023-06-16T16:33:37.000Z","size":1264,"stargazers_count":219,"open_issues_count":13,"forks_count":22,"subscribers_count":15,"default_branch":"master","last_synced_at":"2025-04-09T20:14:47.589Z","etag":null,"topics":["llvm","verification"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/nunoplopes.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":"AUTHORS","dei":null,"publiccode":null,"codemeta":null}},"created_at":"2014-06-11T09:59:52.000Z","updated_at":"2025-03-31T16:49:31.000Z","dependencies_parsed_at":null,"dependency_job_id":"f87533f0-044d-4b76-a3da-b2bfca7cb84b","html_url":"https://github.com/nunoplopes/alive","commit_stats":{"total_commits":288,"total_committers":11,"mean_commits":"26.181818181818183","dds":0.4027777777777778,"last_synced_commit":"d32f848ef2117be301a3a3f17cf0bf1cbc056e1c"},"previous_names":["nunoplopes/alive"],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nunoplopes%2Falive","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nunoplopes%2Falive/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nunoplopes%2Falive/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nunoplopes%2Falive/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/nunoplopes","download_url":"https://codeload.github.com/nunoplopes/alive/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248103872,"owners_count":21048245,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["llvm","verification"],"created_at":"2024-10-01T15:40:27.672Z","updated_at":"2025-04-09T20:14:51.955Z","avatar_url":"https://github.com/nunoplopes.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"Alive: Automatic LLVM's Instcombine Verifier\n============================================\n\nAlive is a tool that can prove the correctness of InstCombine optimizations\nspecified in a high-level language.\n\nNOTE: Alive is in maintenance mode; no new features are planned. Please try\n[Alive2](https://github.com/AliveToolkit/alive2) instead.\n\n\nRequirements\n------------\nAlive requires Python 2.7.x and Z3 4.3.2 (or later), which can be obtained\nfrom https://github.com/Z3Prover/z3  (use the unstable branch)\n\n\nUsage\n-----\n  ./alive.py file.opt\n\nThe 'tests' directory has multiple examples of optimizations.\n\n\nMore Information\n----------------\nPlease see this paper for more details about Alive:\n\n  http://www.cs.utah.edu/~regehr/papers/pldi15.pdf\n\n\nOnline Version\n--------------\nAlive is also available online at: http://rise4fun.com/Alive\n\n\nGenerating Benchmarks\n---------------------\nAlive will automatically generate benchmarks in SMT-LIB 2 format when the\n'bench' directory exists and when python is run in non-optimized mode (the\ndefault).\nThese benchmarks are over the bit-vector theory and may or may not have\nquantifiers.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fnunoplopes%2Falive","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fnunoplopes%2Falive","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fnunoplopes%2Falive/lists"}