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

Add Challenge 2: Verify the memory safery of core intrinsics using raw pointers #14

Merged
merged 9 commits into from
Jun 12, 2024
Merged

Add Challenge 2: Verify the memory safery of core intrinsics using raw pointers #14

merged 9 commits into from
Jun 12, 2024

Commits on Jun 11, 2024

  1. Add the challenge to page

    @jaisnan
    jaisnan committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    2d00c67 View commit details
    Browse the repository at this point in the history

  2. Remove empty sections

    @jaisnan
    jaisnan committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    6d45f46 View commit details
    Browse the repository at this point in the history

  3. Apply suggestions from code review 

    Co-authored-by: Michael Tautschnig <[email protected]>
    @jaisnan @tautschnig
    jaisnan and tautschnig authored Jun 11, 2024
    Configuration menu
    Copy the full SHA
    98d0bef View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Celina G. Val <[email protected]>
    @jaisnan @celinval
    jaisnan and celinval authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    948891f View commit details
    Browse the repository at this point in the history

  2. Add link to challenge 2

    @jaisnan
    jaisnan committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    30f53d9 View commit details
    Browse the repository at this point in the history

  3. Remove blank row

    @jaisnan
    jaisnan committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    d63c4eb View commit details
    Browse the repository at this point in the history

  4. Fix cI errors

    @jaisnan
    jaisnan committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    3554caf View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' of https://github.com/model-checking/verify-rust-std 

     into challenge-2
    @jaisnan
    jaisnan committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    30f2648 View commit details
    Browse the repository at this point in the history

  6. Fix tables and broken links

    @jaisnan
    jaisnan committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    2ee922b View commit details
    Browse the repository at this point in the history