Diffblue CI CProver
82 commits · 82 version changes
2021-06-10 – 2025-11-05cbmc version history (formula)
All packages / formula
- Current
- cbmc-6.11.0
- Versions
- 120
- Since
- Jun 2020
- Cadence
- 14d
- Bottles
- 7 platforms
Update cadence
Jun 2020 to Aug 2026
Bottle availability
16 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2025-03-21 | present | 8eb12684e | — |
| Linux (x86_64) | 2021-08-05 | present | 4c1c85f65 | — |
| macOS Golden Gate 27 (arm64) | 2026-09-11 | present | 80217a66b | — |
| macOS Tahoe 26 (arm64) | 2025-09-15 | present | 53ba5c67e | — |
| macOS Sequoia 15 (arm64) | 2024-09-15 | present | 289450590 | — |
| macOS Sonoma 14 (arm64) | 2023-09-19 | present | 09cf68321 | — |
| macOS Sonoma 14 (x86_64) | 2023-09-19 | present | 09cf68321 | — |
| macOS Ventura 13 (arm64) | 2022-11-12 | 2025-11-05 | c7d3c704f | 859bfdbce |
| macOS Ventura 13 (x86_64) | 2022-11-23 | 2025-11-05 | 0c66bc83c | 859bfdbce |
| macOS Monterey 12 (arm64) | 2021-10-28 | 2024-09-15 | 65ec06bd2 | 289450590 |
| macOS Monterey 12 (x86_64) | 2021-10-28 | 2024-09-15 | 65ec06bd2 | 289450590 |
| macOS Big Sur 11 (arm64) | 2021-08-05 | 2023-09-28 | 0f0a28b12 | a9cd99e07 |
| macOS Big Sur 11 (x86_64) | 2020-11-16 | 2023-09-28 | f02459845 | a9cd99e07 |
| macOS Catalina 10.15 (x86_64) | 2020-04-25 | 2022-12-08 | bf0d680f4 | f7b31d409 |
| macOS Mojave 10.14 (x86_64) | 2020-04-25 | 2021-10-28 | bf0d680f4 | c97752110 |
| macOS High Sierra 10.13 (x86_64) | 2020-04-25 | 2020-11-26 | bf0d680f4 | 62d2825bf |
Contributors
50 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Carlo Cabrera
11 commits · 1 version change
2021-01-07 – 2025-03-21Rui Chen
9 commits · 5 version changes
2021-02-21 – 2023-03-02Mike McQuaid
4 commits · 1 version change
2020-07-27 – 2026-06-22rui
3 commits · 1 version change
2020-04-25 – 2020-11-26rui
3 commits · 2 version changes
2020-07-19 – 2020-08-28Mark R. Tuttle
3 commits · 1 version change
2020-04-25 – 2020-07-25botantony
2 commits · 0 version changes
2025-06-03 – 2026-09-11Ruoyu Zhong
2 commits · 0 version changes
2024-06-05 – 2025-09-15Michael Cho
2 commits · 1 version change
2024-09-15 – 2024-11-27Patrick Linnane
2 commits · 1 version change
2022-11-12 – 2023-02-02Francois-Xavier Coudert
2 commits · 0 version changes
2022-07-31 – 2022-11-23Show 38 more
Fotis Koutoulakis
2 commits · 0 version changes
2021-09-22 – 2021-09-23Michael Cho
2 commits · 1 version change
2021-08-28 – 2021-09-17Rylan Polster
2 commits · 0 version changes
2021-02-04 – 2021-07-22Jonathan Chang
2 commits · 0 version changes
2020-10-30 – 2020-11-16Alexander Bayandin
2 commits · 1 version change
2020-10-01 – 2020-10-30Daeho Ro
1 commit · 0 version changes
2026-03-02 – 2026-03-02Issy Long
1 commit · 0 version changes
2024-10-21 – 2024-10-21Edward
1 commit · 0 version changes
2024-06-04 – 2024-06-04Michka Popoff
1 commit · 0 version changes
2024-05-27 – 2024-05-27Fotis Koutoulakis
1 commit · 1 version change
2023-03-02 – 2023-03-02danielnachun
1 commit · 0 version changes
2022-09-15 – 2022-09-15Bo Anderson
1 commit · 0 version changes
2022-05-13 – 2022-05-13Porkepix
1 commit · 1 version change
2022-04-15 – 2022-04-15Dawid Dziurla
1 commit · 0 version changes
2021-09-23 – 2021-09-23runner
1 commit · 1 version change
2021-05-27 – 2021-05-27runner
1 commit · 1 version change
2021-05-18 – 2021-05-18runner
1 commit · 1 version change
2021-05-13 – 2021-05-13runner
1 commit · 1 version change
2021-04-29 – 2021-04-29runner
1 commit · 1 version change
2021-04-20 – 2021-04-20runner
1 commit · 1 version change
2021-04-14 – 2021-04-14runner
1 commit · 1 version change
2021-04-06 – 2021-04-06runner
1 commit · 1 version change
2021-03-24 – 2021-03-24runner
1 commit · 1 version change
2021-03-18 – 2021-03-18runner
1 commit · 1 version change
2021-03-04 – 2021-03-04runner
1 commit · 1 version change
2021-02-20 – 2021-02-20runner
1 commit · 1 version change
2021-01-21 – 2021-01-21runner
1 commit · 1 version change
2021-01-07 – 2021-01-07runner
1 commit · 1 version change
2020-12-10 – 2020-12-10runner
1 commit · 1 version change
2020-11-12 – 2020-11-12runner
1 commit · 1 version change
2020-10-16 – 2020-10-16runner
1 commit · 1 version change
2020-10-10 – 2020-10-10runner
1 commit · 1 version change
2020-10-03 – 2020-10-03runner
1 commit · 1 version change
2020-09-16 – 2020-09-16Miccal Matthews
1 commit · 1 version change
2020-09-08 – 2020-09-08Markus Reiter
1 commit · 0 version changes
2020-08-31 – 2020-08-31Hannes Steffenhagen
1 commit · 1 version change
2020-08-11 – 2020-08-11Seeker
1 commit · 1 version change
2020-07-10 – 2020-07-10Sean Molenaar
1 commit · 0 version changes
2020-07-01 – 2020-07-01Automation
BrewTestBot
117 commits · 3 version changes
2020-06-21 – 2026-08-21Version timeline
120 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| cbmc-6.11.0 | 2026-08-21 | 1ed46b94a | cbmc 6.11.0 |
| cbmc-6.10.0 | 2026-06-24 | 2a45ab6be | cbmc 6.10.0 |
| cbmc-6.9.0 | 2026-04-14 | 1acb3719b | cbmc 6.9.0 |
| cbmc-6.8.0 | 2025-11-05 | 859bfdbce | cbmc 6.8.0 |
| cbmc-6.7.1 | 2025-07-10 | 1f4cefee4 | cbmc 6.7.1 |
| cbmc-6.7.0 | 2025-06-26 | 310b6e76f | cbmc 6.7.0 |
| cbmc-6.6.0 | 2025-04-28 | b6e8a1c54 | cbmc 6.6.0 |
| cbmc-6.5.0 | 2025-03-13 | c6cb03f5b | cbmc 6.5.0 |
| cbmc-6.4.1 | 2024-11-29 | e7d4cbbc0 | cbmc 6.4.1 |
| cbmc-6.4.0 | 2024-11-06 | e257d3193 | cbmc 6.4.0 |
| cbmc-6.3.1 | 2024-09-20 | 002b6cf84 | cbmc 6.3.1 |
| cbmc-6.2.0 | 2024-09-15 | 289450590 | cbmc 6.2.0 |
| cbmc-6.1.1 | 2024-07-31 | 9d339d853 | cbmc 6.1.1 |
| cbmc-6.1.0 | 2024-07-23 | 2fb434df6 | cbmc 6.1.0 |
| cbmc-6.0.1 | 2024-06-21 | cfe2c5798 | cbmc 6.0.1 |
| cbmc-6.0.0 | 2024-06-18 | 8e6ee72fd | cbmc 6.0.0 |
| cbmc-5.95.1 | 2023-10-30 | e39d2157c | cbmc 5.95.1 |
| cbmc-5.95.0 | 2023-10-30 | 601e7cf51 | cbmc 5.95.0 |
| cbmc-5.94.0 | 2023-10-12 | 073d13ef4 | cbmc 5.94.0 |
| cbmc-5.93.0 | 2023-09-28 | a9cd99e07 | cbmc 5.93.0 |
| cbmc-5.92.0 | 2023-09-14 | a8300bcf6 | cbmc 5.92.0 |
| cbmc-5.91.0 | 2023-08-31 | 00b1f78e7 | cbmc 5.91.0 |
| cbmc-5.90.0 | 2023-08-18 | 7b48f0c67 | cbmc 5.90.0 |
| cbmc-5.89.0 | 2023-08-03 | 142a29a95 | cbmc 5.89.0 |
| cbmc-5.88.1 | 2023-07-24 | 3119e10ad | cbmc 5.88.1 |
| cbmc-5.88.0 | 2023-07-20 | 0f94428fd | cbmc 5.88.0 |
| cbmc-5.87.0 | 2023-07-06 | 0362e8515 | cbmc 5.87.0 |
| cbmc-5.86.0 | 2023-06-22 | 5c0b644e0 | cbmc 5.86.0 |
| cbmc-5.85.0 | 2023-06-08 | fce7a3865 | cbmc 5.85.0 |
| cbmc-5.84.0 | 2023-05-25 | dd4d35300 | cbmc 5.84.0 |
| cbmc-5.83.0 | 2023-05-12 | dee9c24e6 | cbmc 5.83.0 |
| cbmc-5.82.0 | 2023-04-27 | e5220bd30 | cbmc 5.82.0 |
| cbmc-5.81.0 | 2023-04-13 | 4c96bb04a | cbmc 5.81.0 |
| cbmc-5.80.0 | 2023-03-30 | 9ad8bc8b4 | cbmc 5.80.0 |
| cbmc-5.79.0 | 2023-03-16 | a94782a32 | cbmc 5.79.0 |
| cbmc-5.78.0 | 2023-03-02 | cc762d67d | cbmc 5.78.0 |
| cbmc-5.77.0 | 2023-03-02 | 56b789585 | cbmc: revision |
| cbmc-5.77.0 | 2023-02-16 | f099d3780 | cbmc 5.77.0 |
| cbmc-5.76.1 | 2023-02-02 | 58db56a45 | cbmc 5.76.1 |
| cbmc-5.75.0 | 2023-01-19 | bc5a8a817 | cbmc 5.75.0 |
| cbmc-5.74.0 | 2023-01-05 | 200a07cca | cbmc 5.74.0 |
| cbmc-5.73.0 | 2022-12-20 | f2ba362ef | cbmc 5.73.0 |
| cbmc-5.72.2 | 2022-12-14 | 56e09682c | cbmc 5.72.2 |
| cbmc-5.72.1 | 2022-12-09 | 3bb45ed2d | cbmc 5.72.1 |
| cbmc-5.72.0 | 2022-12-08 | 55f8937fc | cbmc 5.72.0 |
| cbmc-5.71.0 | 2022-11-24 | 261c6534c | cbmc 5.71.0 |
| cbmc-5.70.0 | 2022-11-10 | 8ad06ceb5 | cbmc 5.70.0 |
| cbmc-5.69.1 | 2022-10-28 | 26952dcc6 | cbmc 5.69.1 |
| cbmc-5.68.0 | 2022-10-13 | 1684df27a | cbmc 5.68.0 |
| cbmc-5.67.0 | 2022-09-29 | f60626312 | cbmc 5.67.0 |
| cbmc-5.66.0 | 2022-09-16 | c4f381c64 | cbmc 5.66.0 |
| cbmc-5.65.1 | 2022-09-05 | 6a118508a | cbmc 5.65.1 |
| cbmc-5.65.0 | 2022-09-01 | 38cd59f98 | cbmc 5.65.0 |
| cbmc-5.64.0 | 2022-08-18 | 5f7187910 | cbmc 5.64.0 |
| cbmc-5.63.0 | 2022-08-04 | df1439e63 | cbmc 5.63.0 |
| cbmc-5.62.0 | 2022-07-22 | a01e2502f | cbmc 5.62.0 |
| cbmc-5.61.0 | 2022-07-07 | a2f9212a5 | cbmc 5.61.0 |
| cbmc-5.60.0 | 2022-06-23 | 3f51deb45 | cbmc 5.60.0 |
| cbmc-5.59.0 | 2022-06-09 | 6605f0106 | cbmc 5.59.0 |
| cbmc-5.58.1 | 2022-05-27 | fcd128322 | cbmc 5.58.1 |
| cbmc-5.57.0 | 2022-05-13 | 534e1b1a9 | cbmc 5.57.0 |
| cbmc-5.56.0 | 2022-04-29 | 8602d5159 | cbmc 5.56.0 |
| cbmc-5.55.0 | 2022-04-15 | 764514e13 | cbmc 5.55.0 |
| cbmc-5.54.0 | 2022-03-31 | b0df90184 | cbmc 5.54.0 |
| cbmc-5.53.1 | 2022-03-21 | e872e5abc | cbmc 5.53.1 |
| cbmc-5.53.0 | 2022-03-18 | 5199376cb | cbmc 5.53.0 |
| cbmc-5.52.0 | 2022-03-03 | d09a47095 | cbmc 5.52.0 |
| cbmc-5.51.0 | 2022-02-17 | bc62d0a29 | cbmc 5.51.0 |
| cbmc-5.50.0 | 2022-02-03 | 0597a25b7 | cbmc 5.50.0 |
| cbmc-5.49.0 | 2022-01-20 | a79c0fc49 | cbmc 5.49.0 |
| cbmc-5.48.0 | 2022-01-06 | 7b066dca8 | cbmc 5.48.0 |
| cbmc-5.47.0 | 2021-12-20 | 5561d972e | cbmc 5.47.0 |
| cbmc-5.46.0 | 2021-12-09 | d3682074e | cbmc 5.46.0 |
| cbmc-5.45.0 | 2021-11-25 | 5d704242a | cbmc 5.45.0 |
| cbmc-5.44.0 | 2021-11-11 | 641e00983 | cbmc 5.44.0 |
| cbmc-5.43.0 | 2021-10-28 | 69d9aef8f | cbmc 5.43.0 |
| cbmc-5.42.0 | 2021-10-15 | 7a2ac3902 | cbmc 5.42.0 |
| cbmc-5.41.0 | 2021-10-04 | a5139c531 | cbmc 5.41.0 |
| cbmc-5.40.0 | 2021-09-30 | 3f83d7102 | cbmc 5.40.0 |
| cbmc-5.39.3 | 2021-09-22 | 4fe2fb801 | cbmc 5.39.3 |
| cbmc-5.39.2 | 2021-09-22 | f7c1248ce | cbmc 5.39.2 |
| cbmc-5.39.0 | 2021-09-21 | bb34ef1d6 | cbmc 5.39.0 |
| cbmc-5.38.0 | 2021-09-17 | 66eb1af33 | cbmc: revision |
| cbmc-5.38.0 | 2021-09-02 | b9ec4fea3 | cbmc 5.38.0 |
| cbmc-5.37.0 | 2021-08-19 | a1af06c92 | cbmc 5.37.0 |
| cbmc-5.36.0 | 2021-08-05 | 25ed4be21 | cbmc 5.36.0 |
| cbmc-5.35.0 | 2021-07-22 | 6d72b2eb6 | cbmc 5.35.0 |
| cbmc-5.34.0 | 2021-07-08 | 37c5f065a | cbmc 5.34.0 |
| cbmc-5.33.0 | 2021-06-28 | 03d155cfa | cbmc 5.33.0 |
| cbmc-5.32.1 | 2021-06-11 | 0b4e41058 | cbmc 5.32.1 |
| cbmc-5.32.0 | 2021-06-10 | 6753e2871 | cbmc 5.32.0 |
| cbmc-5.31.0 | 2021-05-27 | d5ab450b5 | cbmc 5.31.0 |
| cbmc-5.30.1 | 2021-05-18 | 6713aa141 | cbmc 5.30.1 |
| cbmc-5.30.0 | 2021-05-13 | 12f6e7897 | cbmc 5.30.0 |
| cbmc-5.29.0 | 2021-04-29 | 7b688a3f6 | cbmc 5.29.0 |
| cbmc-5.28.1 | 2021-04-20 | 342825a2b | cbmc 5.28.1 |
| cbmc-5.28.0 | 2021-04-14 | 7612fa007 | cbmc 5.28.0 |
| cbmc-5.27.0 | 2021-04-06 | 4a5d30a45 | cbmc 5.27.0 |
| cbmc-5.26.1 | 2021-03-24 | e2c33c806 | cbmc 5.26.1 |
| cbmc-5.26.0 | 2021-03-18 | eaee3ac85 | cbmc 5.26.0 |
| cbmc-5.25.0 | 2021-03-04 | f19873bb2 | cbmc 5.25.0 |
| cbmc-5.24.0 | 2021-02-21 | e3f9f4d03 | cbmc 5.24.0 |
| cbmc-5.23.0 | 2021-02-20 | 34edad046 | cbmc 5.23.0 |
| 5.22.0 | 2021-01-21 | bfaaf6eee | cbmc 5.22.0 |
| cbmc-5.21.0 | 2021-01-07 | 45835525d | cbmc 5.21.0 |
| cbmc-5.20.1 | 2020-12-10 | dd347a20c | cbmc 5.20.1 |
| cbmc-5.19.0 | 2020-11-26 | c056d6374 | cbmc 5.19.0 |
| cbmc-5.18.0 | 2020-11-12 | 5465d6517 | cbmc 5.18.0 |
| cbmc-5.17.0 | 2020-10-16 | d09fb0f09 | cbmc 5.17.0 |
| cbmc-5.16.0 | 2020-10-10 | 0530f8e16 | cbmc 5.16.0 |
| 5.15.0 | 2020-10-03 | cc33d5d4e | cbmc 5.15.0 |
| cbmc-5.14.3 | 2020-10-01 | 42f96d8eb | cbmc 5.14.3 |
| cbmc-5.14.1 | 2020-09-16 | 13902af07 | cbmc 5.14.1 |
| cbmc-5.13.1 | 2020-09-08 | 026fa8c01 | cbmc 5.13.1 |
| cbmc-5.13.0 | 2020-08-28 | eecdae9ff | cbmc 5.13.0 |
| cbmc-5.12.6 | 2020-08-11 | 86f1bb2d2 | cbmc 5.12.6 |
| cbmc-5.12.5 | 2020-08-06 | 8cc15b685 | cbmc 5.12.5 |
| cbmc-5.12.4 | 2020-07-27 | 245bbd4b4 | cbmc: fix RuboCop style. |
| 5.12.3 | 2020-07-10 | f9a663fb0 | cbmc 5.12.3 |
| 5.12.1 | 2020-06-21 | 41b273742 | cbmc 5.12.1 |