Skip to content

Conversation

@vks
Copy link
Collaborator

@vks vks commented May 15, 2019

When moving the distribution from rand to rand_distr, the changes
from #740 were missed. This commit adds those changes.

When moving the distribution from `rand` to `rand_distr`, the changes
from rust-random#740 were missed. This commit adds those changes.
@dhardy dhardy mentioned this pull request May 15, 2019
22 tasks
@vks vks added this to the 0.7 release milestone May 15, 2019
@dhardy
Copy link
Member

dhardy commented May 16, 2019

Looks good to me.

Another thing missed is Miri testing of rand_distr; I'll make a start on that.

@dhardy dhardy merged commit 4ef40b6 into rust-random:master May 16, 2019
@vks vks deleted the update-binomial branch May 16, 2019 09:10
benjamin-lieser pushed a commit to benjamin-lieser/rand that referenced this pull request Feb 5, 2025
rand_distr: Update binomial distribution implementation
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants