summary refs log tree commit diff
path: root/src/tools/miri/tests/native-lib
AgeCommit message (Collapse)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
Co-authored-by: Ralf Jung <post@ralfj.de>
2024-09-16Bump ui testOli Scherer-12/+8
2024-09-03Enable native libraries on macOSJesse Rusak-33/+60
Fixes #3595 by using -fvisibility=hidden and the visibility attribute supported by both gcc and clang rather than the previous gcc-only mechanism for symbol hiding. Also brings over cfg changes from #3594 which enable native-lib functionality on all unixes.
2024-09-01fmtThe Miri Cronjob Bot-8/+4
2024-08-30enable Miri to pass const pointers through FFIStrophox-0/+138
Co-authored-by: Ralf Jung <post@ralfj.de>
2024-05-10rename 'extern-so' to 'native-lib'Ralf Jung-0/+114