Code

Remove KLabel variables#3877

Code

Merged

rv-jenkins merged 5 commits intodevelopruntimeverification/k:developfrom klabel-var-checkruntimeverification/k:klabel-var-checkCopy head branch name to clipboardDec 15, 2023

+79-68

Commits

Commits on Dec 13, 2023

• Remove logic related to KLabel variables.

  Scott-Guest

  committed
  148f466

  Copy full SHA for 148f466

• Merge branch 'develop' into klabel-var-check

  Scott-Guest

  authored
  80be52f

  Copy full SHA for 80be52f

Commits on Dec 14, 2023

• Update issue-1528 output due to flakiness with specific values of fresh integers

  Scott-Guest

  committed
  ebc6132

  Copy full SHA for ebc6132

Commits on Dec 15, 2023

• Merge branch 'develop' into klabel-var-check

  Scott-Guest

  authored
  1fa81d0

  Copy full SHA for 1fa81d0

• Merge branch 'develop' into klabel-var-check

  rv-jenkins

  authored
  f915fd6

  Copy full SHA for f915fd6