Code

Concurrent kore-rpc server#3704

Code

Merged

goodlyrottenapple merged 10 commits intomasterruntimeverification/haskell-backend:masterfrom sam/concurrent-koreruntimeverification/haskell-backend:sam/concurrent-koreCopy head branch name to clipboardDec 14, 2023

+1,553-53

Commits

Commits on Dec 12, 2023

• return module ids for add-module

  goodlyrottenapple

  committed
  01a5876

  Copy full SHA for 01a5876

• short-circuit if the module already exists in indexedModules map

  goodlyrottenapple

  committed
  0248a44

  Copy full SHA for 0248a44

• move new DuplicateModule error to the end so as to not change the error codes of the successive errors

  goodlyrottenapple

  committed
  721c7ef

  Copy full SHA for 721c7ef

Commits on Dec 13, 2023

• use take/putMVar to prevent concurrency bugs when two threads try to add a module at the same time

  goodlyrottenapple

  committed
  c2ed4ae

  Copy full SHA for c2ed4ae

• fix add-module rpc test

  goodlyrottenapple

  committed
  be69ad7

  Copy full SHA for be69ad7

• add name-as-id

  goodlyrottenapple

  committed
  35f014e

  Copy full SHA for 35f014e

• only verify the module once and then make a copy with original name if name-as-id is true

  goodlyrottenapple

  committed
  e036e7e

  Copy full SHA for e036e7e

• Format with fourmolu

  

  github-actions

  committed
  20ba138

  Copy full SHA for 20ba138

Commits on Dec 14, 2023

• make add-module idempotent when the content is exactly the same even when name-as-id is true

  goodlyrottenapple

  committed
  be0240b

  Copy full SHA for be0240b

• Format with fourmolu

  

  github-actions

  committed
  b469495

  Copy full SHA for b469495