Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

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

Commits on Apr 7, 2025

• Refine-arithmetic supports simplifier

  Show description for 4648353
  peterschrammel

  committed
  4648353

  Copy full SHA for 4648353

Commits on Apr 6, 2025

• Merge pull request #8618 from diffblue/quantifiers

  Show description for 0f0aff9
  tautschnig

  authored
  0f0aff9

  Copy full SHA for 0f0aff9

Commits on Apr 5, 2025

• Replace conditions in quantified statement expressions

  qinheping

  committed
  6948699

  Copy full SHA for 6948699

Commits on Apr 4, 2025

• Merge pull request #8595 from mgudemann/fix/remove_set_but_unused_variables

  Show description for df9adc9
  tautschnig

  authored
  df9adc9

  Copy full SHA for df9adc9

• Merge pull request #8583 from tautschnig/remove-count

  Show description for 831adaf
  tautschnig

  authored
  831adaf

  Copy full SHA for 831adaf

• Merge pull request #8585 from tautschnig/cvc5-1.2.0

  Show description for 849aeaf
  tautschnig

  authored
  849aeaf

  Copy full SHA for 849aeaf

• Merge pull request #8587 from tautschnig/fix-bash-completion

  Show description for 0dc8704
  tautschnig

  authored
  0dc8704

  Copy full SHA for 0dc8704

• Merge pull request #8616 from diffblue/quantifiers_with_statement_expresssion

  Show description for 16f3ba8
  tautschnig

  authored
  16f3ba8

  Copy full SHA for 16f3ba8

• Remove set but not used variables

  Show description for 0e7b4ac
  mgudemann

  committed
  0e7b4ac

  Copy full SHA for 0e7b4ac

• Remove unused {c,java}_qualifierst::count

  Show description for ccfc684
  tautschnig

  committed
  ccfc684

  Copy full SHA for ccfc684

• Upgrade CVC5 in CI to 1.2.1

  Show description for 44a77b3
  tautschnig

  committed
  44a77b3

  Copy full SHA for 44a77b3

• Fix filename completion in bash autocompletion

  Show description for 1e71b4d
  tautschnig

  committed
  1e71b4d

  Copy full SHA for 1e71b4d

Pagination

Previous

Next