Skip to content

[pointer][WIP] Validity in referent #2406

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
Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

[pointer][WIP] Validity in referent #2406

wants to merge 3 commits into from

Conversation

@joshlf
Copy link
Member

@joshlf joshlf commented Feb 28, 2025 •
edited
Loading

This was referenced Feb 28, 2025
Merged
Merged
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch from ce43888 to 38e538b Compare February 28, 2025 21:25
@joshlf joshlf force-pushed the Ie66db9044be1dc310a6b7280a73652a357878376 branch from fec7673 to feb5ccf Compare February 28, 2025 21:25
@joshlf joshlf changed the base branch from Ie66db9044be1dc310a6b7280a73652a357878376 to Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 February 28, 2025 21:25
This was referenced Feb 28, 2025
Merged
Merged
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch from bd18425 to 4bd4fd9 Compare February 28, 2025 23:09
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch from 38e538b to f9da273 Compare February 28, 2025 23:09
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch from 4bd4fd9 to f1b2bec Compare March 2, 2025 23:21
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch from f9da273 to 0518db9 Compare March 2, 2025 23:21
@joshlf joshlf mentioned this pull request Mar 2, 2025
Merged
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch from 0518db9 to e3514e1 Compare March 2, 2025 23:46
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch from f1b2bec to 653cdb9 Compare March 2, 2025 23:46
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch from e3514e1 to 255ecd3 Compare March 3, 2025 00:02
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch from 653cdb9 to 3e52166 Compare March 3, 2025 00:02
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch from 255ecd3 to a62963d Compare March 3, 2025 17:44
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch from 3b22cad to ce4af82 Compare March 3, 2025 20:41
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch 2 times, most recently from 96ecd59 to ba0440f Compare March 3, 2025 21:20
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch 2 times, most recently from 4213183 to d079749 Compare March 3, 2025 22:08
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch 2 times, most recently from 3984bff to 8b44a50 Compare March 4, 2025 00:13
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch 2 times, most recently from c640f3e to 6151c97 Compare March 4, 2025 00:20
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch 2 times, most recently from e220b4e to d5e3fdd Compare March 4, 2025 17:41
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch 2 times, most recently from bbf07a8 to f6105a0 Compare March 4, 2025 17:56
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch 2 times, most recently from b34c674 to a0f6474 Compare March 4, 2025 19:03
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch 2 times, most recently from e0c26a6 to ec53bee Compare March 4, 2025 20:37
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch 2 times, most recently from 354267d to 8b4a068 Compare March 4, 2025 20:54
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch from ec53bee to 69cdd36 Compare March 4, 2025 20:54
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch from 8b4a068 to b37fcfa Compare March 4, 2025 22:29
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch from 69cdd36 to 2d445ea Compare March 4, 2025 22:29
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch from b37fcfa to 3a43dfd Compare March 4, 2025 23:28
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch from 2d445ea to cbbb79b Compare March 4, 2025 23:28
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch from 3a43dfd to 0c63965 Compare March 4, 2025 23:35
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch 2 times, most recently from a863b5e to 99350fc Compare March 4, 2025 23:54
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch from 0c63965 to 9c88adc Compare March 4, 2025 23:54
joshlf added 3 commits March 5, 2025 12:04
@joshlf
[pointer] Document validity safety invariant
c559aad 
Document the semantics of `Ptr` validity invariants on the `Validity`
trait.

Makes progress on #2226, #1866

gherrit-pr-id: Ie66db9044be1dc310a6b7280a73652a357878376
@joshlf
[pointer][WIP] Transmute
b0dfb32 
gherrit-pr-id: Iad14813bc6d933312bc8d7a1ddcf1aafc7126938
@joshlf
[pointer][WIP] Validity in referent
689b42c 
gherrit-pr-id: Icdd795ee43df33bd553deb69675c1cdca686a1d8
@joshlf joshlf force-pushed the Icdd795ee43df33bd553deb69675c1cdca686a1d8 branch from 99350fc to 689b42c Compare March 5, 2025 20:04
@joshlf joshlf force-pushed the Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 branch 10 times, most recently from 91aea96 to 64a08b3 Compare March 6, 2025 21:26
Base automatically changed from Iad14813bc6d933312bc8d7a1ddcf1aafc7126938 to main March 6, 2025 22:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@joshlf