Michael Cho
3 commits · 3 version changes
2026-08-14 – 2026-08-18esbmc version history (formula)
All packages / formula
- Current
- 8.5
- Versions
- 6
- Since
- Jul 2026
- Cadence
- 2d
- Bottles
- 5 platforms
Update cadence
Jul 2026 to Aug 2026
Bottle availability
6 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2026-07-11 | present | a902a9140 | — |
| Linux (x86_64) | 2026-07-11 | present | a902a9140 | — |
| macOS Tahoe 26 (arm64) | 2026-07-11 | present | a902a9140 | — |
| macOS Sequoia 15 (arm64) | 2026-07-11 | present | a902a9140 | — |
| macOS Sonoma 14 (arm64) | 2026-07-11 | present | a902a9140 | — |
| macOS Sonoma 14 (x86_64) | 2026-07-11 | 2026-08-31 | a902a9140 | 21ab43052 |
Contributors
7 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Branch Vincent
1 commit · 0 version changes
2026-09-05 – 2026-09-05Rui Chen
1 commit · 1 version change
2026-08-30 – 2026-08-30Michka Popoff
1 commit · 1 version change
2026-08-30 – 2026-08-30Patrick Linnane
1 commit · 1 version change
2026-08-16 – 2026-08-16botantony
1 commit · 0 version changes
2026-07-11 – 2026-07-11Weiqi Wang
1 commit · 1 version change
2026-07-11 – 2026-07-11Automation
BrewTestBot
7 commits · 1 version change
2026-07-11 – 2026-08-31Version timeline
6 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 8.5 | 2026-08-30 | 3713a9949 | esbmc 8.5 |
| 8.4 | 2026-08-18 | 630438e54 | esbmc: revision bump (llvm -> llvm@22) |
| 8.4 | 2026-08-17 | 0f278e470 | esbmc: revision bump (z3 5.1.0) |
| 8.4 | 2026-08-16 | 636c6866c | esbmc: revision bump (z3 5.0.0) |
| 8.4 | 2026-08-14 | 92e088896 | esbmc: revision bump (boost 1.92.0) |
| 8.4 | 2026-07-11 | 8d5f471c8 | esbmc 8.4.0 (new formula) |