Adjust Rust version so that hax can translate it into fstar

openwsn-berkeley / lakers

EDHOC implemented in Rust, optimized for microcontrollers, with bindings for C and Python.

https://crates.io/crates/lakers

BSD 3-Clause "New" or "Revised" License

12 stars 10 forks source link

Closed geonnave closed 9 months ago

geonnave commented 10 months ago

Applied the changes that were previously documented in #80.

geonnave commented 9 months ago

This PR contains the changes that we could do on our side to be compatible with hax fstar generation. It's not a lot, so I will be merging them soon.