Skip to content

feat(cvlr-spec): add #![no_std] for no_std / wasm32v1-none consumers - #47

Merged
1arie1 merged 2 commits into
Certora:mainfrom
mihaieremia:feat/no-std-cvlr-spec
Jun 30, 2026
Merged

feat(cvlr-spec): add #![no_std] for no_std / wasm32v1-none consumers#47
1arie1 merged 2 commits into
Certora:mainfrom
mihaieremia:feat/no-std-cvlr-spec

fix(cvlr-macros): make rule_for_spec snapshot toolchain-stable

c648c22
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check
succeeded Jun 29, 2026 in 11s