Skip to content

[CHERIoT] Support most operations on __sealed_capabilities in unevaluated contexts.#121

Merged
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:uneval
Feb 21, 2025
Merged

[CHERIoT] Support most operations on __sealed_capabilities in unevaluated contexts.#121
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:uneval

Commits

Commits on Feb 21, 2025