Diffblue CI CProver
82 commits · 82 version changes
2021-06-10 – 2025-11-05cbmc version history (formula)
All packages / formula
- Current
- cbmc-6.10.0
- Versions
- 119
- Since
- Jun 2020
- Cadence
- 14d
Update cadence
Jun 2020 to Jun 2026
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-20 – 2023-03-01Mike McQuaid
4 commits · 1 version change
2020-07-27 – 2026-06-21rui
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-17 – 2020-07-24Ruoyu 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-01Francois-Xavier Coudert
2 commits · 0 version changes
2022-07-30 – 2022-11-23Fotis Koutoulakis
2 commits · 0 version changes
2021-09-22 – 2021-09-23Show 38 more
Michael Cho
2 commits · 1 version change
2021-08-27 – 2021-09-16Rylan Polster
2 commits · 0 version changes
2021-02-03 – 2021-07-22Jonathan Chang
2 commits · 0 version changes
2020-10-30 – 2020-11-16Alexander Bayandin
2 commits · 1 version change
2020-09-30 – 2020-10-16Daeho Ro
1 commit · 0 version changes
2026-03-02 – 2026-03-02botantony
1 commit · 0 version changes
2025-05-27 – 2025-05-27Issy Long
1 commit · 0 version changes
2024-10-20 – 2024-10-20Michka Popoff
1 commit · 0 version changes
2024-05-27 – 2024-05-27Edward
1 commit · 0 version changes
2024-04-08 – 2024-04-08Fotis Koutoulakis
1 commit · 1 version change
2023-03-01 – 2023-03-01danielnachun
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-04 – 2021-02-04runner
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-15 – 2020-10-15runner
1 commit · 1 version change
2020-10-09 – 2020-10-09runner
1 commit · 1 version change
2020-10-01 – 2020-10-01runner
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-10 – 2020-08-10Seeker
1 commit · 1 version change
2020-07-09 – 2020-07-09Sean Molenaar
1 commit · 0 version changes
2020-07-01 – 2020-07-01Automation
BrewTestBot
115 commits · 2 version changes
2020-06-21 – 2026-06-24Version timeline
119 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| cbmc-6.10.0 | 2026-06-24 | 0efc9d122 | cbmc 6.10.0 |
| cbmc-6.9.0 | 2026-04-14 | d512f4916 | cbmc 6.9.0 |
| cbmc-6.8.0 | 2025-11-05 | 1d6d092a6 | cbmc 6.8.0 |
| cbmc-6.7.1 | 2025-07-09 | 498ca9363 | cbmc 6.7.1 |
| cbmc-6.7.0 | 2025-06-26 | 649c5f313 | cbmc 6.7.0 |
| cbmc-6.6.0 | 2025-04-28 | ace0723cd | cbmc 6.6.0 |
| cbmc-6.5.0 | 2025-03-13 | 8e13013a1 | cbmc 6.5.0 |
| cbmc-6.4.1 | 2024-11-28 | b78a94d2b | cbmc 6.4.1 |
| cbmc-6.4.0 | 2024-11-06 | 695ec7feb | cbmc 6.4.0 |
| cbmc-6.3.1 | 2024-09-19 | ba85adc69 | cbmc 6.3.1 |
| cbmc-6.2.0 | 2024-09-15 | cca58b49c | cbmc 6.2.0 |
| cbmc-6.1.1 | 2024-07-29 | 79bd5589d | cbmc 6.1.1 |
| cbmc-6.1.0 | 2024-07-22 | c4294124d | cbmc 6.1.0 |
| cbmc-6.0.1 | 2024-06-21 | 65a673171 | cbmc 6.0.1 |
| cbmc-6.0.0 | 2024-06-18 | a36090d5b | cbmc 6.0.0 |
| cbmc-5.95.1 | 2023-10-30 | 42c8a1d6e | cbmc 5.95.1 |
| cbmc-5.95.0 | 2023-10-28 | b9547dc40 | cbmc 5.95.0 |
| cbmc-5.94.0 | 2023-10-12 | 29f33bfa3 | cbmc 5.94.0 |
| cbmc-5.93.0 | 2023-09-28 | 825453bf8 | cbmc 5.93.0 |
| cbmc-5.92.0 | 2023-09-14 | 418fc3704 | cbmc 5.92.0 |
| cbmc-5.91.0 | 2023-08-31 | 71a6db552 | cbmc 5.91.0 |
| cbmc-5.90.0 | 2023-08-18 | 250baaabb | cbmc 5.90.0 |
| cbmc-5.89.0 | 2023-08-03 | d8732f51c | cbmc 5.89.0 |
| cbmc-5.88.1 | 2023-07-24 | ef8ecc3ec | cbmc 5.88.1 |
| cbmc-5.88.0 | 2023-07-20 | e5addd498 | cbmc 5.88.0 |
| cbmc-5.87.0 | 2023-07-06 | 4c75b48fd | cbmc 5.87.0 |
| cbmc-5.86.0 | 2023-06-22 | baa412d15 | cbmc 5.86.0 |
| cbmc-5.85.0 | 2023-06-08 | 207c8faa6 | cbmc 5.85.0 |
| cbmc-5.84.0 | 2023-05-25 | 3fa739dac | cbmc 5.84.0 |
| cbmc-5.83.0 | 2023-05-12 | eafbca64e | cbmc 5.83.0 |
| cbmc-5.82.0 | 2023-04-27 | 86ade5a9e | cbmc 5.82.0 |
| cbmc-5.81.0 | 2023-04-13 | 66f22395c | cbmc 5.81.0 |
| cbmc-5.80.0 | 2023-03-30 | 3fe8b99ca | 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-01 | 56b789585 | cbmc: revision |
| cbmc-5.77.0 | 2023-02-16 | f099d3780 | cbmc 5.77.0 |
| cbmc-5.76.1 | 2023-02-01 | 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-12 | 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-21 | f7c1248ce | cbmc 5.39.2 |
| cbmc-5.39.0 | 2021-09-20 | bb34ef1d6 | cbmc 5.39.0 |
| cbmc-5.38.0 | 2021-09-16 | 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-20 | e3f9f4d03 | cbmc 5.24.0 |
| cbmc-5.23.0 | 2021-02-04 | 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-15 | d09fb0f09 | cbmc 5.17.0 |
| cbmc-5.16.0 | 2020-10-09 | 0530f8e16 | cbmc 5.16.0 |
| 5.15.0 | 2020-10-01 | cc33d5d4e | cbmc 5.15.0 |
| cbmc-5.14.3 | 2020-09-30 | 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-10 | 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-09 | f9a663fb0 | cbmc 5.12.3 |
| 5.12.1 | 2020-06-18 | 41b273742 | cbmc 5.12.1 |