Skip to content

Add basic Serde serialization capabilities to Stable MIR#126963

Merged
bors merged 1 commit intorust-lang:masterfrom
runtimeverification:smir_serde_derive
Jul 25, 2024

Commits

Commits on Jun 26, 2024