Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 26, 2025

• Merge pull request #18 from diffblue/cbmc-6.7.0

  Show description for d6ecef6
  tautschnig

  authored
  d6ecef6

  Copy full SHA for d6ecef6

• Add formula for CBMC 6.7.0

  

  tautschnig

  authored and

  github-actions[bot]

  committed
  1083932

  Copy full SHA for 1083932

Commits on Apr 29, 2025

• Merge pull request #17 from diffblue/cbmc-6.6.0

  Show description for f6415ff
  tautschnig

  authored
  f6415ff

  Copy full SHA for f6415ff

• Add formula for CBMC 6.6.0

  

  tautschnig

  authored and

  github-actions[bot]

  committed
  ce9377a

  Copy full SHA for ce9377a

Commits on Mar 13, 2025

• Merge pull request #16 from diffblue/cbmc-6.5.0

  Show description for 10daf5f
  tautschnig

  authored
  10daf5f

  Copy full SHA for 10daf5f

• Add formula for CBMC 6.5.0

  

  tautschnig

  authored and

  github-actions[bot]

  committed
  2779790

  Copy full SHA for 2779790

Commits on Nov 29, 2024

• Merge pull request #15 from diffblue/cbmc-6.4.1

  Show description for d801686
  tautschnig

  authored
  d801686

  Copy full SHA for d801686

• Add formula for CBMC 6.4.1

  

  tautschnig

  authored and

  github-actions[bot]

  committed
  b4a63c6

  Copy full SHA for b4a63c6

Commits on Nov 6, 2024

• Merge pull request #14 from diffblue/cbmc-6.4.0

  Show description for e38c600
  tautschnig

  authored
  e38c600

  Copy full SHA for e38c600

• Add formula for CBMC 6.4.0

  

  tautschnig

  authored and

  github-actions[bot]

  committed
  9ac01ab

  Copy full SHA for 9ac01ab

• Fix branch-check logic and add status output

  tautschnig

  committed
  874b055

  Copy full SHA for 874b055

Commits on Sep 23, 2024

• Avoid unnecessary PR updates

  tautschnig

  committed
  70c8312

  Copy full SHA for 70c8312

• Merge pull request #13 from diffblue/cbmc-6.3.1

  Show description for 9bd0309
  tautschnig

  authored
  9bd0309

  Copy full SHA for 9bd0309

• Add formula for CBMC 6.3.1

  

  tautschnig

  authored and

  github-actions[bot]

  committed
  97f3f2a

  Copy full SHA for 97f3f2a

Commits on Sep 20, 2024

• Fix spacing in transform output

  tautschnig

  committed
  4cc7933

  Copy full SHA for 4cc7933

• Fix tag name of release upload target

  tautschnig

  committed
  cca15d4

  Copy full SHA for cca15d4

• Fix path

  tautschnig

  committed
  08fae9f

  Copy full SHA for 08fae9f

• Adopt another shellcheck recommendation

  tautschnig

  committed
  960720d

  Copy full SHA for 960720d

• Adhere to shellcheck's recommendations

  tautschnig

  committed
  f052288

  Copy full SHA for f052288

• Automate formula build and asset upload

  tautschnig

  committed
  649fd5e

  Copy full SHA for 649fd5e

Commits on Sep 19, 2024

• Whitespace changes to make brew style happy

  tautschnig

  committed
  92f1547

  Copy full SHA for 92f1547

• Cleanup transform_binary.sh

  Show description for 697a1f6
  tautschnig

  committed
  697a1f6

  Copy full SHA for 697a1f6

• Apply shellcheck's recommendations

  tautschnig

  committed
  3235f52

  Copy full SHA for 3235f52

• Merge pull request #12 from diffblue/dependabot/github_actions/actions/cache-4

  Show description for 60d11a0
  tautschnig

  authored
  60d11a0

  Copy full SHA for 60d11a0

• Bump actions/cache from 1 to 4

  Show description for 097676c
  dependabot[bot]

  authored
  097676c

  Copy full SHA for 097676c

• Add dependabot for GitHub actions

  tautschnig

  committed
  7f4ae36

  Copy full SHA for 7f4ae36

• Further whitespace fixes

  tautschnig

  committed
  c91e21c

  Copy full SHA for c91e21c

• Fix whitespace to make brew audit happy

  tautschnig

  committed
  0b3bc42

  Copy full SHA for 0b3bc42

• Add formula for CBMC 6.2.0

  tautschnig

  committed
  0de483d

  Copy full SHA for 0de483d

Commits on Jul 31, 2024

• Add formula for CBMC 6.1.1

  tautschnig

  committed
  86e17ad

  Copy full SHA for 86e17ad

Commits on Jul 23, 2024

• fixup! Add formula for 6.1.0

  tautschnig

  committed
  d1ecd34

  Copy full SHA for d1ecd34

• Add formula for 6.1.0

  tautschnig

  committed
  2a31363

  Copy full SHA for 2a31363

Commits on Jun 21, 2024

• Merge pull request #11 from tautschnig/cbmc-6.0.1-formula

  Show description for c3621c5
  tautschnig

  authored
  c3621c5

  Copy full SHA for c3621c5

• Merge pull request #10 from tautschnig/cbmc-6.0.0-formula

  Show description for 6acc882
  tautschnig

  authored
  6acc882

  Copy full SHA for 6acc882

• Merge pull request #9 from tautschnig/update-readme

  Show description for 183c114
  tautschnig

  authored
  183c114

  Copy full SHA for 183c114

Pagination

Previous

Next