Skip to content

[CHERIoT] Use a target feature test rather than subarch test for CHERIoT in the static analyzer.#231

Merged
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:csa-check
Aug 25, 2025
Merged

[CHERIoT] Use a target feature test rather than subarch test for CHERIoT in the static analyzer.#231
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:csa-check

Commits