Open keks opened 2 weeks ago
Put all crates into a subdirectory "crates", and remove the leading "libcrux-" in the path.
We can't do this now, because it introduces too much churn in the proofs. Let's keep it in mind, though.
Put all crates into a subdirectory "crates", and remove the leading "libcrux-" in the path.
We can't do this now, because it introduces too much churn in the proofs. Let's keep it in mind, though.