about summary refs log tree commit diff
path: root/src/tools/miri/tests/native-lib
AgeCommit message (Expand)AuthorLines
2025-08-31some refactoring and cleanupRalf Jung-65/+62
2025-08-31native-lib: pass structs to native codeNia Espera-0/+234
2025-07-30const-eval: full support for pointer fragmentsRalf Jung-1/+1
2025-07-18Show the memory of uninit readsOli Scherer-2/+7
2025-07-16hook up native-lib bitsNia Espera-0/+192
2025-07-03only set host-specific CC; improve and de-duplicate native libs testing logicRalf Jung-11/+0
2025-06-29fix type mismatches in native-lib/scalar_arguments testRalf Jung-2/+2
2025-06-28various minor native-lib-tracing tweaks, and disable naive-lib-tracing mode b...Ralf Jung-4/+4
2025-06-18minimal ptrace setupNia Espera-4/+4
2025-06-07make better use of label for data-race and some other errorsRalf Jung-4/+4
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-2/+2
2025-05-30Change diagnostic wordingtiif-4/+2
2025-02-28use fixed-width integer types in C codeRalf Jung-36/+38
2025-02-28miri native-call support: all previously exposed provenance is accessible to ...Ralf Jung-4/+55
2024-12-19add warning explaining the limitations of the native code modeRalf Jung-0/+36
2024-12-07fmtThe Miri Cronjob Bot-9/+3
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-19/+314
2024-09-16Bump ui testOli Scherer-12/+8
2024-09-03Enable native libraries on macOSJesse Rusak-33/+60
2024-09-01fmtThe Miri Cronjob Bot-8/+4
2024-08-30enable Miri to pass const pointers through FFIStrophox-0/+138
2024-05-10rename 'extern-so' to 'native-lib'Ralf Jung-0/+114
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 03:17:45 +0000