Skip to content
Snippets Groups Projects
Select Git revision
15 results
Compare
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