Code

Support typed BNF grammar#5

Code

Merged

Devin-Yeung merged 15 commits intomasterDevin-Yeung/bnfgen:masterfrom constraintDevin-Yeung/bnfgen:constraintCopy head branch name to clipboardNov 14, 2024

+1,704-170

Commits

Commits on Nov 10, 2024

• feat: grammar for typed bnf

  Devin-Yeung

  committed
  5bc2185

  Copy full SHA for 5bc2185

• feat: refine the symbol kind

  Devin-Yeung

  committed
  41b2d97

  Copy full SHA for 41b2d97

• chore: clippy fix

  Devin-Yeung

  committed
  c2ae074

  Copy full SHA for c2ae074

• feat: test typed non-terminal

  Devin-Yeung

  committed
  c62e9fb

  Copy full SHA for c62e9fb

Commits on Nov 11, 2024

• migrating checkpoint

  Devin-Yeung

  committed
  b7f8994

  Copy full SHA for b7f8994

• clippy fix

  Devin-Yeung

  committed
  a62bb76

  Copy full SHA for a62bb76

• feat: better type support

  Devin-Yeung

  committed
  78a682b

  Copy full SHA for 78a682b

• feat: add test cases

  Devin-Yeung

  committed
  7f491cc

  Copy full SHA for 7f491cc

• testing

  Devin-Yeung

  committed
  4c88feb

  Copy full SHA for 4c88feb

• feat: support fallback when generating typed tree

  Devin-Yeung

  committed
  817eea9

  Copy full SHA for 817eea9

• improve test case

  Devin-Yeung

  committed
  3dca608

  Copy full SHA for 3dca608

• fix: make output deterministic

  Devin-Yeung

  committed
  8ca11f4

  Copy full SHA for 8ca11f4

• checkpoint: make expr typed

  Devin-Yeung

  committed
  c6c95cc

  Copy full SHA for c6c95cc

• checkpoint: tweaking typed grammar

  Devin-Yeung

  committed
  6ab62ea

  Copy full SHA for 6ab62ea

Commits on Nov 14, 2024

• add more testcases

  Devin-Yeung

  committed
  20431eb

  Copy full SHA for 20431eb