about summary refs log tree commit diff
path: root/src/tools/miri/tests/native-lib/ptr_write_access.c
AgeCommit message (Expand)AuthorLines
2025-07-16hook up native-lib bitsNia Espera-0/+8
2025-02-28use fixed-width integer types in C codeRalf Jung-23/+23
2025-02-28miri native-call support: all previously exposed provenance is accessible to ...Ralf Jung-0/+19
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-0/+90