Code

Status bar improvements#4575

Code

Merged

PetarMax merged 4 commits intodevelopruntimeverification/k:developfrom noah/show-node-refutationsruntimeverification/k:noah/show-node-refutationsCopy head branch name to clipboardAug 7, 2024

+5-2

Commits

Commits on Aug 6, 2024

• Add # of refuted nodes to status bar display

  nwatson22

  committed
  c47859d

  Copy full SHA for c47859d

• Merge branch 'develop' into noah/show-node-refutations

  nwatson22

  authored
  ad24e26

  Copy full SHA for ad24e26

• Group information, give more meaningful definition of branches

  nwatson22

  committed
  6df6cbc

  Copy full SHA for 6df6cbc

• Merge branch 'noah/show-node-refutations' of https://github.com/runtimeverification/k into noah/show-node-refutations

  nwatson22

  committed
  376480f

  Copy full SHA for 376480f