Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 27, 2025

• Merge pull request #8666 from tautschnig/remove-make_with_expr

  Show description for 4cc3f54
  kroening

  authored
  4cc3f54

  Copy full SHA for 4cc3f54

Commits on Jun 26, 2025

• Merge pull request #8667 from tautschnig/release-6.7.0

  Show description for 5d1438a
  tautschnig

  authored
  5d1438a

  Copy full SHA for 5d1438a

Commits on Jun 25, 2025

• Release CBMC 6.7.0

  Show description for d604e40
  tautschnig

  committed
  d604e40

  Copy full SHA for d604e40

• fixup! Value set: lift offset from numeric constants to expressions

  Show description for 3360696
  tautschnig

  committed
  3360696

  Copy full SHA for 3360696

• Merge pull request #8649 from tautschnig/fix-quantifier-conversion

  Show description for eeb8689
  remi-delmas-3000

  authored
  eeb8689

  Copy full SHA for eeb8689

• Merge pull request #8627 from tautschnig/simp_mult_offset

  Show description for 2bba498
  tautschnig

  authored
  2bba498

  Copy full SHA for 2bba498

• Merge pull request #8450 from tautschnig/no-make_and

  Show description for c524281
  tautschnig

  authored
  c524281

  Copy full SHA for c524281

• Deprecate make_and in favour of conjunction(expr, expr)

  Show description for 18761f9
  tautschnig

  committed
  18761f9

  Copy full SHA for 18761f9

• Simplify multiple-of-element size access to arrays

  Show description for 78839a9
  tautschnig

  committed
  78839a9

  Copy full SHA for 78839a9

• Tests to demonstrate need for offset pattern matching

  Show description for c248082
  tautschnig

  committed
  c248082

  Copy full SHA for c248082

• Merge pull request #8572 from tautschnig/arm-ci

  Show description for 5cd085b
  tautschnig

  authored
  5cd085b

  Copy full SHA for 5cd085b

• Remove deprecated make_with_expr

  Show description for b372a59
  tautschnig

  committed
  b372a59

  Copy full SHA for b372a59

• Add aarch64 (Arm 64-bit) CI job

  Show description for 431f460
  tautschnig

  committed
  431f460

  Copy full SHA for 431f460

• Fully support aarch64 ABI's va_list struct

  Show description for 0f91a44
  tautschnig

  committed
  0f91a44

  Copy full SHA for 0f91a44

• Tests only passes for signed char

  Show description for ce11a71
  tautschnig

  committed
  ce11a71

  Copy full SHA for ce11a71

• Add support for Arm-specific vector types

  Show description for ce4bf23
  tautschnig

  committed
  ce4bf23

  Copy full SHA for ce4bf23

• Increase test execution timeout

  Show description for 52d2172
  tautschnig

  committed
  52d2172

  Copy full SHA for 52d2172

• Merge pull request #8645 from tautschnig/move-unwindsett

  Show description for 7a6e2f7
  kroening

  authored
  7a6e2f7

  Copy full SHA for 7a6e2f7

Commits on Jun 24, 2025

• Merge pull request #8659 from tautschnig/goto-analyzer-typecast

  Show description for 4e21449
  tautschnig

  authored
  4e21449

  Copy full SHA for 4e21449

• Merge pull request #8647 from tautschnig/value-set-offset

  Show description for 0beaf25
  tautschnig

  authored
  0beaf25

  Copy full SHA for 0beaf25

• Value set: lift offset from numeric constants to expressions

  Show description for 056be83
  tautschnig

  committed
  056be83

  Copy full SHA for 056be83

• value_sett: replace uses of `throw` by invariants

  Show description for 7fc006e
  tautschnig

  committed
  7fc006e

  Copy full SHA for 7fc006e

• Additional unit tests for value_sett

  Show description for 1f2fd5a
  tautschnig

  committed
  1f2fd5a

  Copy full SHA for 1f2fd5a

• Ensure test only fails as originally designed

  Show description for 2ce536c
  tautschnig

  committed
  2ce536c

  Copy full SHA for 2ce536c

Commits on Jun 20, 2025

• Merge pull request #8642 from tautschnig/simp-value-set

  Show description for eef9677
  tautschnig

  authored
  eef9677

  Copy full SHA for eef9677

• goto-analyzer: support typecasts as left-hand sides

  Show description for 29421f3
  tautschnig

  committed
  29421f3

  Copy full SHA for 29421f3

• Merge pull request #8657 from tautschnig/fixup-linker-script-merge

  Show description for 0bb2d02
  tautschnig

  authored
  0bb2d02

  Copy full SHA for 0bb2d02

• Merge pull request #8658 from tautschnig/no-m64

  Show description for 7e1a97a
  tautschnig

  authored
  7e1a97a

  Copy full SHA for 7e1a97a

• Merge pull request #8584 from tautschnig/signed-read

  Show description for 8e49f91
  tautschnig

  authored
  8e49f91

  Copy full SHA for 8e49f91

• Simplify equal/not-equal over pointer_object expressions using value set

  Show description for 803954a
  tautschnig

  committed
  803954a

  Copy full SHA for 803954a

• Simplify pointer_offset using value set

  Show description for 8143cbf
  tautschnig

  committed
  8143cbf

  Copy full SHA for 8143cbf

• Use simplify_expr_with_value_sett across goto-symex

  Show description for 08f37c2
  tautschnig

  committed
  08f37c2

  Copy full SHA for 08f37c2

• Introduce value-set supported simplifier for goto-symex

  Show description for 33c9933
  tautschnig

  committed
  33c9933

  Copy full SHA for 33c9933

• Avoid need for preprocessor calls with -m64

  Show description for 87bd5ac
  tautschnig

  committed
  87bd5ac

  Copy full SHA for 87bd5ac

• linker_script_merge: clang-format (15) lambdas

  tautschnig

  committed
  2e054be

  Copy full SHA for 2e054be

Pagination

Previous

Next