Skip to content
Snippets Groups Projects
Select Git revision
0 results

tla2bAST

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Update dependencies
    dgelessus authored 
    With a quick fix for ExtendedDFAdapter to make it work with the current
parser, but we should work on replacing this class as soon as possible,
because it will break unnecessarily for most changes to the B AST.
    e1daea14
    History
    user avatar e1daea14
    History
    Name Last commit Last update