diff options
| author | Lukas Wirth <me@lukaswirth.dev> | 2025-06-13 11:41:26 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-13 11:41:26 +0000 |
| commit | e1e7f59ef9f793e36f95608d3f83ea28b501c1fb (patch) | |
| tree | 176089daa089a527f897fc9ed83c4c07e30ef8e9 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 777fdacb54eb27f832c46370cf993f662ae2fdf5 (diff) | |
| parent | 4b61ff72371b1724ee89f70a20a3be4a6037f463 (diff) | |
| download | rust-e1e7f59ef9f793e36f95608d3f83ea28b501c1fb.tar.gz rust-e1e7f59ef9f793e36f95608d3f83ea28b501c1fb.zip | |
Merge pull request #19990 from Veykril/push-zkvrlrotmuzr
Generate annotations for macro defined items if their name is in the input
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions