Code

Permit re-setting --object-bits#7858

Code

Merged

kroening merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:features/objects-bits-set-uptautschnig/cbmc:features/objects-bits-set-upCopy head branch name to clipboard

May 1, 2024

Commits

Commits on Apr 23, 2024

• Nondet-static: also update symbol table

  Show description for 944c151
  tautschnig

  committed
  944c151

  Copy full SHA for 944c151

• Permit re-setting --object-bits

  Show description for 428375a
  tautschnig

  committed
  428375a

  Copy full SHA for 428375a

• Do not use back-end pointer encoding details in the simplifier

  Show description for fb578a6
  tautschnig

  committed
  fb578a6

  Copy full SHA for fb578a6

• Mark pointer-in-range-requires test as expensive

  Show description for 97e2439
  tautschnig

  committed
  97e2439

  Copy full SHA for 97e2439