You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm not convinced this is a good idea: (1) there's very little actual incentive to move rand_pcg to the rngs repo, and (2) PCG is a much simpler RNG than ChaCha, thus if we ever decided to replace ChaCha we'd have to port tests again instead of just keeping a small RNG around for tests.
So my vote is to close this and forget about the issue.
This would allow us to move
rand_pcg
to therngs
repository, see #1139.The text was updated successfully, but these errors were encountered: