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

Does Zacas depend on A or Zaamo #5

Closed
topperc opened this issue Jan 12, 2024 · 3 comments
Closed

Does Zacas depend on A or Zaamo #5

topperc opened this issue Jan 12, 2024 · 3 comments

Comments

@topperc
Copy link

topperc commented Jan 12, 2024

The Zacas spec says it depends on A. Now that A is being split, does Zacas still depend on all of A or just Zaamo?

@ved-rivos
Copy link
Collaborator

With Zacas being ratified as depending on A, the strictest interpretation would be that it depends on A and not just Zaamo. Is there a case to allow Zacas with the Zaamo subset?

@ved-rivos
Copy link
Collaborator

ved-rivos commented Jan 22, 2024

So while the strictest interpretation is it depends on all of A, the right interpretation is that it depends on Zaamo.
I am adding this to the Zaamo extension - The Zacas extension depends on the Zaamo extension - please see PR #6
@topperc @dtcxzyw

@ved-rivos
Copy link
Collaborator

Hope that clarifies.

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

No branches or pull requests

2 participants