Skip to content
Snippets Groups Projects
Select Git revision
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
18 results

prob_rodin_plugin

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Remove apparently unused ignoredTokens field from parser.txt template
    dgelessus authored 
    This field seems to store all ignored tokens encountered during parsing.
It's not clear what this field is meant to do - we don't use it for
anything, and neither does SableCC itself apparently. Removing it
doesn't seem to break anything and should improve memory usage during
parsing a bit.
    2eaf513c
    History
    user avatar 2eaf513c
    History
    Name Last commit Last update