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 exclusivity operators #23

Open
kevin-delmas opened this issue Dec 12, 2024 · 0 comments · May be fixed by #28
Open

Add exclusivity operators #23

kevin-delmas opened this issue Dec 12, 2024 · 0 comments · May be fixed by #28
Assignees
Labels
enhancement New feature or request

Comments

@kevin-delmas
Copy link
Collaborator

kevin-delmas commented Dec 12, 2024

          Behold my mighty scala
periph_bus hasInterferingServices /* Well, that is sort of the default */
core0 hasNonInterferingServices /* That would explicitly be anyone but periph_bus, axi_bus, or msmc in the example */
/*  */
dma interfereWith dma_reg 
dma_reg notInterfereWith dma

It is clearly not as compact as the current version, and it adds the complexity of (naming) new operators. But those are quite common cases, are they not?

Originally posted by @Gaudeval in #21 (comment)

@kevin-delmas kevin-delmas self-assigned this Dec 12, 2024
@kevin-delmas kevin-delmas added the enhancement New feature or request label Dec 12, 2024
@ccoquand ccoquand linked a pull request Jan 24, 2025 that will close this issue
25 tasks
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.

3 participants