Skip to content

Add random number generator state wrappers#123

Merged
Ilia-Kosenkov merged 1 commit intomasterfrom
add_r_ext_random
Feb 18, 2023
Merged

Add random number generator state wrappers#123
Ilia-Kosenkov merged 1 commit intomasterfrom
add_r_ext_random

Conversation

@CGMossa
Copy link
Member

@CGMossa CGMossa commented Feb 5, 2023

@yutannihilation
Copy link
Contributor

Can we merge this and #124?

@CGMossa
Copy link
Member Author

CGMossa commented Feb 18, 2023 via email

@Ilia-Kosenkov Ilia-Kosenkov merged commit 6674a93 into master Feb 18, 2023
@yutannihilation
Copy link
Contributor

Thanks!

@CGMossa CGMossa deleted the add_r_ext_random branch October 6, 2023 07:38
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.

3 participants