Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

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

• 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

• fixup! fix exprt::opX accesses in linker_script_merge

  Show description for 0ebe821
  tautschnig

  committed
  0ebe821

  Copy full SHA for 0ebe821

Commits on Jun 19, 2025

• Merge pull request #8660 from tautschnig/use-vs-2025

  Show description for c9653bd
  kroening

  authored
  c9653bd

  Copy full SHA for c9653bd

Commits on Jun 17, 2025

• CI: use Visual Studio 2025 runners instead of 2019

  Show description for 3b75303
  tautschnig

  committed
  3b75303

  Copy full SHA for 3b75303

Commits on Jun 13, 2025

• Merge pull request #8655 from rod-chapman/less_verbose_contract_warnings

  Show description for 34dc8dc
  kroening

  authored
  34dc8dc

  Copy full SHA for 34dc8dc

• Change the

  Show description for 29e7ba5
  rod-chapman

  committed
  29e7ba5

  Copy full SHA for 29e7ba5

Commits on Jun 10, 2025

• Merge pull request #8608 from tautschnig/simp-quant

  Show description for e81ad69
  kroening

  authored
  e81ad69

  Copy full SHA for e81ad69

Commits on Jun 3, 2025

• Merge pull request #8650 from diffblue/run-with-pipe

  Show description for beb96b9
  tautschnig

  authored
  beb96b9

  Copy full SHA for beb96b9

• Remove popen comment that no longer applies

  tautschnig

  committed
  c4a738b

  Copy full SHA for c4a738b

Commits on Jun 2, 2025

• run(..., std::ostream &, ...) with pipe

  Show description for d4194dd
  kroening

  committed
  d4194dd

  Copy full SHA for d4194dd

• Merge pull request #8648 from diffblue/use-size_t

  Show description for f1faa61
  tautschnig

  authored
  f1faa61

  Copy full SHA for f1faa61

Commits on Jun 1, 2025

• use std::size_t for an instruction count

  Show description for 8bc2048
  kroening

  committed
  8bc2048

  Copy full SHA for 8bc2048

• use std::size_t for goto-instruction step_nr

  Show description for cfa04a3
  kroening

  committed
  cfa04a3

  Copy full SHA for cfa04a3

Commits on May 28, 2025

• Merge pull request #8644 from tautschnig/goto-checker-dep

  Show description for fc412c7
  kroening

  authored
  fc412c7

  Copy full SHA for fc412c7

Commits on May 27, 2025

• goto-checker no longer depends on cbmc

  Show description for 6853657
  tautschnig

  committed
  6853657

  Copy full SHA for 6853657

• Merge pull request #8641 from diffblue/shell-quote-fix

  Show description for 50be009
  kroening

  authored
  50be009

  Copy full SHA for 50be009

• fix shell quoting

  Show description for 9b0a0c3
  kroening

  committed
  9b0a0c3

  Copy full SHA for 9b0a0c3

Commits on Apr 29, 2025

• Simplify quantified expressions over constants

  Show description for 6a8e038
  tautschnig

  committed
  6a8e038

  Copy full SHA for 6a8e038

Commits on Apr 28, 2025

• Merge pull request #8632 from tautschnig/release-6.6.0

  Show description for 3c915eb
  tautschnig

  authored
  3c915eb

  Copy full SHA for 3c915eb

• Release CBMC 6.6.0

  Show description for b27429c
  tautschnig

  committed
  b27429c

  Copy full SHA for b27429c

• Merge pull request #8628 from tautschnig/do-not-instrument-unused-functions

  Show description for 7909d15
  tautschnig

  authored
  7909d15

  Copy full SHA for 7909d15

• DFCC: generate assert(0); assume(0); function bodies as needed

  Show description for 0c5644b
  tautschnig

  committed
  0c5644b

  Copy full SHA for 0c5644b

• DFCC instrumentation: skip unused functions

  Show description for c78b4c8
  tautschnig

  committed
  c78b4c8

  Copy full SHA for c78b4c8

• Merge pull request #8631 from tautschnig/parallel-use-github-mirror

  Show description for 9db5b1a
  tautschnig

  authored
  9db5b1a

  Copy full SHA for 9db5b1a

• Update OpenBSD to release 7.6

  Show description for e84d0a3
  tautschnig

  committed
  e84d0a3

  Copy full SHA for e84d0a3

• Use GitHub mirror to download GNU parallel

  Show description for 7c62504
  tautschnig

  committed
  7c62504

  Copy full SHA for 7c62504

Pagination

Previous

Next