Code

[DO NOT MERGE] TLA+ type annotations#66

Code

Draft

lemmy wants to merge 6 commits intomicrosoft:mainmicrosoft/aici:mainfrom lemmy:mku-apalachelemmy/aici:mku-apalacheCopy head branch name to clipboard

+153

Commits

Commits on Feb 21, 2024

• WIP

  lemmy

  committed
  38d89d5

  Copy full SHA for 38d89d5

• WIP

  lemmy

  committed
  ba2aa8b

  Copy full SHA for ba2aa8b

• Prefix all reguluar expressions to disambiguate.

  lemmy

  committed
  b317f24

  Copy full SHA for b317f24

• Extract and deactivate advanced parts of the grammar.

  lemmy

  committed
  709edc6

  Copy full SHA for 709edc6

• Refactor grammar test into a function.

  lemmy

  committed
  9c7ca20

  Copy full SHA for 9c7ca20

• Add gen and test grammar function.

  lemmy

  committed
  09c044f

  Copy full SHA for 09c044f