Commits

Branch selector

 vs-nullptr

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 9, 2025

• 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

• Fix quantifiers with nested statement-expressions

  Show description for 8b319da
  

  qinheping

  authored and

  tautschnig

  committed
  8b319da

  Copy full SHA for 8b319da

• Merge pull request #8613 from tautschnig/no-20.04

  Show description for 41e9f3d
  tautschnig

  authored
  41e9f3d

  Copy full SHA for 41e9f3d

Commits on Apr 3, 2025

• Include-what-you-use: use clang to avoid spurious errors

  Show description for 32d6835
  tautschnig

  committed
  32d6835

  Copy full SHA for 32d6835

• CI: Remove use of Ubuntu 20.04

  Show description for 850dfa5
  tautschnig

  committed
  850dfa5

  Copy full SHA for 850dfa5

• Address include-what-you-use warnings

  Show description for 7540c49
  tautschnig

  committed
  7540c49

  Copy full SHA for 7540c49

• Apply use-after-free and empty-symbol-table fixes to Linux 5.10

  Show description for 30bd93d
  tautschnig

  committed
  30bd93d

  Copy full SHA for 30bd93d

Commits on Apr 2, 2025

• Library test no longer fails on Ubuntu 24.04

  Show description for d5d54c6
  tautschnig

  committed
  d5d54c6

  Copy full SHA for d5d54c6

• Merge pull request #8611 from tautschnig/cmake-min-version-fix

  Show description for fab6710
  tautschnig

  authored
  fab6710

  Copy full SHA for fab6710

• Use same CMake minimum version in DownloadProject configuration

  Show description for 6cbc63b
  tautschnig

  committed
  6cbc63b

  Copy full SHA for 6cbc63b

Commits on Mar 26, 2025

• Merge pull request #8609 from tautschnig/show-format-diff

  Show description for cd39b3a
  tautschnig

  authored
  cd39b3a

  Copy full SHA for cd39b3a

• Fix display of code changes in clang-format CI action

  Show description for daaed1d
  tautschnig

  committed
  daaed1d

  Copy full SHA for daaed1d

Commits on Mar 13, 2025

• Merge pull request #8607 from tautschnig/release-6.5.0

  Show description for 32143dd
  tautschnig

  authored
  32143dd

  Copy full SHA for 32143dd

• Release CBMC 6.5.0

  Show description for d52b560
  tautschnig

  committed
  d52b560

  Copy full SHA for d52b560

Commits on Mar 12, 2025

• Merge pull request #8605 from qinheping/quantifiers-with-statement-expressions

  Show description for e033ba1
  tautschnig

  authored
  e033ba1

  Copy full SHA for e033ba1

• Fix: Handle quantifiers with statement expressions in CBMC

  Show description for 5cdfb0b
  qinheping

  committed
  5cdfb0b

  Copy full SHA for 5cdfb0b

Pagination

Previous

Next