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

add a Barrier operation #54

Closed
qciaran opened this issue Jan 25, 2024 · 0 comments · Fixed by #56
Closed

add a Barrier operation #54

qciaran opened this issue Jan 25, 2024 · 0 comments · Fixed by #56
Assignees
Labels
enhancement New feature or request

Comments

@qciaran
Copy link
Collaborator

qciaran commented Jan 25, 2024

To facilitate possible further optimization in PECOS it is useful to add barriers.

@qciaran qciaran added the enhancement New feature or request label Jan 25, 2024
@qartik qartik closed this as not planned Won't fix, can't repro, duplicate, stale Jan 25, 2024
@qartik qartik linked a pull request Jan 30, 2024 that will close this issue
@qartik qartik reopened this Jan 30, 2024
@qartik qartik self-assigned this Jan 30, 2024
@qartik qartik closed this as completed in #56 Feb 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants