Skip to content

osi: add basic RNGs#11

Merged
dvdhrm merged 2 commits intobus1:mainfrom
dvdhrm:wip/rng
Apr 24, 2026
Merged

osi: add basic RNGs#11
dvdhrm merged 2 commits intobus1:mainfrom
dvdhrm:wip/rng

Conversation

@dvdhrm
Copy link
Copy Markdown
Member

@dvdhrm dvdhrm commented Apr 24, 2026

Add basic random numbers generators. For now, provide SplitMix64 as well as Xoshiro256++.

dvdhrm added 2 commits April 24, 2026 14:19
Ensure Mix64 can be called in const-ctx, allowing static generation of
random numbers.

Signed-off-by: David Rheinsberg <david@readahead.eu>
Implement the Xoshiro256++ general-purpose PRNG, using SplitMix64 as
optional seeding.

Signed-off-by: David Rheinsberg <david@readahead.eu>
@dvdhrm dvdhrm merged commit 44476da into bus1:main Apr 24, 2026
10 checks passed
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.

1 participant