Skip to content

[DNM] [AutoDiff upstream] @differentiable attribute type-checking. #29091

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed

Conversation

dan-zheng
Copy link
Contributor

@dan-zheng dan-zheng commented Jan 9, 2020

@differentiable attribute type-checking mega-patch.
Upstreams all necessary code from tensorflow branch.

This mega-patch is just for end-to-end testing.
Code will be upstreamed incrementally.


Current status: AutoDiff/Sema/differentiable_attr_type_checking.swift passes.
Mega-patch success.

Todos:

  • Clean up code and comments.
    • DifferentiableAttributeTypeCheckRequest::evaluate
    • AnyFunctionType::getAutoDiffDerivativeFunctionType
      • Consider showing JVP/VJP type calculation in doc comment.
  • Consider cleaning up AutoDiff/Sema/differentiable_attr_type_checking.swift. Maybe not initially.
  • Split mega-patch and upstream incrementally.
  • Downstream changes to tensorflow branch.

Store in `DifferentiableAttr` the original declaration on which the attribute
is declared.

The original declaration is resolved during parsing and deserialization
(not yet upstreamed).

Progress towards TF-828: upstream `@differentiable` attribute type-checking.
@dan-zheng dan-zheng force-pushed the autodiff-upstream-diff-attr branch from cb5242d to 3337516 Compare January 9, 2020 06:04
`@differentiable` attribute type-checking mega-patch.
Upstreams all necessary code from `tensorflow` branch.

This mega-patch is just for end-to-end testing.
Code will be upstreamed incrementally.
@dan-zheng
Copy link
Contributor Author

Closing now, as all changes have been split up and upstreamed separately.

@dan-zheng dan-zheng closed this Jan 27, 2020
@dan-zheng dan-zheng deleted the autodiff-upstream-diff-attr branch January 27, 2020 19:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant