CBMC

cbmc:state_labels

  1. Git
  2. lp:cbmc
  3. state_labels
Last commit made on 2022-11-11
Get this branch:
git clone -b state_labels https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
state_labels
Repository:
lp:cbmc

Recent commits

bd0a58e... by Daniel Kroening <email address hidden>

introduce state labels

0060417... by Michael Tautschnig <email address hidden>

Merge pull request #6892 from tautschnig/cleanup/no-code

GOTO programs do not have code-typed struct members

f254d1a... by Qinheping Hu <email address hidden>

Merge pull request #7318 from qinheping/loop-contract-simplification

CONTRACTS: Unwind transformed loops after loop contract transformation

d5c5872... by Jim Grundy <email address hidden>

Merge pull request #7320 from diffblue/jimgrundy-owner-update

Update CODEOWNERS to add Daniel Kroening as an owner for src/memory-analyzer

af3967f... by Daniel Kroening <email address hidden>

Merge pull request #6838 from tautschnig/cleanup/malloc-0

Document and use malloc(0) behaviour

a295651... by Jim Grundy <email address hidden>

Update CODEOWNERS

Adding @kroening as a code-owner to /src/memory-analyzer to maintain at least two _active_ owners for each unit.

aecc7b4... by Qinheping Hu <email address hidden>

CONTRACTS: Unwind loops after loop contract transformation

fee1d3e... by Michael Tautschnig <email address hidden>

Merge pull request #7316 from tautschnig/bugfixes/lexical-exit-early

goto-instrument --show-lexical-loops: exit early

266b633... by Fotis Koutoulakis <email address hidden>

Merge pull request #7315 from NlightNFotis/cbmc-5.70.0

Mark CBMC version 5.70.0

75cd6a8... by Michael Tautschnig <email address hidden>

goto-instrument --show-lexical-loops: exit early

To be consistent with other --show-* operations in goto-instrument we
should exit right after having displayed the loop information.