Merge pull request #1646 from brycx/core-ops

Rust: Reference newtype operators from `core` instead of `std`
mit-plv · Sep 1, 2023 · a51ff82 · a51ff82
2 parents 8902dc2 + 3aa0072
commit a51ff82
Show file tree

Hide file tree

Showing 27 changed files with 104 additions and 102 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -21,6 +21,8 @@ jobs:
       run: (cd fiat-rust; cargo build --verbose)
     - name: cargo test
       run: (cd fiat-rust; cargo test --verbose)
+    - name: cargo test (no_std)
+      run: (cd fiat-rust; cargo test --no-default-features --verbose)
     - name: curve25519-dalek test
       run: etc/ci/test-fiat-rust-curve25519-dalek.sh
     - name: crate-crypto/Ed448-Goldilocks test

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/curve25519_scalar_32.rs b/fiat-rust/src/curve25519_scalar_32.rs
diff --git a/fiat-rust/src/curve25519_scalar_64.rs b/fiat-rust/src/curve25519_scalar_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/p256_scalar_32.rs b/fiat-rust/src/p256_scalar_32.rs
diff --git a/fiat-rust/src/p256_scalar_64.rs b/fiat-rust/src/p256_scalar_64.rs