Skip to content

Conversation

@resistor
Copy link
Collaborator

This is guaranteed always to be exact, and it saves materializing the constant.

@resistor
Copy link
Collaborator Author

Mostly addresses #129

@resistor
Copy link
Collaborator Author

Needs #148 to pick up the HasCheriot predicate.

@resistor resistor force-pushed the bounds branch 2 times, most recently from 7087699 to a1d517c Compare May 21, 2025 01:37
…constant less than 512.

This is guaranteed always to be exact, and it saves materializing the constant.
@resistor resistor merged commit 84d6176 into CHERIoT-Platform:cheriot May 26, 2025
7 checks passed
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

Successfully merging this pull request may close these issues.

2 participants