NEKO v0.2.1 spec, 192 bit mode, const type asserts #4

.tangled/workflows/miri.yml

reviewed

This file has not been changed.

src/handshake.rs

reviewed

This file has not been changed.

src/lib.rs

reviewed

This file has not been changed.

wharrgarbl-neko/SPEC.md

reviewed

This file has not been changed.

wharrgarbl-neko/src/kats.rs

reviewed

This file has not been changed.

+3 -3

wharrgarbl-neko/src/lib.rs

reviewed

··· 123 123 #[must_use] 124 124 pub(crate) fn block(&self) -> usize { 125 125 let block = usize::from(self.raw_position()).div_ceil(U64_CHUNK); 126 126 - debug_assert!(block < Sec::RATE); 126 126 + debug_assert!(block <= Sec::RATE); 127 127 if block < Sec::RATE { 128 128 block 129 129 } else { ··· 135 135 #[inline(always)] 136 136 #[must_use] 137 137 fn raw_position(&self) -> u8 { 138 138 - debug_assert!(self.position < u8::MAX as usize && self.position < Sec::RATE * U64_CHUNK); 139 139 - if self.position < u8::MAX as usize && self.position < Sec::RATE * U64_CHUNK { 138 138 + debug_assert!(self.position < u8::MAX as usize && self.position <= Sec::RATE * U64_CHUNK); 139 139 + if self.position < u8::MAX as usize && self.position <= Sec::RATE * U64_CHUNK { 140 140 self.position as u8 141 141 } else { 142 142 // SAFETY: the type enforces that `position` is always smaller than

wharrgarbl-neko/src/operators.rs

reviewed

This file has not been changed.

wharrgarbl-neko/src/traits.rs

reviewed

This file has not been changed.