Skip to content

[FPV] Formal suite for the MLKEM#253

Merged
Nitsirks merged 3 commits intopatch_v2.0from
formal_v2.0
Feb 14, 2026
Merged

[FPV] Formal suite for the MLKEM#253
Nitsirks merged 3 commits intopatch_v2.0from
formal_v2.0

Conversation

@mojtaba-bisheh
Copy link
Collaborator

No description provided.

@batthineniatlubis
Copy link
Collaborator

Do we need a license header for readme's ?

@Nitsirks
Copy link
Collaborator

Can you cherry pick the release checklist commit from here? 113b115

This formalizes the release process and we can marge this into the patch branch and do a doc/val only release.

@batthineniatlubis
Copy link
Collaborator

I have pushed the changes with the cherry-pick of the commit provided.

@Nitsirks Nitsirks merged commit ab98d22 into patch_v2.0 Feb 14, 2026
5 checks passed
@Nitsirks Nitsirks deleted the formal_v2.0 branch February 14, 2026 00:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

Comments