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

Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr #126

Open
wants to merge 15 commits into
base: main
Choose a base branch
from
Open

Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr #126

wants to merge 15 commits into from

Commits on Oct 22, 2024

  1. Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr

    @Dhvani-Kapadia
    Dhvani-Kapadia authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    d7e9106 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Resolved feedbacks

    @Dhvani-Kapadia
    Dhvani-Kapadia committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    5c5904f View commit details
    Browse the repository at this point in the history

  2. Delete verify-error.log

    @Dhvani-Kapadia
    Dhvani-Kapadia authored Oct 28, 2024
    Configuration menu
    Copy the full SHA
    8a21bc6 View commit details
    Browse the repository at this point in the history

  3. Deleting Kani

    @Dhvani-Kapadia
    Dhvani-Kapadia committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    0a9fc55 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'dhvani_ptr' of https://github.com/danielhumanmod/verify… 

    …-rust-std into dhvani_ptr
    @Dhvani-Kapadia
    Dhvani-Kapadia committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    ec1d94f View commit details
    Browse the repository at this point in the history

  5. Update non_null.rs

    @Dhvani-Kapadia
    Dhvani-Kapadia authored Oct 28, 2024
    Configuration menu
    Copy the full SHA
    8669d9f View commit details
    Browse the repository at this point in the history

  6. editing non_null.rs

    @Dhvani-Kapadia
    Dhvani-Kapadia authored Oct 28, 2024
    Configuration menu
    Copy the full SHA
    a393bb1 View commit details
    Browse the repository at this point in the history

  7. Update non_null.rs

    @Dhvani-Kapadia
    Dhvani-Kapadia authored Oct 28, 2024
    Configuration menu
    Copy the full SHA
    0116189 View commit details
    Browse the repository at this point in the history

  8. Update non_null.rs

    @Dhvani-Kapadia
    Dhvani-Kapadia authored Oct 28, 2024
    Configuration menu
    Copy the full SHA
    a844700 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. Update non_null.rs

    @Dhvani-Kapadia
    Dhvani-Kapadia authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    dbf1e32 View commit details
    Browse the repository at this point in the history

  2. Update non_null.rs

    @Dhvani-Kapadia
    Dhvani-Kapadia authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    20652aa View commit details
    Browse the repository at this point in the history

  3. Update non_null.rs

    @Dhvani-Kapadia
    Dhvani-Kapadia authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    17d509e View commit details
    Browse the repository at this point in the history

  4. Update non_null.rs

    @Dhvani-Kapadia
    Dhvani-Kapadia authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    9b1cca6 View commit details
    Browse the repository at this point in the history

  5. Update non_null.rs

    @Dhvani-Kapadia
    Dhvani-Kapadia authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    9bd3888 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2024

  1. worked on feedback

    @Dhvani-Kapadia
    Dhvani-Kapadia committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e9d741c View commit details
    Browse the repository at this point in the history