Code

Unsound.jp#1577

Code

Open

jprider63 wants to merge 9 commits intoucsd-progsys:developucsd-progsys/liquidhaskell:developfrom jprider63:unsound.jpjprider63/liquidhaskell:unsound.jpCopy head branch name to clipboard

+327-45

Commits

Commits on Dec 16, 2019

• identifying undefined not working

  jprider63

  committed
  8be9643

  Copy full SHA for 8be9643

Commits on Dec 18, 2019

• Detect lazy and assumed refinements. Temporarily detect undefined with string hack

  jprider63

  committed
  d47ef30

  Copy full SHA for d47ef30

• Werror flag

  jprider63

  committed
  72a2f77

  Copy full SHA for 72a2f77

• tests not working

  jprider63

  committed
  0f5952d

  Copy full SHA for 0f5952d

• maybe fixed tests

  jprider63

  committed
  db00b91

  Copy full SHA for db00b91

• move warnings to separate type. Display hint for -Werror

  jprider63

  committed
  d131f5e

  Copy full SHA for d131f5e

Commits on Dec 19, 2019

• srcspan for lazy and assume

  jprider63

  committed
  5abc33b

  Copy full SHA for 5abc33b

• span for unsafe Vars

  jprider63

  committed
  40f7126

  Copy full SHA for 40f7126

• add warnings to readme

  jprider63

  committed
  3f3f8b2

  Copy full SHA for 3f3f8b2