Code

Add EBNF for AST to book#1066

Code

Open

cmester0 wants to merge 14 commits intomainhacspec/hax:mainfrom AST-EBNF-documentationhacspec/hax:AST-EBNF-documentationCopy head branch name to clipboard

+244

Commits

Commits on Oct 29, 2024

• Add EBNF for AST to book

  cmester0

  authored
  64c9561

Commits on Oct 31, 2024

• Add some description to EBNF

  cmester0

  authored
  9d69c95

Commits on Dec 3, 2024

• Merge branch 'main' into AST-EBNF-documentation

  cmester0

  authored
  1d9da95

• Update ast_ebnf.md

  cmester0

  authored
  8a0c8a9

• Update ast_ebnf.md

  cmester0

  authored
  9692b39

• Add EBNF to summary of book

  cmester0

  committed
  0bbe2b2

• Update ast_ebnf.md

  cmester0

  authored
  5abc947

• Update ast_ebnf.md

  cmester0

  authored
  0d12b3d

• Merge branch 'main' into AST-EBNF-documentation

  cmester0

  authored
  29c4aac

Commits on Dec 4, 2024

• Update SUMMARY.md

  cmester0

  authored
  3031479

• Update SUMMARY.md

  cmester0

  authored
  66c9f87

Commits on Dec 5, 2024

• Make it work for visualization

  cmester0

  authored
  1edfe2f

• Update ast_ebnf.md

  cmester0

  authored
  bfbf8ba

Commits on Dec 11, 2024

• Backport paper EBNF

  cmester0

  committed
  9ababbb