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

build.gradle

Blame
    • dgelessus's avatar
      e1daea14
      Update dependencies · e1daea14
      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
      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.
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.