Update generated Rust files

mit-plv · Dec 13, 2021 · c92bed3 · c92bed3
1 parent 176d9c3
commit c92bed3
Show file tree

Hide file tree

Showing 16 changed files with 16 additions and 16 deletions.
diff --git a/fiat-rust/src/curve25519_32.rs b/fiat-rust/src/curve25519_32.rs
diff --git a/fiat-rust/src/curve25519_64.rs b/fiat-rust/src/curve25519_64.rs
diff --git a/fiat-rust/src/p224_32.rs b/fiat-rust/src/p224_32.rs
diff --git a/fiat-rust/src/p224_64.rs b/fiat-rust/src/p224_64.rs
diff --git a/fiat-rust/src/p256_32.rs b/fiat-rust/src/p256_32.rs
diff --git a/fiat-rust/src/p256_64.rs b/fiat-rust/src/p256_64.rs
diff --git a/fiat-rust/src/p384_32.rs b/fiat-rust/src/p384_32.rs
diff --git a/fiat-rust/src/p384_64.rs b/fiat-rust/src/p384_64.rs
diff --git a/fiat-rust/src/p434_64.rs b/fiat-rust/src/p434_64.rs
diff --git a/fiat-rust/src/p448_solinas_32.rs b/fiat-rust/src/p448_solinas_32.rs
diff --git a/fiat-rust/src/p448_solinas_64.rs b/fiat-rust/src/p448_solinas_64.rs
diff --git a/fiat-rust/src/p521_64.rs b/fiat-rust/src/p521_64.rs
diff --git a/fiat-rust/src/poly1305_32.rs b/fiat-rust/src/poly1305_32.rs
diff --git a/fiat-rust/src/poly1305_64.rs b/fiat-rust/src/poly1305_64.rs
diff --git a/fiat-rust/src/secp256k1_32.rs b/fiat-rust/src/secp256k1_32.rs
diff --git a/fiat-rust/src/secp256k1_64.rs b/fiat-rust/src/secp256k1_64.rs