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.

Sign up for GitHub

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

Jump to bottom

Rebatch Optimization #1280

Closed
wants to merge 11 commits into from
Closed

Rebatch Optimization #1280

wants to merge 11 commits into from

Conversation

xzdandy
Copy link
Collaborator

@xzdandy xzdandy commented Oct 12, 2023 •
edited
Loading

  • Rebatch operator
  • Rebatch executor
  • Rebatch rule
  • Testcases
  • Documentation

@xzdandy xzdandy linked an issue Oct 12, 2023 that may be closed by this pull request
Introduce REBATCH operator for optimization #1237
Open
2 tasks
@xzdandy xzdandy self-assigned this Oct 12, 2023
@xzdandy xzdandy added the Optimizations Features/Bugs related to optimizations label Oct 12, 2023
@xzdandy
Copy link
Collaborator Author

xzdandy commented Oct 19, 2023

We do not need the rebatch operator for now. Close the PR. Will reopen if there is a need later.

@xzdandy xzdandy closed this Oct 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@xzdandy xzdandy

Labels
Optimizations Features/Bugs related to optimizations
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Introduce REBATCH operator for optimization
2 participants
@xzdandy @gaurav274