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.

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

Use UnsafeWorldCell to increase code quality for SystemParam #8174

Merged
merged 6 commits into from
Apr 1, 2023
Merged

Use UnsafeWorldCell to increase code quality for SystemParam #8174

merged 6 commits into from
Apr 1, 2023

Commits on Mar 23, 2023

  1. use UnsafeWorldCell for SystemParams

    @JoJoJet
    JoJoJet committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    1b78c0e View commit details
    Browse the repository at this point in the history

  2. make a safety invariant explicit

    @JoJoJet
    JoJoJet committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    0d50c36 View commit details
    Browse the repository at this point in the history

  3. fix a typo

    @JoJoJet
    JoJoJet committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    eb0ab0e View commit details
    Browse the repository at this point in the history

  4. tweak phrasing for a safety invariant

    @JoJoJet
    JoJoJet committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    1799d41 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2023

  1. Merge remote-tracking branch 'upstream/main' into system-param-unsafe… 

    …-world-cell
    @JoJoJet
    JoJoJet committed Mar 30, 2023
    Configuration menu
    Copy the full SHA
    738563f View commit details
    Browse the repository at this point in the history

  2. fix a merge conflict

    @JoJoJet
    JoJoJet committed Mar 30, 2023
    Configuration menu
    Copy the full SHA
    bebd929 View commit details
    Browse the repository at this point in the history