Skip to content

Commit 0891903

Browse files
JasonGrossJasonGross
authored
Merge pull request #2080 from Daniel-Aaron-Bloom/rust-const
feat: make rust `const`
2 parents dddbc9d + a68c796 commit 0891903

34 files changed

+14013
-12410
lines changed

‎fiat-rust/Cargo.toml

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,14 @@
11
[package]
22
name = "fiat-crypto"
3-
version = "0.2.10"
3+
version = "0.3.0"
44
authors = ["Fiat Crypto library authors <[email protected]>"]
5-
edition = "2018"
5+
edition = "2021"
66
description = "Fiat-crypto generated Rust"
77
homepage = "https://github.com/mit-plv/fiat-crypto"
88
repository = "https://github.com/mit-plv/fiat-crypto"
99
readme = "README.md"
1010
license = "MIT OR Apache-2.0 OR BSD-1-Clause"
11+
rust-version = "1.83.0"
1112

1213
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
1314

‎fiat-rust/src/curve25519_32.rs

Lines changed: 481 additions & 429 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎fiat-rust/src/curve25519_64.rs

Lines changed: 266 additions & 214 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎fiat-rust/src/curve25519_scalar_32.rs

Lines changed: 519 additions & 467 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎fiat-rust/src/curve25519_scalar_64.rs

Lines changed: 299 additions & 247 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎fiat-rust/src/curve25519_solinas_64.rs

Lines changed: 60 additions & 40 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)