Lucas Franceschino
Lucas Franceschino
Ah, that's true, you're right, we don't do anything with this information, and rust always inline parameters at use site. So dropping default parameters would be an easy fix! I...
Still relevant
Still relevant
This is not relevant any longer since we're migrating to Rust.
Would be nice to have for ML-Kem
Closing in favor of https://github.com/hacspec/hax/issues/196
Still relevant, I need to debug #705
As the OCaml engine is slowly going to be deprecated, and since work will basically freeze there, let's close this.
Hi! What about splitting the derivation, with a `lib` output, a `bin` one, and the default `out` output (containing lib and bin)? That'd address the issues without doubling the size...
I'm not sure to understand exactly: by pattern here you mean something to select a rust name instantiated with a given list of types? There are two mechanisms in hax:...