use TMChan instead of TChan to indicate when a session was terminated#3727

Draft

goodlyrottenapple wants to merge 14 commits intomasterfrom sam/rpc-server-terminate-session-on-socket-close

+30-17

Commits on Feb 21, 2024

use TMChan instead of TChan to indicate when a session was terminated
goodlyrottenapple
committed
Format with fourmolu
github-actions
committed
close TMChan
goodlyrottenapple
committed
Merge branch 'sam/rpc-server-terminate-session-on-socket-close' of github.com:runtimeverification/haskell-backend into sam/rpc-server-terminate-session-on-socket-close
goodlyrottenapple
committed
Format with fourmolu
github-actions
committed
Format with fourmolu
github-actions
committed
switch from putStrLn to logging
goodlyrottenapple
committed
merge
goodlyrottenapple
committed
Format with fourmolu
github-actions
committed

Commits on Feb 22, 2024

Clean-up
geo2a
committed

Commits on Feb 23, 2024

Merge branch 'master' into sam/rpc-server-terminate-session-on-socket-close
geo2a
authored

Commits on Feb 29, 2024

Merge branch 'master' into sam/rpc-server-terminate-session-on-socket-close
geo2a
authored

Commits on Mar 11, 2024

Merge branch 'master' into sam/rpc-server-terminate-session-on-socket-close
geo2a
authored

Commits on Apr 24, 2024

Merge branch 'master' into sam/rpc-server-terminate-session-on-socket-close
goodlyrottenapple
authored