Commits

Branch selector

 cbmc-6.1.1

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 29, 2024

• Merge pull request #8398 from tautschnig/release-6.1.1

  Show description for b335979
  tautschnig

  authored
  b335979

  Copy full SHA for b335979

• Release CBMC 6.1.1

  tautschnig

  committed
  5eaa8ed

  Copy full SHA for 5eaa8ed

• Merge pull request #8397 from tautschnig/cadical-NDEBUG

  Show description for ffbd3eb
  tautschnig

  authored
  ffbd3eb

  Copy full SHA for ffbd3eb

• Compile CaDiCaL with -DNDEBUG

  Show description for c0fd50b
  tautschnig

  committed
  c0fd50b

  Copy full SHA for c0fd50b

Commits on Jul 26, 2024

• Merge pull request #8396 from diffblue/range-add-sub

  Show description for 9dbbada
  tautschnig

  authored
  9dbbada

  Copy full SHA for 9dbbada

• implement flattening for +/- for the range type

  Show description for 1a020c4
  kroening

  committed
  1a020c4

  Copy full SHA for 1a020c4

Commits on Jul 24, 2024

• Merge pull request #8383 from tautschnig/upgrade-cvc5

  Show description for bf58af8
  tautschnig

  authored
  bf58af8

  Copy full SHA for bf58af8

• Merge pull request #8395 from tautschnig/benchcomp-ci-fix

  Show description for 3a0d39b
  tautschnig

  authored
  3a0d39b

  Copy full SHA for 3a0d39b

• Enable higher verbosity for benchmarking

  Show description for 16a5e31
  tautschnig

  committed
  16a5e31

  Copy full SHA for 16a5e31

Commits on Jul 22, 2024

• Merge pull request #8394 from tautschnig/release-6.1.0

  Show description for 737d582
  tautschnig

  authored
  737d582

  Copy full SHA for 737d582

• Release CBMC version 6.1.0

  tautschnig

  committed
  542c428

  Copy full SHA for 542c428

• Merge pull request #8363 from tautschnig/temporaries-minimal-scope

  Show description for 3208438
  tautschnig

  authored
  3208438

  Copy full SHA for 3208438

• Merge pull request #8360 from qinheping/feature/check_side_effect_during_instrumentation

  Show description for 6c2d7cc
  qinheping

  authored
  6c2d7cc

  Copy full SHA for 6c2d7cc

• Check side effect of loop contracts during instrumentation

  qinheping

  committed
  2d416e1

  Copy full SHA for 2d416e1

Commits on Jul 20, 2024

• Merge pull request #8380 from tautschnig/bugfixes/contract-scope-8337

  Show description for 51b157f
  kroening

  authored
  51b157f

  Copy full SHA for 51b157f

Commits on Jul 18, 2024

• GOTO conversion: move out-only clean_expr parameter to return value

  Show description for cb2e20c
  tautschnig

  committed
  cb2e20c

  Copy full SHA for cb2e20c

• GOTO conversion: create temporaries with minimal scope

  Show description for bbd9de4
  tautschnig

  committed
  bbd9de4

  Copy full SHA for bbd9de4

Commits on Jul 17, 2024

• Merge pull request #8387 from tautschnig/bugfixes/bitwuzla-no-lambda

  Show description for c7d7704
  kroening

  authored
  c7d7704

  Copy full SHA for c7d7704

• SMT2 back-end: Bitwuzla does not support lambda expressions

  Show description for 8cb979e
  tautschnig

  committed
  8cb979e

  Copy full SHA for 8cb979e

Commits on Jul 16, 2024

• Merge pull request #8377 from QinyuanWu/develop

  Show description for 82bbeb8
  tautschnig

  authored
  82bbeb8

  Copy full SHA for 82bbeb8

• add loop contract examples, __CPROVER_loop_entry, remove __CPROVER_entry_old

  Show description for 59646b3
  

  QinyuanWu

  authored and

  QinyuanWu

  committed
  59646b3

  Copy full SHA for 59646b3

Commits on Jul 15, 2024

• CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2

  Show description for 3e38d2c
  tautschnig

  committed
  3e38d2c

  Copy full SHA for 3e38d2c

Commits on Jul 12, 2024

• Merge pull request #8379 from tautschnig/bugfixes/smt2-value-check-8365

  Show description for 2523f2c
  tautschnig

  authored
  2523f2c

  Copy full SHA for 2523f2c

• Merge pull request #8381 from tautschnig/bugfixes/recent-ubuntu-8193

  Show description for e4c8c5b
  kroening

  authored
  e4c8c5b

  Copy full SHA for e4c8c5b

• SMT2 back-end: detect when solver returns unexpected model

  Show description for b0eedde
  tautschnig

  committed
  b0eedde

  Copy full SHA for b0eedde

• Update Xen integration test Docker image

  Show description for 8a9c6b2
  tautschnig

  committed
  8a9c6b2

  Copy full SHA for 8a9c6b2

• C front-end: place requires and ensures in designated scope

  Show description for f008664
  tautschnig

  committed
  f008664

  Copy full SHA for f008664

• Merge pull request #8376 from tautschnig/bugfixes/complex-8375

  Show description for 3dcc1c7
  tautschnig

  authored
  3dcc1c7

  Copy full SHA for 3dcc1c7

• Fix multiplication and division of complex numbers

  Show description for e449479
  tautschnig

  committed
  e449479

  Copy full SHA for e449479

Commits on Jul 11, 2024

• Merge pull request #8370 from tautschnig/endianness-tests

  Show description for 629dbcd
  kroening

  authored
  629dbcd

  Copy full SHA for 629dbcd

Commits on Jul 10, 2024

• Merge pull request #8361 from qinheping/issue/8329

  Show description for 8ccc168
  qinheping

  authored
  8ccc168

  Copy full SHA for 8ccc168

• Merge pull request #7857 from tautschnig/cleanup/no-winbug

  Show description for f02b7bf
  kroening

  authored
  f02b7bf

  Copy full SHA for f02b7bf

• Make sure free symbols are declared in SMT2_conv after quantifier rewriting

  Show description for ab12de4
  

  qinheping

  authored and

  tautschnig

  committed
  ab12de4

  Copy full SHA for ab12de4

• Add a test on which SMT2 fail with quantifers in nested loop contracts

  

  qinheping

  authored and

  tautschnig

  committed
  1ed46d5

  Copy full SHA for 1ed46d5

• Purge winbug from regression tests

  Show description for 06a3e16
  tautschnig

  committed
  06a3e16

  Copy full SHA for 06a3e16

Pagination

Previous

Next