Skip to content

Remove most unstable features from charon_lib#1181

Merged
Nadrieril merged 3 commits into
AeneasVerif:mainfrom
Nadrieril:charon-lib-on-stable
May 27, 2026
Merged

Remove most unstable features from charon_lib#1181
Nadrieril merged 3 commits into
AeneasVerif:mainfrom
Nadrieril:charon-lib-on-stable

Gate `#[charon::*]` attribute usage

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

Annotations

1 warning
check-version-number
succeeded May 27, 2026 in 9s