Code

Add #trace debugging hook#2560

Code

Merged

rv-jenkins merged 5 commits intomasterruntimeverification/k:masterfrom trace-hookruntimeverification/k:trace-hookCopy head branch name to clipboardJun 24, 2022

+43

Commits

Commits on Jun 23, 2022

• Add hook to K-IO

  Baltoli

  committed
  7febc65

  Copy full SHA for 7febc65

• Add test for new #trace hook

  Baltoli

  committed
  7788069

  Copy full SHA for 7788069

• Comment explaining cache

  Baltoli

  committed
  00de9d6

  Copy full SHA for 00de9d6

• Ensure that builtin sorts work

  Baltoli

  committed
  3b25304

  Copy full SHA for 3b25304

Commits on Jun 24, 2022

• Merge branch 'master' into trace-hook

  rv-jenkins

  authored
  8327eb0

  Copy full SHA for 8327eb0