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

refined core transmutation challenge. #11

Merged
merged 13 commits into from
Jun 12, 2024
Merged

refined core transmutation challenge. #11

merged 13 commits into from
Jun 12, 2024

Commits on Jun 10, 2024

  1. refined core transmutation challenge.

    @pnkfelix
    pnkfelix committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    fc7bcf0 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2024

  1. clarify that full-functional correctness is not the specific point of… 

    … this challenge, and that it suffices to focus on the transmutation-related safety invariants.
    @pnkfelix
    pnkfelix committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    929dd4a View commit details
    Browse the repository at this point in the history

  2. added appendix explaining how the list of methods was constructed.

    @pnkfelix
    pnkfelix committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    3e7249a View commit details
    Browse the repository at this point in the history

  3. Address comments from reviewers 

    Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>
    @feliperodri
    feliperodri committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    3db5b5a View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. Merge branch 'main' into core-transmutation-challenge-2024-06

    @tautschnig
    tautschnig authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    316196b View commit details
    Browse the repository at this point in the history

  2. Update doc/src/core-transmutation.md

    @tautschnig
    tautschnig authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    38d03e0 View commit details
    Browse the repository at this point in the history

  3. Update doc/src/core-transmutation.md

    @tautschnig
    tautschnig authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    d0fadd4 View commit details
    Browse the repository at this point in the history

  4. Update doc/src/core-transmutation.md

    @tautschnig
    tautschnig authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    e55b676 View commit details
    Browse the repository at this point in the history

  5. Update doc/src/core-transmutation.md

    @tautschnig
    tautschnig authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    fbc02a3 View commit details
    Browse the repository at this point in the history

  6. Update doc/src/core-transmutation.md

    @tautschnig
    tautschnig authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    21099fe View commit details
    Browse the repository at this point in the history

  7. Update doc/src/core-transmutation.md

    @tautschnig
    tautschnig authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    ee50c83 View commit details
    Browse the repository at this point in the history

  8. Update doc/src/core-transmutation.md

    @tautschnig
    tautschnig authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    9a99cfc View commit details
    Browse the repository at this point in the history

  9. Update doc/src/core-transmutation.md

    @tautschnig
    tautschnig authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    e8fe674 View commit details
    Browse the repository at this point in the history