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.

Sign up for GitHub

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

Jump to bottom

Clean up RandomId #10

Merged

jasonasher merged 3 commits into jasonasher:main from ekr-cfa:ekr_random_simplify

Jun 12, 2024

Contributor

ekr-cfa commented Jun 12, 2024

Assume a unique name and then use that to internally generate the seed.
Add a macro to define random ids

ekr and others added 3 commits

June 12, 2024 10:50


          Clean up RandomId

fe97929

- Assume a unique name and then use that to internally
  generate the seed.

- Add a macro to define random ids


          Format

52e69b2


          Increase visibility of macro and ease import

d263c61

jasonasher merged commit 8f81516 into jasonasher:main

2 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet