Skip to content

clean libcrux crate#1259

Draft
franziskuskiefer wants to merge 12 commits intomainfrom
franziskus/main-crate
Draft

clean libcrux crate#1259
franziskuskiefer wants to merge 12 commits intomainfrom
franziskus/main-crate

Conversation

@franziskuskiefer
Copy link
Member

@franziskuskiefer franziskuskiefer commented Dec 2, 2025

Draft PR for discussion of cleaned up libcrux crate.

Open todos

  • update benchmarks
  • add features
  • update CI (e.g. drop specs workflow)

cc @keks @jschneider-bensch

[skip changelog]

@jschneider-bensch
Copy link
Collaborator

I fixed the benchmarks and removed the specs workflow.

I'm unsure if we want to release this main crate soon as well, or just keep it for internal consistency and mark the released version unmaintained until e.g. we decide we want to turn it around and make the sub-crates export from the main crate.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

waiting-on-author Status: This is awaiting some action from the author.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments