Skip to content
Snippets Groups Projects
Select Git revision
  • cf041cf195ad0d21433f7a87f84adb4968962f9e
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
20 results

tla2bAST

  • Open with
  • Download source code
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

    • user avatar
    Skip generating Lexer state transitions that go to the same state
    dgelessus authored 
    This saves a switch case for every non-transitioning state in a token's
state list. If a token has no state transitions at all (only a list of
allowed states), this eliminates the entire state transition switch.
    b7327c5f
    History
    user avatar b7327c5f
    History
    Name Last commit Last update