Code

APRProof get_steps optimizations#4585

Code

Merged

rv-jenkins merged 6 commits intodevelopruntimeverification/k:developfrom noah/zero-depth-optimizationruntimeverification/k:noah/zero-depth-optimizationCopy head branch name to clipboardAug 14, 2024

+16-3

Commits

Commits on Aug 13, 2024

• Remove extra unnecessary call to nonzero_depth, short-circuit traversal in most cases

  nwatson22

  committed
  bb49b6d

  Copy full SHA for bb49b6d

• Fix edge case where nodes are the same node

  nwatson22

  committed
  705688b

  Copy full SHA for 705688b

Commits on Aug 14, 2024

• Merge branch 'develop' into noah/zero-depth-optimization

  nwatson22

  authored
  df2ea88

  Copy full SHA for df2ea88

• Clean up

  nwatson22

  committed
  ffb6b5f

  Copy full SHA for ffb6b5f

• Merge branch 'noah/zero-depth-optimization' of https://github.com/runtimeverification/k into noah/zero-depth-optimization

  nwatson22

  committed
  55098ae

  Copy full SHA for 55098ae

• Merge branch 'develop' into noah/zero-depth-optimization

  PetarMax

  authored
  d792bf4

  Copy full SHA for d792bf4