From 325130ee6c5c6946b219bccfb5fe5e7016944668 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 26 Oct 2023 09:20:21 -0700 Subject: [PATCH] Update generated files from CI --- fiat-rust/src/curve25519_32.rs | 8 ++++---- fiat-rust/src/curve25519_64.rs | 8 ++++---- fiat-rust/src/curve25519_solinas_64.rs | 8 ++++---- fiat-rust/src/p448_solinas_32.rs | 8 ++++---- fiat-rust/src/p448_solinas_64.rs | 8 ++++---- fiat-rust/src/p521_32.rs | 8 ++++---- fiat-rust/src/p521_64.rs | 8 ++++---- fiat-rust/src/poly1305_32.rs | 8 ++++---- fiat-rust/src/poly1305_64.rs | 8 ++++---- 9 files changed, 36 insertions(+), 36 deletions(-) diff --git a/fiat-rust/src/curve25519_32.rs b/fiat-rust/src/curve25519_32.rs index 66f34c5414..41b890248f 100644 --- a/fiat-rust/src/curve25519_32.rs +++ b/fiat-rust/src/curve25519_32.rs @@ -15,13 +15,13 @@ #![allow(unused_parens)] #![allow(non_camel_case_types)] -/* fiat_25519_u1 represents one byte. */ +/** fiat_25519_u1 represents values of 1 bits, stored in one byte. */ pub type fiat_25519_u1 = u8; -/* fiat_25519_i1 represents one byte. */ +/** fiat_25519_i1 represents values of 1 bits, stored in one byte. */ pub type fiat_25519_i1 = i8; -/* fiat_25519_u2 represents one byte. */ +/** fiat_25519_u2 represents values of 2 bits, stored in one byte. */ pub type fiat_25519_u2 = u8; -/* fiat_25519_i2 represents one byte. */ +/** fiat_25519_i2 represents values of 2 bits, stored in one byte. */ pub type fiat_25519_i2 = i8; /** The type fiat_25519_loose_field_element is a field element with loose bounds. */ diff --git a/fiat-rust/src/curve25519_64.rs b/fiat-rust/src/curve25519_64.rs index 8a7afcd932..73dc28f4c0 100644 --- a/fiat-rust/src/curve25519_64.rs +++ b/fiat-rust/src/curve25519_64.rs @@ -15,13 +15,13 @@ #![allow(unused_parens)] #![allow(non_camel_case_types)] -/* fiat_25519_u1 represents one byte. */ +/** fiat_25519_u1 represents values of 1 bits, stored in one byte. */ pub type fiat_25519_u1 = u8; -/* fiat_25519_i1 represents one byte. */ +/** fiat_25519_i1 represents values of 1 bits, stored in one byte. */ pub type fiat_25519_i1 = i8; -/* fiat_25519_u2 represents one byte. */ +/** fiat_25519_u2 represents values of 2 bits, stored in one byte. */ pub type fiat_25519_u2 = u8; -/* fiat_25519_i2 represents one byte. */ +/** fiat_25519_i2 represents values of 2 bits, stored in one byte. */ pub type fiat_25519_i2 = i8; /** The type fiat_25519_loose_field_element is a field element with loose bounds. */ diff --git a/fiat-rust/src/curve25519_solinas_64.rs b/fiat-rust/src/curve25519_solinas_64.rs index af4517cf92..1c9fa172c7 100644 --- a/fiat-rust/src/curve25519_solinas_64.rs +++ b/fiat-rust/src/curve25519_solinas_64.rs @@ -10,13 +10,13 @@ #![allow(unused_parens)] #![allow(non_camel_case_types)] -/* fiat_curve25519_solinas_u1 represents one byte. */ +/** fiat_curve25519_solinas_u1 represents values of 1 bits, stored in one byte. */ pub type fiat_curve25519_solinas_u1 = u8; -/* fiat_curve25519_solinas_i1 represents one byte. */ +/** fiat_curve25519_solinas_i1 represents values of 1 bits, stored in one byte. */ pub type fiat_curve25519_solinas_i1 = i8; -/* fiat_curve25519_solinas_u2 represents one byte. */ +/** fiat_curve25519_solinas_u2 represents values of 2 bits, stored in one byte. */ pub type fiat_curve25519_solinas_u2 = u8; -/* fiat_curve25519_solinas_i2 represents one byte. */ +/** fiat_curve25519_solinas_i2 represents values of 2 bits, stored in one byte. */ pub type fiat_curve25519_solinas_i2 = i8; diff --git a/fiat-rust/src/p448_solinas_32.rs b/fiat-rust/src/p448_solinas_32.rs index 6bc35099a3..5673ee159b 100644 --- a/fiat-rust/src/p448_solinas_32.rs +++ b/fiat-rust/src/p448_solinas_32.rs @@ -15,13 +15,13 @@ #![allow(unused_parens)] #![allow(non_camel_case_types)] -/* fiat_p448_u1 represents one byte. */ +/** fiat_p448_u1 represents values of 1 bits, stored in one byte. */ pub type fiat_p448_u1 = u8; -/* fiat_p448_i1 represents one byte. */ +/** fiat_p448_i1 represents values of 1 bits, stored in one byte. */ pub type fiat_p448_i1 = i8; -/* fiat_p448_u2 represents one byte. */ +/** fiat_p448_u2 represents values of 2 bits, stored in one byte. */ pub type fiat_p448_u2 = u8; -/* fiat_p448_i2 represents one byte. */ +/** fiat_p448_i2 represents values of 2 bits, stored in one byte. */ pub type fiat_p448_i2 = i8; /** The type fiat_p448_loose_field_element is a field element with loose bounds. */ diff --git a/fiat-rust/src/p448_solinas_64.rs b/fiat-rust/src/p448_solinas_64.rs index 7d23c13e13..d315e37e16 100644 --- a/fiat-rust/src/p448_solinas_64.rs +++ b/fiat-rust/src/p448_solinas_64.rs @@ -15,13 +15,13 @@ #![allow(unused_parens)] #![allow(non_camel_case_types)] -/* fiat_p448_u1 represents one byte. */ +/** fiat_p448_u1 represents values of 1 bits, stored in one byte. */ pub type fiat_p448_u1 = u8; -/* fiat_p448_i1 represents one byte. */ +/** fiat_p448_i1 represents values of 1 bits, stored in one byte. */ pub type fiat_p448_i1 = i8; -/* fiat_p448_u2 represents one byte. */ +/** fiat_p448_u2 represents values of 2 bits, stored in one byte. */ pub type fiat_p448_u2 = u8; -/* fiat_p448_i2 represents one byte. */ +/** fiat_p448_i2 represents values of 2 bits, stored in one byte. */ pub type fiat_p448_i2 = i8; /** The type fiat_p448_loose_field_element is a field element with loose bounds. */ diff --git a/fiat-rust/src/p521_32.rs b/fiat-rust/src/p521_32.rs index 286da39fba..d7d0f31c34 100644 --- a/fiat-rust/src/p521_32.rs +++ b/fiat-rust/src/p521_32.rs @@ -15,13 +15,13 @@ #![allow(unused_parens)] #![allow(non_camel_case_types)] -/* fiat_p521_u1 represents one byte. */ +/** fiat_p521_u1 represents values of 1 bits, stored in one byte. */ pub type fiat_p521_u1 = u8; -/* fiat_p521_i1 represents one byte. */ +/** fiat_p521_i1 represents values of 1 bits, stored in one byte. */ pub type fiat_p521_i1 = i8; -/* fiat_p521_u2 represents one byte. */ +/** fiat_p521_u2 represents values of 2 bits, stored in one byte. */ pub type fiat_p521_u2 = u8; -/* fiat_p521_i2 represents one byte. */ +/** fiat_p521_i2 represents values of 2 bits, stored in one byte. */ pub type fiat_p521_i2 = i8; /** The type fiat_p521_loose_field_element is a field element with loose bounds. */ diff --git a/fiat-rust/src/p521_64.rs b/fiat-rust/src/p521_64.rs index b71407cfd9..5dc862935a 100644 --- a/fiat-rust/src/p521_64.rs +++ b/fiat-rust/src/p521_64.rs @@ -15,13 +15,13 @@ #![allow(unused_parens)] #![allow(non_camel_case_types)] -/* fiat_p521_u1 represents one byte. */ +/** fiat_p521_u1 represents values of 1 bits, stored in one byte. */ pub type fiat_p521_u1 = u8; -/* fiat_p521_i1 represents one byte. */ +/** fiat_p521_i1 represents values of 1 bits, stored in one byte. */ pub type fiat_p521_i1 = i8; -/* fiat_p521_u2 represents one byte. */ +/** fiat_p521_u2 represents values of 2 bits, stored in one byte. */ pub type fiat_p521_u2 = u8; -/* fiat_p521_i2 represents one byte. */ +/** fiat_p521_i2 represents values of 2 bits, stored in one byte. */ pub type fiat_p521_i2 = i8; /** The type fiat_p521_loose_field_element is a field element with loose bounds. */ diff --git a/fiat-rust/src/poly1305_32.rs b/fiat-rust/src/poly1305_32.rs index 6686702504..7ed22837dd 100644 --- a/fiat-rust/src/poly1305_32.rs +++ b/fiat-rust/src/poly1305_32.rs @@ -15,13 +15,13 @@ #![allow(unused_parens)] #![allow(non_camel_case_types)] -/* fiat_poly1305_u1 represents one byte. */ +/** fiat_poly1305_u1 represents values of 1 bits, stored in one byte. */ pub type fiat_poly1305_u1 = u8; -/* fiat_poly1305_i1 represents one byte. */ +/** fiat_poly1305_i1 represents values of 1 bits, stored in one byte. */ pub type fiat_poly1305_i1 = i8; -/* fiat_poly1305_u2 represents one byte. */ +/** fiat_poly1305_u2 represents values of 2 bits, stored in one byte. */ pub type fiat_poly1305_u2 = u8; -/* fiat_poly1305_i2 represents one byte. */ +/** fiat_poly1305_i2 represents values of 2 bits, stored in one byte. */ pub type fiat_poly1305_i2 = i8; /** The type fiat_poly1305_loose_field_element is a field element with loose bounds. */ diff --git a/fiat-rust/src/poly1305_64.rs b/fiat-rust/src/poly1305_64.rs index 7d9c56627e..81fe43b567 100644 --- a/fiat-rust/src/poly1305_64.rs +++ b/fiat-rust/src/poly1305_64.rs @@ -15,13 +15,13 @@ #![allow(unused_parens)] #![allow(non_camel_case_types)] -/* fiat_poly1305_u1 represents one byte. */ +/** fiat_poly1305_u1 represents values of 1 bits, stored in one byte. */ pub type fiat_poly1305_u1 = u8; -/* fiat_poly1305_i1 represents one byte. */ +/** fiat_poly1305_i1 represents values of 1 bits, stored in one byte. */ pub type fiat_poly1305_i1 = i8; -/* fiat_poly1305_u2 represents one byte. */ +/** fiat_poly1305_u2 represents values of 2 bits, stored in one byte. */ pub type fiat_poly1305_u2 = u8; -/* fiat_poly1305_i2 represents one byte. */ +/** fiat_poly1305_i2 represents values of 2 bits, stored in one byte. */ pub type fiat_poly1305_i2 = i8; /** The type fiat_poly1305_loose_field_element is a field element with loose bounds. */