Skip to content
Snippets Groups Projects
Select Git revision
  • 6f191f281230e0fa8b750b72213a34bb1f5d636b
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.2
  • 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
21 results

java

  • 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
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..
    de/tla2b
    testing