Code

Interpreter only on LHS#1899

Code

Open

nikivazou wants to merge 6 commits intodevelopucsd-progsys/liquidhaskell:developfrom nv.interpreterucsd-progsys/liquidhaskell:nv.interpreterCopy head branch name to clipboard

+93-2

Commits

Commits on Nov 10, 2021

• link with FP interpreter

  nikivazou

  committed
  5dc23c2

  Copy full SHA for 5dc23c2

• add interpreter tests

  nikivazou

  committed
  5a7fcd7

  Copy full SHA for 5a7fcd7

• fix unused

  nikivazou

  committed
  6111f29

  Copy full SHA for 6111f29

• more warmings

  nikivazou

  committed
  fb1d574

  Copy full SHA for fb1d574

• update FP

  nikivazou

  committed
  4651664

  Copy full SHA for 4651664

• make flag explicit

  nikivazou

  committed
  9d2a34c

  Copy full SHA for 9d2a34c