| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-07-16 | hook up native-lib bits | Nia Espera | -0/+8 |
| 2025-02-28 | use fixed-width integer types in C code | Ralf Jung | -23/+23 |
| 2025-02-28 | miri native-call support: all previously exposed provenance is accessible to ... | Ralf Jung | -0/+19 |
| 2024-12-05 | extend Miri to correctly pass mutable pointers through FFI | Strophox | -0/+90 |
