Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 29, 2024

• Merge pull request #8477 from diffblue/bitvector_width_biginteger

  Show description for 83922b2
  kroening

  authored
  83922b2

  Copy full SHA for 83922b2

Commits on Sep 28, 2024

• bitvector_typet: set width from mp_integer

  Show description for 0079017
  kroening

  committed
  0079017

  Copy full SHA for 0079017

Commits on Sep 27, 2024

• Merge pull request #8470 from tautschnig/loop_entry-arrays

  Show description for 4bd5c0a
  tautschnig

  authored
  4bd5c0a

  Copy full SHA for 4bd5c0a

Commits on Sep 26, 2024

• Merge pull request #8473 from diffblue/format-range_typet

  Show description for bcda5a9
  kroening

  authored
  bcda5a9

  Copy full SHA for bcda5a9

Commits on Sep 25, 2024

• format_type can now format range_typet

  Show description for 5826a8e
  kroening

  committed
  5826a8e

  Copy full SHA for 5826a8e

• Merge pull request #8471 from tautschnig/loops-man-pages

  Show description for 4c59d28
  kroening

  authored
  4c59d28

  Copy full SHA for 4c59d28

• Man pages: improve wording of unwinding-related options

  Show description for 36ba12e
  tautschnig

  committed
  36ba12e

  Copy full SHA for 36ba12e

Commits on Sep 24, 2024

• Contracts: document use of __CPROVER_loop_entry with arrays

  Show description for 095413f
  tautschnig

  committed
  095413f

  Copy full SHA for 095413f

Commits on Sep 23, 2024

• Merge pull request #8466 from diffblue/smt2-range

  Show description for a209b44
  kroening

  authored
  a209b44

  Copy full SHA for a209b44

Commits on Sep 22, 2024

• SMT2: implement range_type

  Show description for e21c686
  kroening

  committed
  e21c686

  Copy full SHA for e21c686

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

Pagination

Previous

Next