| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-07-30 | const-eval: full support for pointer fragments | Ralf Jung | -1/+1 | |
| 2025-07-18 | Show the memory of uninit reads | Oli Scherer | -2/+7 | |
| 2025-07-16 | hook up native-lib bits | Nia Espera | -0/+192 | |
| 2025-07-03 | only set host-specific CC; improve and de-duplicate native libs testing logic | Ralf Jung | -11/+0 | |
| 2025-06-29 | fix type mismatches in native-lib/scalar_arguments test | Ralf Jung | -2/+2 | |
| 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-06-07 | diagnostics: do not repeat the entire message in the span label | Ralf Jung | -2/+2 | |
| 2025-05-30 | Change diagnostic wording | tiif | -4/+2 | |
| 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 | |
| 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 | -19/+314 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-09-16 | Bump ui test | Oli Scherer | -12/+8 | |
| 2024-09-03 | Enable native libraries on macOS | Jesse Rusak | -33/+60 | |
| 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/+138 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-05-10 | rename 'extern-so' to 'native-lib' | Ralf Jung | -0/+114 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |