Carlo Cabrera
14 commits · 5 version changes
2021-02-28 – 2022-09-29klee version history (formula)
All packages / formula
- Current
- 3.2
- Versions
- 19
- Since
- Feb 2021
- Cadence
- 65d
Update cadence
Feb 2021 to Jul 2026
Contributors
16 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Rui Chen
12 commits · 7 version changes
2021-12-19 – 2025-05-10Michael Cho
10 commits · 5 version changes
2023-12-29 – 2026-06-08Branch Vincent
4 commits · 0 version changes
2022-10-10 – 2025-04-12Francois-Xavier Coudert
3 commits · 0 version changes
2022-08-01 – 2022-12-01danielnachun
3 commits · 0 version changes
2022-05-03 – 2022-09-12Daeho Ro
2 commits · 2 version changes
2025-10-12 – 2026-07-31botantony
2 commits · 1 version change
2025-10-29 – 2026-01-24Patrick Linnane
2 commits · 1 version change
2023-06-07 – 2024-01-06Mike McQuaid
2 commits · 0 version changes
2021-09-07 – 2023-08-15Daniel Nachun
2 commits · 0 version changes
2022-05-14 – 2022-06-08Michael Cho
1 commit · 0 version changes
2025-09-18 – 2025-09-18Show 4 more
Nanda H Krishna
1 commit · 0 version changes
2025-02-18 – 2025-02-18Issy Long
1 commit · 0 version changes
2024-10-21 – 2024-10-21ryenus
1 commit · 0 version changes
2022-12-26 – 2022-12-26Michka Popoff
1 commit · 1 version change
2022-06-23 – 2022-06-23Automation
BrewTestBot
24 commits · 2 version changes
2021-06-24 – 2026-07-31Version timeline
19 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 3.2 | 2026-07-31 | b91ddaf7f | klee: revision bump (stp 2.4.0) |
| 3.2 | 2026-06-08 | 9c246de7f | klee: revision bump (z3 4.16.0) |
| 3.2 | 2026-04-03 | 43c9240e9 | klee: revision bump (cryptominisat 5.14.2) |
| 3.2 | 2026-01-24 | f899f1226 | klee: revision bump (cryptominisat 5.13.0) |
| 3.2 | 2025-12-23 | 83e2d4f0d | klee 3.2 |
| 3.1 | 2025-10-12 | 07b622e76 | klee: migrate to `python@3.14` |
| 3.1 | 2025-05-10 | 68d629768 | klee: revision bump (z3 4.15.0) |
| 3.1 | 2025-03-23 | 5420872f8 | klee: revision bump (cryptominisat 5.12.1) |
| 3.1 | 2025-02-19 | 9e35d0c45 | klee: revision bump (z3 4.14.0) |
| 3.1 | 2024-03-07 | 7ca75017b | klee: revision bump (z3 4.13.0) |
| 3.1 | 2024-03-02 | 8e28841fc | klee 3.1 |
| 3.0 | 2024-01-03 | f36c043b8 | klee: revision bump (gperftools 2.14) |
| 3.0 | 2023-11-16 | cf75daade | klee: migrate to `python@3.12` |
| 3.0 | 2023-06-07 | 4729be538 | klee 3.0 |
| 2.3 | 2022-06-23 | 51ee74f10 | klee 2.3 |
| 2.2 | 2021-09-28 | 343383bd7 | klee: switch to LLVM 12 |
| 2.2 | 2021-06-18 | 1828dddb3 | klee: switch to LLVM 12 |
| 2.2 | 2021-04-15 | fc2ba8a02 | klee: switch to llvm@11 |
| 2.2 | 2021-02-28 | c4f5b7720 | klee 2.2 (new formula) |