PR #51533 Random: allow seeding from an RNG

Random: allow seeding from an RNG #51533

rfourquet merged 2 commits into master from rf/seed-rng

rfourquet added randomness

rfourquet force pushed from 446851a4 to 11dba022 2 years ago

Base automatically changed from rf/seed-string to master 2 years ago

rfourquet force pushed from 11dba022 to 2a3f6699 2 years ago

ViralBShah marked this pull request as draft 339 days ago

rfourquet force pushed from 2a3f6699 to 9f1ceded 332 days ago

rfourquet force pushed from 9f1ceded to 3e7e3920 332 days ago

rfourquet force pushed from 3e7e3920 to a6fbef23 332 days ago

rfourquet force pushed from a6fbef23 to 22027f94 330 days ago

rfourquet marked this pull request as ready for review 330 days ago

rfourquet commented on 2025-04-26

oscardssmith requested a review from

StefanKarpinski 315 days ago

Random: allow seeding from an RNG

f2e223f6

Random: make a new "strong" RNG using SHA

856025e8

rfourquet force pushed from 22027f94 to 856025e8 307 days ago

oscardssmith approved these changes on 2025-05-05

rfourquet added don't squash

rfourquet merged 6adb4cf3 into master 305 days ago

rfourquet deleted the rf/seed-rng branch 305 days ago

Reviewers

oscardssmith

StefanKarpinski

Assignees

No one assigned

Labels

randomness don't squash

Milestone

No milestone