summary refs log tree commit diff
path: root/src/tools/miri/tests/native-lib/pass
AgeCommit message (Expand)AuthorLines
2025-02-28miri native-call support: all previously exposed provenance is accessible to ...Ralf Jung-4/+36
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-15/+220
2024-09-16Bump ui testOli Scherer-4/+2
2024-09-03Enable native libraries on macOSJesse Rusak-2/+6
2024-09-01fmtThe Miri Cronjob Bot-8/+4
2024-08-30enable Miri to pass const pointers through FFIStrophox-0/+83
2024-05-10rename 'extern-so' to 'native-lib'Ralf Jung-0/+47