Skip to content
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

Clearly document the plans for "Not in HLO" ops #739

Closed
burmako opened this issue Dec 10, 2022 · 1 comment · Fixed by #1159
Closed

Clearly document the plans for "Not in HLO" ops #739

burmako opened this issue Dec 10, 2022 · 1 comment · Fixed by #1159
Assignees
Labels

Comments

@burmako
Copy link
Contributor

burmako commented Dec 10, 2022

At the moment, we aren't planning to spec "Not in HLO" ops, because the plan of record is to move them to CHLO (#3), and CHLO is very likely going to have its own spec (#602). We should clearly document these plans in: 1) the spec, 2) the ODS.

@burmako burmako added the Spec label Dec 10, 2022
@burmako burmako self-assigned this Dec 10, 2022
@burmako
Copy link
Contributor Author

burmako commented Dec 11, 2022

I think we should also remove these ops from status.md and StableHLO audit.

@burmako burmako removed their assignment Dec 28, 2022
@burmako burmako self-assigned this Feb 11, 2023
burmako pushed a commit that referenced this issue Feb 13, 2023
For "Not in HLO" ops, the ODS now indicates that they are on their way
out of StableHLO and informally explains their semantics.

For "Dynamism" ops, the ODS now says that they are being worked on and
also informally explains their semantics.

Closes #739.
atondwal pushed a commit to atondwal/stablehlo that referenced this issue Mar 3, 2023
For "Not in HLO" ops, the ODS now indicates that they are on their way
out of StableHLO and informally explains their semantics.

For "Dynamism" ops, the ODS now says that they are being worked on and
also informally explains their semantics.

Closes openxla#739.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: Done
Development

Successfully merging a pull request may close this issue.

1 participant