| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 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 |
| 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 |
| 2024-09-16 | Bump ui test | Oli Scherer | -4/+2 |
| 2024-09-03 | Enable native libraries on macOS | Jesse Rusak | -2/+6 |
| 2024-09-01 | fmt | The Miri Cronjob Bot | -8/+4 |
| 2024-08-30 | enable Miri to pass const pointers through FFI | Strophox | -0/+83 |
| 2024-05-10 | rename 'extern-so' to 'native-lib' | Ralf Jung | -0/+47 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |