Skip to content

fix(roslyn): protocol attribute names reserved only in the profile's shapes; a token callback outside a region entry is refused - #388

Merged
PhysShell merged 2 commits into
mainfrom
fix/protocol-attribute-recognition
Oct 2, 2026
Merged

PhysShell merged 2 commits into
mainfrom
fix/protocol-attribute-recognition

fix(roslyn): ProtocolToken / ProtocolRegion are reserved only in the …

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

Annotations

1 warning and 1 notice
formal kernel (fmt + clippy + twins + fast Kani)
succeeded Oct 2, 2026 in 1m 18s