Skip to content
Snippets Groups Projects
Select Git revision
0 results

tla2bAST

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Replace custom Ast2String with ASTProlog from B parser
    dgelessus authored 
    The AST form is only used for comparisons in tests, so the exact format
doesn't matter.
    6f191f28
    History
    user avatar 6f191f28
    History
    Name Last commit Last update