refactor(kyber/fstar): merge back Serialize PartA/B into one file

cryspen · Jan 25, 2024 · d540fc6 · d540fc6
1 parent 7f1c98a
commit d540fc6
Show file tree

Hide file tree

Showing 5 changed files with 1,452 additions and 1,468 deletions.
diff --git a/proofs/fstar/extraction-edited/Libcrux.Kem.Kyber.Serialize.PartA.fst b/proofs/fstar/extraction-edited/Libcrux.Kem.Kyber.Serialize.PartA.fst
diff --git a/proofs/fstar/extraction-edited/Libcrux.Kem.Kyber.Serialize.PartA.fsti b/proofs/fstar/extraction-edited/Libcrux.Kem.Kyber.Serialize.PartA.fsti