| Age | Commit message (Collapse) | 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 | |
| the callee | ||||
| 2024-12-05 | extend Miri to correctly pass mutable pointers through FFI | Strophox | -0/+90 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
