Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

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

Commits on Apr 11, 2025

• Merge pull request #8623 from diffblue/c23-2

  Show description for 5dc709d
  kroening

  authored
  5dc709d

  Copy full SHA for 5dc709d

Commits on Apr 10, 2025

• C23 keywords

  Show description for b1808c3
  kroening

  committed
  b1808c3

  Copy full SHA for b1808c3

• Merge pull request #8625 from diffblue/c-conditional-keyword

  Show description for 0b000a3
  kroening

  authored
  0b000a3

  Copy full SHA for 0b000a3

Commits on Apr 9, 2025

• Merge pull request #8626 from diffblue/ansi-c-double-loc

  Show description for bded65a
  tautschnig

  authored
  bded65a

  Copy full SHA for bded65a

• ansi-c: more use of conditional_keyword

  Show description for d948592
  kroening

  committed
  d948592

  Copy full SHA for d948592

• ansi-c: remove duplicate loc() invocations from scanner

  Show description for 7b1ae4a
  kroening

  committed
  7b1ae4a

  Copy full SHA for 7b1ae4a

• Merge pull request #8624 from diffblue/vs-nullptr

  Show description for 3b5e608
  tautschnig

  authored
  3b5e608

  Copy full SHA for 3b5e608

• Visual Studio recognises __nullptr in C++ mode

  Show description for d6f3bfc
  kroening

  committed
  d6f3bfc

  Copy full SHA for d6f3bfc

• Merge pull request #8622 from diffblue/scanner-token-names

  Show description for cbdab7f
  kroening

  authored
  cbdab7f

  Copy full SHA for cbdab7f

• Merge pull request #8621 from diffblue/ansi-c-conditional-keyword

  Show description for cbe0fb0
  kroening

  authored
  cbe0fb0

  Copy full SHA for cbe0fb0

• ansi-c: add "" around C++ keywords

  Show description for 9fbdf4b
  kroening

  committed
  9fbdf4b

  Copy full SHA for 9fbdf4b

• ansi-c: introduce conditional_keyword(c, t)

  Show description for ce7029f
  kroening

  committed
  ce7029f

  Copy full SHA for ce7029f

• Merge pull request #8620 from diffblue/c23

  Show description for 854e013
  tautschnig

  authored
  854e013

  Copy full SHA for 854e013

• C17 and C23 support

  kroening

  committed
  4531fa6

  Copy full SHA for 4531fa6

Commits on Apr 8, 2025

• Merge pull request #8619 from peterschrammel/ps/fix-refine-arithmetic-simplifier

  Show description for 10a14c9
  tautschnig

  authored
  10a14c9

  Copy full SHA for 10a14c9

Pagination

Previous

Next