Fix: make hax skip RNG functions

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 8 months ago

geonnave commented 8 months ago

Adjust generate-fstar CI action, now that hax#276 is fixed.