Select Git revision
de
-
-
- Open in your IDE
- Download source code
- Download this directory
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
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.