Nothing Special   »   [go: up one dir, main page]

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

Add the deterministic math/rand helpers to stdlibs #744

Closed
moul opened this issue Apr 14, 2023 · 1 comment
Closed

Add the deterministic math/rand helpers to stdlibs #744

moul opened this issue Apr 14, 2023 · 1 comment

Comments

@moul
Copy link
Member
moul commented Apr 14, 2023

Currently, they're only available from gnovm/tests/imports.go; we should migrate them to stdlibs, except for rand.Seed which sets a global state.

And, list in the PR or in this issue some proofs that those functions are deterministic, like https://github.com/golang/go/blob/e7b04a3e166b47c1591eab13f4a451d939ae8941/src/math/rand/rand.go#L378-L381.

@thehowl
Copy link
Member
thehowl commented Nov 16, 2024

This is done

@thehowl thehowl closed this as completed Nov 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: 🌟 Wanted for Launch
Development

No branches or pull requests

4 participants