| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-08-31 | some refactoring and cleanup | Ralf Jung | -19/+1 | |
| 2025-08-31 | native-lib: pass structs to native code | Nia Espera | -0/+71 | |
| 2025-07-16 | hook up native-lib bits | Nia Espera | -0/+46 | |
| 2025-07-03 | only set host-specific CC; improve and de-duplicate native libs testing logic | Ralf Jung | -11/+0 | |
| 2025-06-28 | various minor native-lib-tracing tweaks, and disable naive-lib-tracing mode ↵ | Ralf Jung | -4/+4 | |
| by default | ||||
| 2025-06-18 | minimal ptrace setup | Nia Espera | -4/+4 | |
| Apply suggestions from code review Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de> review comments fix possible hang | ||||
| 2025-06-07 | make better use of label for data-race and some other errors | Ralf Jung | -4/+4 | |
| 2025-02-28 | miri native-call support: all previously exposed provenance is accessible to ↵ | Ralf Jung | -4/+36 | |
| the callee | ||||
| 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 | -15/+220 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-09-16 | Bump ui test | Oli Scherer | -4/+2 | |
| 2024-09-03 | Enable native libraries on macOS | Jesse Rusak | -2/+6 | |
| 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/+83 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-05-10 | rename 'extern-so' to 'native-lib' | Ralf Jung | -0/+47 | |
