Code

Rework elaboration#136

Code

Merged

rossberg merged 15 commits intomainWasm-DSL/spectec:mainfrom elab-redo.2Wasm-DSL/spectec:elab-redo.2Copy head branch name to clipboardDec 23, 2024

+2,224-11,194

Commits

Commits on Oct 30, 2024

• always try infer first

  rossberg

  committed
  6c4883f

  Copy full SHA for 6c4883f

• Merge branch 'main' into elab-redo

  rossberg

  committed
  ba9dfab

  Copy full SHA for ba9dfab

• Only invoke infer for principal cases

  rossberg

  committed
  881e89d

  Copy full SHA for 881e89d

Commits on Oct 31, 2024

• Merge branch 'main' into elab-redo

  rossberg

  committed
  ea17d9f

  Copy full SHA for ea17d9f

Commits on Nov 19, 2024

• WIP

  rossberg

  committed
  7fdbe5b

  Copy full SHA for 7fdbe5b

• Merge branch 'main' into elab-redo.2

  rossberg

  committed
  f6231ab

  Copy full SHA for f6231ab

Commits on Dec 3, 2024

• Merge branch 'main' into elab-redo.2

  rossberg

  committed
  c861c07

  Copy full SHA for c861c07

Commits on Dec 4, 2024

• WIP

  rossberg

  committed
  ea76cdb

  Copy full SHA for ea76cdb

Commits on Dec 7, 2024

• Make multiple newlines at end of file work

  rossberg

  committed
  a0051b4

  Copy full SHA for a0051b4

• Clean up elabpration of iterations

  rossberg

  committed
  e499ab6

  Copy full SHA for e499ab6

Commits on Dec 9, 2024

• Fix trace

  rossberg

  committed
  237dab9

  Copy full SHA for 237dab9

Commits on Dec 11, 2024

• Use backtracking consistently for sequences; introduce list exp for disambiguation

  rossberg

  committed
  753bfb7

  Copy full SHA for 753bfb7

• Remove TODO

  rossberg

  committed
  e0ab635

  Copy full SHA for e0ab635

Commits on Dec 23, 2024

• Enable cast from opt to list

  rossberg

  committed
  4ae3ac3

  Copy full SHA for 4ae3ac3

• Merge branch 'main' into elab-redo.2

  rossberg

  committed
  be8490c

  Copy full SHA for be8490c