search

cryspen / libcrux

The formally verified crypto library for Rust
https://cryspen.com/libcrux
Apache License 2.0
89 stars 15 forks source link

[CI] Hax extract on different architectures #658

Open jschneider-bensch opened 2 weeks ago

jschneider-bensch commented 2 weeks ago

This is to catch a potential feature misconfiguration during extraction.