Commits

Branch selector

 cbmc-6.1.0

User selector

All users

Datepicker

All time

Commit History

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 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

• Merge pull request #8369 from tautschnig/fix-cleanup

  Show description for b3f1e71
  kroening

  authored
  b3f1e71

  Copy full SHA for b3f1e71

• Merge pull request #8368 from tautschnig/gcc-14-compat

  Show description for 40572a1
  tautschnig

  authored
  40572a1

  Copy full SHA for 40572a1

Commits on Jul 9, 2024

• Merge pull request #8339 from tautschnig/codecov-multiple-platforms

  Show description for 324565d
  tautschnig

  authored
  324565d

  Copy full SHA for 324565d

• Merge pull request #8341 from tautschnig/update-homebrew-action

  Show description for 8d3c22a
  tautschnig

  authored
  8d3c22a

  Copy full SHA for 8d3c22a

• Merge pull request #8371 from tautschnig/fnctl

  Show description for 7dd334f
  tautschnig

  authored
  7dd334f

  Copy full SHA for 7dd334f

Commits on Jul 5, 2024

• Add support for building with GCC 14

  Show description for 560a588
  tautschnig

  committed
  560a588

  Copy full SHA for 560a588

• C library: __fcntl_time64 for Debian/ARM

  Show description for fc8c762
  tautschnig

  committed
  fc8c762

  Copy full SHA for fc8c762

• Regression test: support big and little endian

  Show description for ec2239c
  tautschnig

  committed
  ec2239c

  Copy full SHA for ec2239c

• Regression cleanup: don't repeatedly remove the same file

  Show description for 1918cde
  tautschnig

  committed
  1918cde

  Copy full SHA for 1918cde

Commits on Jul 2, 2024

• Merge pull request #8359 from qinheping/feature/add_loop_contract_symbols_into_symbol_table

  Show description for 66ae03f
  tautschnig

  authored
  66ae03f

  Copy full SHA for 66ae03f

Pagination

Previous

Next