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

Contracts and harnesses for dangling, from_raw_parts, slice_from_raw_parts, to_raw_parts in NonNull #127

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

Contracts and harnesses for dangling, from_raw_parts, slice_from_raw_parts, to_raw_parts in NonNull #127

wants to merge 11 commits into from
+125 −0

Commits on Oct 22, 2024

  1. draft for pointer creation & init APIs

    @QinyuanWu
    QinyuanWu committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    d3fb92d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'model-checking:main' into olivia/pointer_creation_and_init

    @QinyuanWu
    QinyuanWu authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    3ae10be View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. kani pointer compare bug fixed, using same_allocation, trait eq failure

    @QinyuanWu
    QinyuanWu committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    90f7b4b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'model-checking:main' into olivia/pointer_creation_and_init

    @QinyuanWu
    QinyuanWu authored Oct 25, 2024
    Configuration menu
    Copy the full SHA
    babde0b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'olivia/pointer_creation_and_init' of https://github.com… 

    …/danielhumanmod/verify-rust-std into olivia/pointer_creation_and_init
    @QinyuanWu
    QinyuanWu committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    5a6268e View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Merge branch 'model-checking:main' into olivia/pointer_creation_and_init

    @QinyuanWu
    QinyuanWu authored Oct 28, 2024
    Configuration menu
    Copy the full SHA
    ae49f93 View commit details
    Browse the repository at this point in the history

  2. add zero_len_slice in dangling, failed eq check in to_raw_parts

    @QinyuanWu
    QinyuanWu committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    e5a7f14 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2024

  1. Merge branch 'model-checking:main' into olivia/pointer_creation_and_init

    @QinyuanWu
    QinyuanWu authored Nov 1, 2024
    Configuration menu
    Copy the full SHA
    a7cc36b View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2024

  1. resolve partial eq

    @QinyuanWu
    QinyuanWu committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    13e6695 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'model-checking:main' into olivia/pointer_creation_and_init

    @QinyuanWu
    QinyuanWu authored Nov 7, 2024
    Configuration menu
    Copy the full SHA
    23c9f66 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2024

  1. Merge branch 'model-checking:main' into olivia/pointer_creation_and_init

    @QinyuanWu
    QinyuanWu authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    0e8f53f View commit details
    Browse the repository at this point in the history