Skip to content

Adjust Rust version so that hax can translate it into fstar#97

Merged
geonnave merged 1 commit intoopenwsn-berkeley:mainfrom geonnave:adjust-rust-version-for-haxOct 2, 2023
+14-15

Commits

Commits on Sep 20, 2023