Code

Return rule-id's in execute response#561

Code

Merged

goodlyrottenapple merged 10 commits intomainruntimeverification/hs-backend-booster:mainfrom sam/return-rule-idruntimeverification/hs-backend-booster:sam/return-rule-idCopy head branch name to clipboardApr 3, 2024

+502-15

Commits

Commits on Mar 26, 2024

• Return ruleIds for all responses and ruleSubstitution/Predficate for branching

  goodlyrottenapple

  committed
  879da3d

  Copy full SHA for 879da3d

Commits on Mar 27, 2024

• fix test-module-addition

  goodlyrottenapple

  committed
  806e468

  Copy full SHA for 806e468

• update golden files in test/jsonrpc-examples

  goodlyrottenapple

  committed
  fd34f4f

  Copy full SHA for fd34f4f

• Merge branch 'main' into sam/return-rule-id

  goodlyrottenapple

  authored
  aa95a44

  Copy full SHA for aa95a44

• branching now cannot be handled by booster-dev, updating the response to aborted

  goodlyrottenapple

  committed
  ef2fa7a

  Copy full SHA for ef2fa7a

• do not emit rule-id in any other response other than branching

  goodlyrottenapple

  committed
  8d10451

  Copy full SHA for 8d10451

• update tests

  goodlyrottenapple

  committed
  5b233dc

  Copy full SHA for 5b233dc

Commits on Apr 2, 2024

• reset test

  goodlyrottenapple

  committed
  baffc3e

  Copy full SHA for baffc3e

• update tests

  goodlyrottenapple

  committed
  ccc6a46

  Copy full SHA for ccc6a46

• Merge branch 'main' into sam/return-rule-id

  goodlyrottenapple

  authored
  9290ac9

  Copy full SHA for 9290ac9