| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-04-16 | use std-declared intrinsics rather than copying the declaration | Ralf Jung | -7/+2 |
| 2025-03-12 | intrinsics: remove unnecessary leading underscore from argument names | Ralf Jung | -1/+1 |
| 2025-01-20 | Updated several files to use rust intrinsic macros instead of the legacy exte... | vayunbiyani | -3/+2 |
| 2024-04-16 | Miri: adopt to new intrinsic types | Maybe Waffle | -1/+1 |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+15 |
