Skip to content

Strict provenance support#1

Merged
CertainLach merged 13 commits intojrsonnetfrom
feat/strict-provenance
May 10, 2025
Merged

Strict provenance support#1
CertainLach merged 13 commits intojrsonnetfrom
feat/strict-provenance

Conversation

@CertainLach
Copy link
Owner

(Ignore version commits)

@CertainLach
Copy link
Owner Author

This PR is also required for miri to work with cc_dyn! trait, as it now handles vtable in miri-compatible way (with_ptr overrides address leaving metadata in place, essentially this is most of what is wanted from ptr_metadata feature)

@CertainLach CertainLach merged commit 6d4f088 into jrsonnet May 10, 2025
2 of 4 checks passed
@CertainLach CertainLach deleted the feat/strict-provenance branch May 10, 2025 09:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant