Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

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

• Switch macos-13 CI jobs to macos-15-intel

  Show description for 29dc554
  tautschnig

  committed
  29dc554

  Copy full SHA for 29dc554

Commits on Oct 31, 2025

• Merge pull request #8724 from tautschnig/simplify-with-single-member

  Show description for c914c2c
  tautschnig

  authored
  c914c2c

  Copy full SHA for c914c2c

• Simplify WITH expression over structs with a single component

  Show description for b87c98a
  tautschnig

  committed
  b87c98a

  Copy full SHA for b87c98a

Commits on Oct 30, 2025

• Merge pull request #8721 from diffblue/dependabot/github_actions/actions/upload-artifact-5

  Show description for 4f59921
  tautschnig

  authored
  4f59921

  Copy full SHA for 4f59921

Commits on Oct 27, 2025

• Bump actions/upload-artifact from 4 to 5

  Show description for 86aefce
  dependabot[bot]

  authored
  86aefce

  Copy full SHA for 86aefce

Commits on Oct 20, 2025

• Merge pull request #8579 from tautschnig/bugfixes/field-sensitivity-union

  Show description for 147a1e3
  tautschnig

  authored
  147a1e3

  Copy full SHA for 147a1e3

• Merge pull request #8455 from tautschnig/protect-value_is_zero_string

  Show description for 9d14448
  tautschnig

  authored
  9d14448

  Copy full SHA for 9d14448

• Refactor field_sensitivityt::apply

  Show description for bf5d793
  tautschnig

  committed
  bf5d793

  Copy full SHA for bf5d793

• Mark constant_exprt::value_is_zero_string protected

  Show description for 8cc6337
  tautschnig

  committed
  8cc6337

  Copy full SHA for 8cc6337

• Field sensitivity: account for array size in all index expressions

  Show description for 99cb87c
  tautschnig

  committed
  99cb87c

  Copy full SHA for 99cb87c

• Merge pull request #8719 from tautschnig/bsd-actions

  Show description for 06665e7
  tautschnig

  authored
  06665e7

  Copy full SHA for 06665e7

• Merge pull request #8675 from tautschnig/operator-equals

  Show description for 0047c36
  tautschnig

  authored
  0047c36

  Copy full SHA for 0047c36

• Update *BSD CI actions to the latest OS versions

  Show description for 296e111
  tautschnig

  committed
  296e111

  Copy full SHA for 296e111

• Use operator==(exprt, int) instead of is_zero

  Show description for b89c75d
  tautschnig

  committed
  b89c75d

  Copy full SHA for b89c75d

• Use operator==(exprt, int) instead of is_one

  Show description for 1f22321
  tautschnig

  committed
  1f22321

  Copy full SHA for 1f22321

• Use operator==(exprt, bool)

  Show description for f721429
  tautschnig

  committed
  f721429

  Copy full SHA for f721429

• Make constant_exprt variant of operator== member functions

  Show description for bc7a091
  tautschnig

  committed
  bc7a091

  Copy full SHA for bc7a091

• operator== for exprt and bool, int, nullptr_t

  Show description for 8826514
  tautschnig

  committed
  8826514

  Copy full SHA for 8826514

Commits on Oct 15, 2025

• Add support for __builtin_nondeterministic_value

  Show description for e4be101
  tautschnig

  committed
  e4be101

  Copy full SHA for e4be101

Commits on Oct 14, 2025

• Merge pull request #8717 from tautschnig/popcount-flattening

  Show description for 724f2f7
  tautschnig

  authored
  724f2f7

  Copy full SHA for 724f2f7

Commits on Oct 13, 2025

• Implement popcount in flattening back-end

  Show description for c2d47e1
  tautschnig

  committed
  c2d47e1

  Copy full SHA for c2d47e1

• Merge pull request #8718 from tautschnig/less-than-flattening

  Show description for 558ef2f
  tautschnig

  authored
  558ef2f

  Copy full SHA for 558ef2f

• Merge pull request #8716 from tautschnig/use-sign_bit

  Show description for 4ed00e1
  tautschnig

  authored
  4ed00e1

  Copy full SHA for 4ed00e1

• Improve bv_utilst less-than-or-less-or-equals

  Show description for e73c451
  tautschnig

  committed
  e73c451

  Copy full SHA for e73c451

• Use bv_utilst::sign_bit

  Show description for 3fd45d8
  tautschnig

  committed
  3fd45d8

  Copy full SHA for 3fd45d8

• Merge pull request #8715 from diffblue/dependabot/github_actions/github/codeql-action-4

  Show description for 46f9d54
  tautschnig

  authored
  46f9d54

  Copy full SHA for 46f9d54

• Bump github/codeql-action from 3 to 4

  Show description for b2e4d4b
  dependabot[bot]

  authored
  b2e4d4b

  Copy full SHA for b2e4d4b

Commits on Oct 12, 2025

• Merge pull request #8324 from tautschnig/bugfixes/mathematical-types

  Show description for 8896f3d
  tautschnig

  authored
  8896f3d

  Copy full SHA for 8896f3d

Pagination

Previous

Next