Code

Per-session kore-rpc server state#3702

Code

Closed

goodlyrottenapple wants to merge 4 commits intomasterruntimeverification/haskell-backend:masterfrom sam/concurrent-kore-rpcruntimeverification/haskell-backend:sam/concurrent-kore-rpcCopy head branch name to clipboard

+73-58

Commits

Commits on Dec 6, 2023

• Make server state per session

  goodlyrottenapple

  committed
  65d9458

  Copy full SHA for 65d9458

• hlint

  goodlyrottenapple

  committed
  0eaa842

  Copy full SHA for 0eaa842

Commits on Dec 7, 2023

• swapMVar instead of putMVar

  goodlyrottenapple

  committed
  7594ec6

  Copy full SHA for 7594ec6

• Merge branch 'master' into sam/concurrent-kore-rpc

  goodlyrottenapple

  authored
  67a4029

  Copy full SHA for 67a4029