Code

Michaelborkowski/benchmarks#1843

Code

Draft

michaelborkowski wants to merge 4 commits intodevelopucsd-progsys/liquidhaskell:developfrom michaelborkowski/benchmarksucsd-progsys/liquidhaskell:michaelborkowski/benchmarksCopy head branch name to clipboard

+117-185

Commits

Commits on Jun 17, 2021

• Changes to POPL18 PLE benchmarks to get them working with current LH again.

  michaelborkowski

  committed
  f113022

  Copy full SHA for f113022

• Restore Ackermann.hs and OverviewListInfix.hs in the POPL18 benchmarks

  michaelborkowski

  committed
  905de9d

  Copy full SHA for 905de9d

• Restore Ackermann.hs and OverviewListInfix.hs in the POPL18 benchmarks

  michaelborkowski

  committed
  48596bf

  Copy full SHA for 48596bf

• Merge branch 'michaelborkowski/benchmarks' of https://github.com/ucsd-progsys/liquidhaskell into michaelborkowski/benchmarks

  michaelborkowski

  committed
  ac48c38

  Copy full SHA for ac48c38