Skip to content
Snippets Groups Projects
Select Git revision
  • 6970b1309aedad9f2bbe1759d94da8fdce9d4063
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 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
20 results

Ast2String.java

  • dgelessus's avatar
    6970b130
    Copy ExtendedDFAdapter from bparser · 6970b130
    dgelessus authored 
    ExtendedDFAdapter in bparser has been deprecated and then moved to an
internal test directory, so it can no longer be used by external
libraries like tla2bAST. As a temporary fix, this copies the deprecated
class into tla2bAST.
    6970b130
    History
    Copy ExtendedDFAdapter from bparser
    dgelessus authored 
    ExtendedDFAdapter in bparser has been deprecated and then moved to an
internal test directory, so it can no longer be used by external
libraries like tla2bAST. As a temporary fix, this copies the deprecated
class into tla2bAST.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.