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

Make live point generation deterministic #105

Merged
merged 17 commits into from
Jan 9, 2024

Commits on Oct 24, 2023

  1. Configuration menu
    Copy the full SHA
    34105af View commit details
    Browse the repository at this point in the history
  2. tidy comments

    AdamOrmondroyd committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    f56c4c9 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    abe5714 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    74bb5ca View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    dcdaa1a View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Configuration menu
    Copy the full SHA
    fcaf9f3 View commit details
    Browse the repository at this point in the history
  2. remove unused imports

    AdamOrmondroyd committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    05ab023 View commit details
    Browse the repository at this point in the history
  3. version bump

    AdamOrmondroyd committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    baad0e9 View commit details
    Browse the repository at this point in the history
  4. complete version bump

    AdamOrmondroyd committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    5e878f5 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. use point_needed() and request_this_point to offload all random number

    generation to the root process
    AdamOrmondroyd committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    08a1110 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ac84ecf View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ba00098 View commit details
    Browse the repository at this point in the history
  4. update comments

    AdamOrmondroyd committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    48138c8 View commit details
    Browse the repository at this point in the history
  5. version bump

    AdamOrmondroyd committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    ebc1aea View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2023

  1. record order that random samples were generated in so that their orde…

    …r can be restored at the end
    AdamOrmondroyd committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    6db5074 View commit details
    Browse the repository at this point in the history
  2. errant comma

    AdamOrmondroyd committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    293c016 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2024

  1. rename request_this_point -> request_live_point and point_needed -> l…

    …ive_point_needed + tidy comments
    AdamOrmondroyd committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    494b62c View commit details
    Browse the repository at this point in the history