Michael Cho
3 commits · 3 version changes
2026-08-14 – 2026-08-18esbmc version history (formula)
All packages / formula
- Current
- 8.6
- Versions
- 9
- Since
- Jul 2026
- Cadence
- 8d
- Bottles
- 5 platforms
Update cadence
Jul 2026 to Oct 2026
Bottle availability
7 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2026-07-11 | present | e3fdbadd7 | — |
| Linux (x86_64) | 2026-07-11 | present | e3fdbadd7 | — |
| macOS Golden Gate 27 (arm64) | 2026-09-12 | present | 8ea2c9113 | — |
| macOS Tahoe 26 (arm64) | 2026-07-11 | present | e3fdbadd7 | — |
| macOS Sequoia 15 (arm64) | 2026-07-11 | present | e3fdbadd7 | — |
| macOS Sonoma 14 (arm64) | 2026-07-11 | 2026-09-28 | e3fdbadd7 | f53e211b8 |
| macOS Sonoma 14 (x86_64) | 2026-07-11 | 2026-08-31 | e3fdbadd7 | 3908cde8d |
Contributors
9 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
botantony
2 commits · 1 version change
2026-07-11 – 2026-10-16Branch Vincent
2 commits · 1 version change
2026-09-05 – 2026-09-28WeiqiW
1 commit · 0 version changes
2026-10-15 – 2026-10-15Ruoyu Zhong
1 commit · 0 version changes
2026-09-12 – 2026-09-12Rui 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-16Weiqi Wang
1 commit · 1 version change
2026-07-11 – 2026-07-11Automation
BrewTestBot
12 commits · 2 version changes
2026-07-11 – 2026-10-16Version timeline
9 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 8.6 | 2026-10-16 | 1b00735b4 | esbmc: revision bump (z3 5.3.0) |
| 8.6 | 2026-10-13 | 36f869de4 | esbmc 8.6 |
| 8.5 | 2026-09-28 | f53e211b8 | esbmc: add env script for python |
| 8.5 | 2026-08-31 | 3908cde8d | esbmc 8.5 |
| 8.4 | 2026-08-18 | f46fa3a2c | esbmc: revision bump (llvm -> llvm@22) |
| 8.4 | 2026-08-18 | 7b2a97f79 | esbmc: revision bump (z3 5.1.0) |
| 8.4 | 2026-08-16 | ca6bf0fdf | esbmc: revision bump (z3 5.0.0) |
| 8.4 | 2026-08-14 | fc4153892 | esbmc: revision bump (boost 1.92.0) |
| 8.4 | 2026-07-11 | e3fdbadd7 | esbmc 8.4.0 (new formula) |