Code

Extending the syntax of GRIN: HPT#42

Code

Merged

Anabra merged 14 commits into32-extended-syntaxgrin-compiler/grin:32-extended-syntaxfrom 32-hptgrin-compiler/grin:32-hptCopy head branch name to clipboardOct 18, 2019

+3,389-1

Commits

Commits on Sep 25, 2019

• Added ExtendedSyntax directory to AbstractInterpretation

  Anabra

  committed
  293522a

  Copy full SHA for 293522a

• ES HPT: updated imports

  Anabra

  committed
  51c4ba5

  Copy full SHA for 51c4ba5

Commits on Oct 2, 2019

• ES HPT: CodeGen

  Anabra

  committed
  f1ab3e9

  Copy full SHA for f1ab3e9

• ES Analysis: General abstract interpretation modules

  Anabra

  committed
  560ceef

  Copy full SHA for 560ceef

Commits on Oct 3, 2019

• ES Lint, PrimOpsPrelude, Transformations.Util

  Anabra

  committed
  bf98285

  Copy full SHA for bf98285

• ES HPT: fixed imports

  Anabra

  committed
  90e2086

  Copy full SHA for 90e2086

• ES TypeCheck

  Anabra

  committed
  8ae10f3

  Copy full SHA for 8ae10f3

• Extended parser tests with PrimOpsPrelude test case

  Anabra

  committed
  199a212

  Copy full SHA for 199a212

• ES Lint: added tests

  Anabra

  committed
  1f38ff1

  Copy full SHA for 1f38ff1

• ES Lint: now linter adds externals to the name env

  Anabra

  committed
  6d6c39a

  Copy full SHA for 6d6c39a

Commits on Oct 6, 2019

• ES Lint: fixed tests

  Anabra

  committed
  09c6171

  Copy full SHA for 09c6171

Commits on Oct 7, 2019

• ES HPT: Added tests

  Anabra

  committed
  05de290

  Copy full SHA for 05de290

Commits on Oct 8, 2019

• ES HPT: added more tests

  Anabra

  committed
  0295798

  Copy full SHA for 0295798

Commits on Oct 10, 2019

• ES HPT: fixed codegen, added as-pattern tests

  Anabra

  committed
  ed01def

  Copy full SHA for ed01def