summary refs log tree commit diff
path: root/src/tools/miri/tests/native-lib
AgeCommit message (Expand)AuthorLines
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