Merge pull request #187 from cryspen/lucas/kyber-serialize-merge-a-b

refactor(kyber/fstar): merge back Serialize PartA/B into one file
cryspen · Jan 31, 2024 · eff63cf · eff63cf
2 parents 9794fff + 4d8d772
commit eff63cf
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