Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use SplitMix #2

Closed
wants to merge 9 commits into from
Closed

Conversation

curiousleo
Copy link
Collaborator

@curiousleo curiousleo commented Feb 14, 2020

The purpose of this PR is to use the pseudo-random number generation algorithm from splitmix while keeping the public interface exactly as it is.

@curiousleo curiousleo changed the title Replace algorithm by SplitMix Use SplitMix Feb 14, 2020
System/Random.hs Outdated Show resolved Hide resolved
@idontgetoutmuch
Copy link
Owner

What more needs to be done to merge this into #1 (which I think of as "The Proposal")?

@lehins
Copy link
Collaborator

lehins commented Mar 4, 2020

I'll give it a good review later on tonight.

Do we need to include shell.nix to the repo?

@lehins
Copy link
Collaborator

lehins commented Mar 4, 2020

Obviously a rebase is necessary, since there are conflicts

@idontgetoutmuch
Copy link
Owner

I think it will be easier to create a new PR

@curiousleo curiousleo mentioned this pull request Mar 5, 2020
@curiousleo
Copy link
Collaborator Author

Closing in favour of #22.

@curiousleo curiousleo closed this Mar 5, 2020
@curiousleo curiousleo deleted the use-splitmix branch March 9, 2020 08:15
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.

None yet

3 participants