Searched refs:sampled_coefficients (Results 1 – 1 of 1) sorted by relevance
8335 uint8_t (*randomness)[504U], size_t *sampled_coefficients, in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_89() argument8341 if (sampled_coefficients[i1] < in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_89()8347 Eurydice_array_to_subslice3(out[i1], sampled_coefficients[i1], in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_89()8348 sampled_coefficients[i1] + (size_t)16U, in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_89()8351 sampled_coefficients[uu____0] = sampled_coefficients[uu____0] + sampled; in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_89()8358 if (sampled_coefficients[i0] >= in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_89()8360 sampled_coefficients[i0] = in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_89()8457 uint8_t (*randomness)[168U], size_t *sampled_coefficients, in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_890() argument8463 if (sampled_coefficients[i1] < in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_890()8469 Eurydice_array_to_subslice3(out[i1], sampled_coefficients[i1], in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_890()[all …]