about summary refs log tree commit diff
path: root/src/tools/miri/tests/native-lib/ptr_write_access.c
AgeCommit message (Collapse)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
the callee
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-0/+90
Co-authored-by: Ralf Jung <post@ralfj.de>