| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-12-19 | add warning explaining the limitations of the native code mode | Ralf Jung | -0/+36 | |
| 2024-12-07 | fmt | The Miri Cronjob Bot | -9/+3 | |
| 2024-12-05 | extend Miri to correctly pass mutable pointers through FFI | Strophox | -19/+314 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-09-16 | Bump ui test | Oli Scherer | -12/+8 | |
| 2024-09-03 | Enable native libraries on macOS | Jesse 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-01 | fmt | The Miri Cronjob Bot | -8/+4 | |
| 2024-08-30 | enable Miri to pass const pointers through FFI | Strophox | -0/+138 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-05-10 | rename 'extern-so' to 'native-lib' | Ralf Jung | -0/+114 | |
