Code

Clean-up executionLoop in Proxy.hs#419

Code

Draft

geo2a wants to merge 7 commits intomainruntimeverification/hs-backend-booster:mainfrom georgy/proxy-cleanupruntimeverification/hs-backend-booster:georgy/proxy-cleanupCopy head branch name to clipboard

+120-91

Commits

Commits on Dec 12, 2023

• Move common args into a record

  geo2a

  committed
  143b5ec

  Copy full SHA for 143b5ec

• Move execution loop state into a record

  geo2a

  committed
  46cf7c5

  Copy full SHA for 46cf7c5

• Move forced simplfiication depth into state

  geo2a

  committed
  e16bce4

  Copy full SHA for e16bce4

• Make executionLoop run in ReaderT

  geo2a

  committed
  3d19f7b

  Copy full SHA for 3d19f7b

• Make executionLoop run in StateT

  geo2a

  committed
  f4a5686

  Copy full SHA for f4a5686

• Consolidate logs updates

  geo2a

  committed
  1e63ae2

  Copy full SHA for 1e63ae2

• Hoist data types definitions, make fields strict

  geo2a

  committed
  a313290

  Copy full SHA for a313290