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

halt command #1256

Merged
merged 10 commits into from
May 19, 2023
Merged

halt command #1256

merged 10 commits into from
May 19, 2023

Commits on May 12, 2023

  1. halt command

    @byorgey
    byorgey committed May 12, 2023
    Configuration menu
    Copy the full SHA
    296d926 View commit details
    Browse the repository at this point in the history

  2. add type for Halt

    @byorgey
    byorgey committed May 12, 2023
    Configuration menu
    Copy the full SHA
    5241bb1 View commit details
    Browse the repository at this point in the history

  3. add halting oracle device

    @byorgey
    byorgey committed May 12, 2023
    Configuration menu
    Copy the full SHA
    1d95e57 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2023

  1. "tell a robot" instead of "tell another robot" 

    `halt self` works too!
    @byorgey
    byorgey committed May 13, 2023
    Configuration menu
    Copy the full SHA
    8071a5a View commit details
    Browse the repository at this point in the history

Commits on May 18, 2023

  1. add a test for halt command

    @byorgey
    byorgey committed May 18, 2023
    Configuration menu
    Copy the full SHA
    e7dccc1 View commit details
    Browse the repository at this point in the history

  2. ensure unprivileged robots can't halt privileged ones

    @byorgey
    byorgey committed May 18, 2023
    Configuration menu
    Copy the full SHA
    ebe4bc1 View commit details
    Browse the repository at this point in the history

  3. recipe for halting oracle

    @byorgey
    byorgey committed May 18, 2023
    Configuration menu
    Copy the full SHA
    cd0c106 View commit details
    Browse the repository at this point in the history

  4. fix halt command test

    @byorgey
    byorgey committed May 18, 2023
    Configuration menu
    Copy the full SHA
    2557b15 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2023

  1. address hlint suggestion

    @byorgey
    byorgey committed May 19, 2023
    Configuration menu
    Copy the full SHA
    e8b594f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/halt

    @mergify
    mergify[bot] committed May 19, 2023
    Configuration menu
    Copy the full SHA
    7ea6174 View commit details
    Browse the repository at this point in the history