cryspen
Directory Structure: Move crates to single Directory
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.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
This was blocked because we didn't want to shake up the proofs just from directory restructuring. What is the situation now?
We should be good to go. Let's draft a structure and agree on how it should look like.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.