Commits

Branch selector

 cprover-web

User selector

All users

Datepicker

All time

Commit History

Commits on May 3, 2025

• CPROVER on the web

  kroening

  committed
  d8cb7d6

  Copy full SHA for d8cb7d6

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

• 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

Pagination

Previous

Next