Code

Concurrent kore-rpc-booster#414

Code

Closed

goodlyrottenapple wants to merge 4 commits intomainruntimeverification/hs-backend-booster:mainfrom sam/concurrent-boosterruntimeverification/hs-backend-booster:sam/concurrent-boosterCopy head branch name to clipboard

+240-271

Commits

Commits on Dec 7, 2023

• update json rpc server

  goodlyrottenapple

  committed
  ff4c45f

  Copy full SHA for ff4c45f

• chain multiple calls in rpc-client

  goodlyrottenapple

  committed
  3ae8383

  Copy full SHA for 3ae8383

• format

  goodlyrottenapple

  committed
  e5cb3f6

  Copy full SHA for e5cb3f6

Commits on Dec 8, 2023

• Merge branch 'main' into sam/concurrent-booster

  goodlyrottenapple

  authored
  6bef957

  Copy full SHA for 6bef957