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

Commits on Jun 13, 2026

feat(cvlr-spec): add #![no_std] for wasm32v1-none / no_std consumers
mihaieremia
committed
8dbfeeb

Commits on Jun 26, 2026

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