PR #58353 add `Random.jump(rng)` API

add `Random.jump(rng)` API #58353

rfourquet wants to merge 1 commit into master from rf/jump

rfourquet added randomness

rfourquet added feature

rfourquet changed the title ~~add Random.jump(rng) API~~ add `Random.jump(rng)` API 1 year ago

add Random.jump(rng) API

8262550b

rfourquet force pushed from 06464a4f to 8262550b 1 year ago

Seelengrab commented on 2025-05-08

ararslan commented on 2025-05-08

Reviewers

ararslan

Seelengrab

Assignees

No one assigned

Labels

randomness feature

Milestone

No milestone