| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-02-28 | use fixed-width integer types in C code | Ralf Jung | -36/+38 |
| 2025-02-28 | miri native-call support: all previously exposed provenance is accessible to ... | Ralf Jung | -4/+55 |
| 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 |
| 2024-09-16 | Bump ui test | Oli Scherer | -12/+8 |
| 2024-09-03 | Enable native libraries on macOS | Jesse Rusak | -33/+60 |
| 2024-09-01 | fmt | The Miri Cronjob Bot | -8/+4 |
| 2024-08-30 | enable Miri to pass const pointers through FFI | Strophox | -0/+138 |
| 2024-05-10 | rename 'extern-so' to 'native-lib' | Ralf Jung | -0/+114 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |