Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 23, 2025

• Merge pull request #8815 from tautschnig/cbmc-library-no-suffix

  Show description for e01fcdb
  tautschnig

  authored
  e01fcdb

  Copy full SHA for e01fcdb

• clang-format includes

  tautschnig

  committed
  90f278f

  Copy full SHA for 90f278f

• Remove numeric suffixes and combine directories in regression/cbmc-library

  Show description for a03eca3
  tautschnig

  committed
  a03eca3

  Copy full SHA for a03eca3

Commits on Dec 15, 2025

• Merge pull request #8808 from diffblue/multi-ary-constructors

  Show description for 945c1e0
  tautschnig

  authored
  945c1e0

  Copy full SHA for 945c1e0

• Merge pull request #8809 from diffblue/dependabot/github_actions/actions/cache-5

  Show description for b83f79d
  tautschnig

  authored
  b83f79d

  Copy full SHA for b83f79d

• Merge pull request #8810 from diffblue/dependabot/github_actions/actions/upload-artifact-6

  Show description for 09934c3
  tautschnig

  authored
  09934c3

  Copy full SHA for 09934c3

• Bump actions/upload-artifact from 5 to 6

  Show description for ad9f7d7
  dependabot[bot]

  authored
  ad9f7d7

  Copy full SHA for ad9f7d7

• Bump actions/cache from 4 to 5

  Show description for c2ff803
  dependabot[bot]

  authored
  c2ff803

  Copy full SHA for c2ff803

Commits on Dec 13, 2025

• constructors for multi-ary expressions with operand type

  Show description for fea38c0
  kroening

  committed
  fea38c0

  Copy full SHA for fea38c0

Commits on Dec 11, 2025

• Merge pull request #8807 from diffblue/flattening-to-range

  Show description for ee19dd7
  tautschnig

  authored
  ee19dd7

  Copy full SHA for ee19dd7

• Flattening backend: further cases for casts to range types

  Show description for 93e6c3b
  

  kroening

  authored and

  tautschnig

  committed
  93e6c3b

  Copy full SHA for 93e6c3b

Commits on Dec 3, 2025

• Merge pull request #8795 from diffblue/doc-boolean-ops

  tautschnig

  authored
  76dd20f

  Copy full SHA for 76dd20f

• document non-binary case for Boolean and bit-wise operators

  Show description for 2407365
  kroening

  committed
  2407365

  Copy full SHA for 2407365

• Merge pull request #8794 from diffblue/smt2-unary-bitwise

  Show description for 74d15ae
  kroening

  authored
  74d15ae

  Copy full SHA for 74d15ae

Commits on Dec 2, 2025

• Merge pull request #8731 from tautschnig/clock_gettime

  Show description for 1505c36
  tautschnig

  authored
  1505c36

  Copy full SHA for 1505c36

• Merge pull request #8779 from tautschnig/fix-8144-empty-interval

  Show description for 99345cb
  tautschnig

  authored
  99345cb

  Copy full SHA for 99345cb

Commits on Dec 1, 2025

• SMT2: allow unary bitand, bitor, bitxor

  Show description for fafc39c
  kroening

  committed
  fafc39c

  Copy full SHA for fafc39c

• Add clock_gettime model

  Show description for 839387a
  tautschnig

  committed
  839387a

  Copy full SHA for 839387a

• Merge pull request #8775 from tautschnig/fix-8710-builtin_inff

  Show description for 0985044
  kroening

  authored
  0985044

  Copy full SHA for 0985044

• Merge pull request #8741 from tautschnig/case_exprt

  Show description for 18d1197
  kroening

  authored
  18d1197

  Copy full SHA for 18d1197

• Add comprehensive unit tests for empty interval handling

  Show description for 2a8543e
  tautschnig

  committed
  2a8543e

  Copy full SHA for 2a8543e

• Fix handling of empty intervals in interval_template.h

  Show description for d098064
  tautschnig

  committed
  d098064

  Copy full SHA for d098064

• C front-end: recognize __builtin_inff() as constant expression

  Show description for 2cef358
  tautschnig

  committed
  2cef358

  Copy full SHA for 2cef358

• Merge pull request #8793 from tautschnig/fix-cover-help

  Show description for 8640fc9
  kroening

  authored
  8640fc9

  Copy full SHA for 8640fc9

Commits on Nov 30, 2025

• Add case_exprt to std_expr.h and refactor code to use it

  Show description for 18d5083
  tautschnig

  committed
  18d5083

  Copy full SHA for 18d5083

• Fix --cover help

  Show description for 25ef9c1
  tautschnig

  committed
  25ef9c1

  Copy full SHA for 25ef9c1

Commits on Nov 24, 2025

• Merge pull request #8735 from diffblue/dependabot/github_actions/actions/checkout-6

  Show description for 4fe3ade
  tautschnig

  authored
  4fe3ade

  Copy full SHA for 4fe3ade

• Bump actions/checkout from 5 to 6

  Show description for bdf9018
  dependabot[bot]

  authored
  bdf9018

  Copy full SHA for bdf9018

Commits on Nov 10, 2025

• Merge pull request #8729 from tautschnig/fix-macos-cmake

  Show description for 56d8598
  kroening

  authored
  56d8598

  Copy full SHA for 56d8598

• Fix macOS compilation instructions for CMake

  Show description for 16a9ab2
  tautschnig

  committed
  16a9ab2

  Copy full SHA for 16a9ab2

Commits on Nov 5, 2025

• Merge pull request #8727 from tautschnig/release-6.8.0

  Show description for cdee49c
  tautschnig

  authored
  cdee49c

  Copy full SHA for cdee49c

Commits on Nov 4, 2025

• Release CBMC 6.8.0

  Show description for 06a493d
  tautschnig

  committed
  06a493d

  Copy full SHA for 06a493d

• Merge pull request #8726 from tautschnig/smt-solver-command

  Show description for 2b184cd
  tautschnig

  authored
  2b184cd

  Copy full SHA for 2b184cd

Commits on Nov 3, 2025

• Add --external-smt2-solver for custom solver path or custom options

  Show description for b8a2281
  tautschnig

  committed
  b8a2281

  Copy full SHA for b8a2281

• Merge pull request #8725 from tautschnig/macos-15

  Show description for b6caec4
  tautschnig

  authored
  b6caec4

  Copy full SHA for b6caec4

Pagination

Previous

Next