Merge branch 'main' into lucas/fstar-kyber-diffs

cryspen · Jan 31, 2024 · 2856832 · 2856832
2 parents 05d24da + eff63cf
commit 2856832
Show file tree

Hide file tree

Showing 10 changed files with 1,764 additions and 12,151 deletions.
diff --git a/proofs/fstar/extraction-edited/.hints/Libcrux.Kem.Kyber.Serialize.PartA.fst.hints b/proofs/fstar/extraction-edited/.hints/Libcrux.Kem.Kyber.Serialize.PartA.fst.hints
diff --git a/proofs/fstar/extraction-edited/.hints/Libcrux.Kem.Kyber.Serialize.PartB.fst.hints b/proofs/fstar/extraction-edited/.hints/Libcrux.Kem.Kyber.Serialize.PartB.fst.hints
diff --git a/proofs/fstar/extraction-edited/.hints/Libcrux.Kem.Kyber.Serialize.PartB.fsti.hints b/proofs/fstar/extraction-edited/.hints/Libcrux.Kem.Kyber.Serialize.PartB.fsti.hints