Update for Zig 0.11.0 (#1611)

`@truncate()` and `@bitCast()` now do type inference, so the code can be simplified a bit.
mit-plv · Jul 6, 2023 · f954cc5 · f954cc5
1 parent c371fb8
commit f954cc5
Show file tree

Hide file tree

Showing 30 changed files with 88 additions and 117 deletions.
diff --git a/fiat-zig/src/curve25519_32.zig b/fiat-zig/src/curve25519_32.zig
diff --git a/fiat-zig/src/curve25519_64.zig b/fiat-zig/src/curve25519_64.zig
diff --git a/fiat-zig/src/curve25519_scalar_32.zig b/fiat-zig/src/curve25519_scalar_32.zig
diff --git a/fiat-zig/src/curve25519_scalar_64.zig b/fiat-zig/src/curve25519_scalar_64.zig
diff --git a/fiat-zig/src/curve25519_solinas_64.zig b/fiat-zig/src/curve25519_solinas_64.zig
diff --git a/fiat-zig/src/p224_32.zig b/fiat-zig/src/p224_32.zig
diff --git a/fiat-zig/src/p224_64.zig b/fiat-zig/src/p224_64.zig
diff --git a/fiat-zig/src/p256_32.zig b/fiat-zig/src/p256_32.zig
diff --git a/fiat-zig/src/p256_64.zig b/fiat-zig/src/p256_64.zig
diff --git a/fiat-zig/src/p256_scalar_32.zig b/fiat-zig/src/p256_scalar_32.zig
diff --git a/fiat-zig/src/p256_scalar_64.zig b/fiat-zig/src/p256_scalar_64.zig
diff --git a/fiat-zig/src/p384_32.zig b/fiat-zig/src/p384_32.zig
diff --git a/fiat-zig/src/p384_64.zig b/fiat-zig/src/p384_64.zig
diff --git a/fiat-zig/src/p384_scalar_32.zig b/fiat-zig/src/p384_scalar_32.zig
diff --git a/fiat-zig/src/p384_scalar_64.zig b/fiat-zig/src/p384_scalar_64.zig
diff --git a/fiat-zig/src/p434_64.zig b/fiat-zig/src/p434_64.zig
diff --git a/fiat-zig/src/p448_solinas_32.zig b/fiat-zig/src/p448_solinas_32.zig
diff --git a/fiat-zig/src/p448_solinas_64.zig b/fiat-zig/src/p448_solinas_64.zig
diff --git a/fiat-zig/src/p521_32.zig b/fiat-zig/src/p521_32.zig
diff --git a/fiat-zig/src/p521_64.zig b/fiat-zig/src/p521_64.zig
diff --git a/fiat-zig/src/poly1305_32.zig b/fiat-zig/src/poly1305_32.zig
diff --git a/fiat-zig/src/poly1305_64.zig b/fiat-zig/src/poly1305_64.zig
diff --git a/fiat-zig/src/secp256k1_dettman_32.zig b/fiat-zig/src/secp256k1_dettman_32.zig
diff --git a/fiat-zig/src/secp256k1_dettman_64.zig b/fiat-zig/src/secp256k1_dettman_64.zig
diff --git a/fiat-zig/src/secp256k1_montgomery_32.zig b/fiat-zig/src/secp256k1_montgomery_32.zig