Commits

Branch selector

 cbmc-6.3.1

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 19, 2024

• Merge pull request #8462 from tautschnig/release-6.3.1

  Show description for d2b4455
  tautschnig

  authored
  d2b4455

  Copy full SHA for d2b4455

• Release CBMC 6.3.1

  Show description for e7220f6
  tautschnig

  committed
  e7220f6

  Copy full SHA for e7220f6

• Merge pull request #8461 from tautschnig/fix-aarch64-va_list

  Show description for 0831d00
  tautschnig

  authored
  0831d00

  Copy full SHA for 0831d00

• C library: Apple does not adhere to aarch64 ABI

  Show description for 9c9b52e
  tautschnig

  committed
  9c9b52e

  Copy full SHA for 9c9b52e

• Merge pull request #8460 from tautschnig/release-6.3.0

  Show description for 5bd494a
  tautschnig

  authored
  5bd494a

  Copy full SHA for 5bd494a

• Release CBMC 6.3.0

  Show description for e8610a5
  tautschnig

  committed
  e8610a5

  Copy full SHA for e8610a5

• Merge pull request #8366 from tautschnig/fix-8357-va_list

  Show description for 9e883f5
  tautschnig

  authored
  9e883f5

  Copy full SHA for 9e883f5

Commits on Sep 18, 2024

• C library: fix use of va_list for AARCH64

  Show description for 40a3dbb
  tautschnig

  committed
  40a3dbb

  Copy full SHA for 40a3dbb

Commits on Sep 17, 2024

• Merge pull request #8458 from tautschnig/loop-invariants-conjunction-splitting

  Show description for d87b506
  tautschnig

  authored
  d87b506

  Copy full SHA for d87b506

• Contracts/DFCC: split conjunctions in loop invariants

  Show description for eb5466d
  tautschnig

  committed
  eb5466d

  Copy full SHA for eb5466d

• Merge pull request #8459 from tautschnig/contracts-remove-do-while-0

  Show description for f68cf8c
  tautschnig

  authored
  f68cf8c

  Copy full SHA for f68cf8c

• Merge pull request #8457 from diffblue/format_expr_bv_constant

  Show description for 46c1b0f
  kroening

  authored
  46c1b0f

  Copy full SHA for 46c1b0f

• Contracts: always remove spurious do {... } while(0) loops

  Show description for d4afdd2
  tautschnig

  committed
  d4afdd2

  Copy full SHA for d4afdd2

Commits on Sep 16, 2024

• format_expr now prints bv-typed constants

  Show description for 2ed72b0
  kroening

  committed
  2ed72b0

  Copy full SHA for 2ed72b0

Commits on Sep 13, 2024

• Merge pull request #8449 from tautschnig/use-boolean_negate

  Show description for 5002f3b
  tautschnig

  authored
  5002f3b

  Copy full SHA for 5002f3b

• Use boolean_negate for immediate simplification

  Show description for f63dfa9
  tautschnig

  committed
  f63dfa9

  Copy full SHA for f63dfa9

• Merge pull request #8448 from tautschnig/move-make_with_expr

  Show description for 2212cd6
  tautschnig

  authored
  2212cd6

  Copy full SHA for 2212cd6

• Merge pull request #8432 from lks9/doc_8428

  Show description for e08b025
  peterschrammel

  authored
  e08b025

  Copy full SHA for e08b025

• Move make_with_expr to update_exprt

  Show description for 1aa2d83
  tautschnig

  committed
  1aa2d83

  Copy full SHA for 1aa2d83

• Merge pull request #8445 from tautschnig/move-is_null_pointer

  Show description for dc8793c
  tautschnig

  authored
  dc8793c

  Copy full SHA for dc8793c

• Merge branch 'develop' into doc_8428

  lks9

  committed
  78f208c

  Copy full SHA for 78f208c

Commits on Sep 12, 2024

• Merge pull request #8418 from tautschnig/lazy_goto_model-no-dynamic_cast

  Show description for f0543bd
  kroening

  authored
  f0543bd

  Copy full SHA for f0543bd

• Merge pull request #8391 from diffblue/exception-constructors

  Show description for a29e933
  kroening

  authored
  a29e933

  Copy full SHA for a29e933

Commits on Sep 11, 2024

• Merge pull request #8444 from tautschnig/fix-missing-locs

  Show description for 29d6f31
  tautschnig

  authored
  29d6f31

  Copy full SHA for 29d6f31

Commits on Sep 10, 2024

• is_null_pointer: remove code path that is no longer necessary

  Show description for 7b47e9f
  tautschnig

  committed
  7b47e9f

  Copy full SHA for 7b47e9f

• Move is_null_pointer to constant_exprt

  Show description for 42b70b2
  tautschnig

  committed
  42b70b2

  Copy full SHA for 42b70b2

• Goto conversion: fix missing source locations

  Show description for 68c39bd
  tautschnig

  committed
  68c39bd

  Copy full SHA for 68c39bd

Commits on Sep 5, 2024

• Merge pull request #8440 from tautschnig/fix-python-syntax-error

  Show description for 4ae54e6
  tautschnig

  authored
  4ae54e6

  Copy full SHA for 4ae54e6

• Merge pull request #8438 from tautschnig/fix-8436-conversion

  Show description for d67648a
  tautschnig

  authored
  d67648a

  Copy full SHA for d67648a

• Merge pull request #8441 from diffblue/zero_expr

  Show description for 71ee177
  kroening

  authored
  71ee177

  Copy full SHA for 71ee177

• Fix Python syntax error in doxygen markdown preprocessor

  Show description for 1575214
  tautschnig

  committed
  1575214

  Copy full SHA for 1575214

• introduce zero_expr() and one_expr() for number types

  Show description for 9fba581
  kroening

  committed
  9fba581

  Copy full SHA for 9fba581

• Fix Alpine's assert-statement conversion special case

  Show description for 4b5fae8
  tautschnig

  committed
  4b5fae8

  Copy full SHA for 4b5fae8

• Merge pull request #8430 from tautschnig/no-bound-var-rewrite

  Show description for dd54106
  tautschnig

  authored
  dd54106

  Copy full SHA for dd54106

• Merge pull request #8435 from tautschnig/debug-cmake-fail

  Show description for faf92c5
  tautschnig

  authored
  faf92c5

  Copy full SHA for faf92c5

Pagination

Previous

Next