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

Added unit type proofs for mut ptr #8

Merged

stogaru merged 1 commit into verify/ptr_mut from verify/ptr_mut_unit_types

Oct 11, 2024

Collaborator

MayureshJoshi25 commented Oct 9, 2024

Please add a description of your PR.
If this is a solution to an open challenge, please explain your solution.

Don't forget to check our book to ensure your solution satisfy the overall
requirements as well as the challenge success criteria.

Resolves #ISSUE-NUMBER

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.


          Added unit type proofs for mut ptr

dec8c30

stogaru merged commit 2be7639 into verify/ptr_mut

stogaru deleted the verify/ptr_mut_unit_types branch

October 12, 2024 00:10

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet