julia
define `Random.GLOBAL_RNG = TaskLocalRNG()`
#51388
Merged
Overview
Commits
1
Changes
View On GitHub

define `Random.GLOBAL_RNG = TaskLocalRNG()` #51388

rfourquet merged 1 commit into master from rf/yeet-global-rng
rfourquet
rfourquet rfourquet changed the title make `Random.GLOBAL_RNG == TaskLocalRNG()` define `Random.GLOBAL_RNG = TaskLocalRNG()` 2 years ago
rfourquet rfourquet added randomness
fingolfin
fingolfin commented on 2023-09-19
rfourquet make `Random.GLOBAL_RNG == TaskLocalRNG()`
95325b61
rfourquet rfourquet force pushed from 24681c52 to 95325b61 2 years ago
rfourquet rfourquet merged b74daf50 into master 2 years ago
rfourquet rfourquet deleted the rf/yeet-global-rng branch 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
randomness
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum