Code

Georgy/refactor check requires#4035

Code

Merged

rv-jenkins merged 3 commits intomasterruntimeverification/haskell-backend:masterfrom georgy/refactor-check-requiresruntimeverification/haskell-backend:georgy/refactor-check-requiresCopy head branch name to clipboardAug 15, 2024

+181-130

Commits

Commits on Aug 14, 2024

• Factor-out checkRequires and checkEnsures in applyRule

  geo2a

  committed
  2ad913d

  Copy full SHA for 2ad913d

• Factor-out checkRequires and checkEnsures in applyEquation

  geo2a

  committed
  c78d8bb

  Copy full SHA for c78d8bb

Commits on Aug 15, 2024

• Fix typo

  geo2a

  committed
  bb52116

  Copy full SHA for bb52116