rust/src/tools
Patrick-6 c1be740564 Implement basic support for running Miri with GenMC.
- Implement memory allocation compatible with GenMC.
  - Extract address generator struct from Miri's allocator.
- Support thread creation and joining.
- Support atomic load and store.
- Support scheduling through GenMC.
- Add tests for GenMC mode.
- Add clang-format file for C++ code in Miri.
- Update genmc-sys crate license to MIT/Apache to match GenMC dependency.
- Add documentation for GenMC mode.

Note: this commit depends on changes to GenMC not yet upstreamed to its official repository.

Co-authored-by: Ralf Jung <post@ralfj.de>
2025-09-03 12:41:32 +02:00
..
build-manifest Add windows-gnullvm hosts to the manifest 2025-06-26 01:42:44 +02:00
bump-stage0 Remove git_repository field from GitConfig 2025-04-23 10:41:20 +02:00
cargo@9b296973b4 Update cargo 2025-07-25 17:19:39 -04:00
cargotest
clippy Fix tooling 2025-07-26 20:26:16 +02:00
collect-license-metadata
compiletest Rollup merge of #144454 - folkertdev:uefi-tests, r=jieyouxu 2025-07-27 10:19:02 +02:00
coverage-dump Update miniz_oxide dependency of coverage_dump 2025-05-10 18:35:20 +02:00
enzyme@2cccfba93c enzyme submodule update 2025-07-18 16:23:47 -07:00
error_index_generator
features-status-dump Remove backtrace dep from anyhow in features status dump tool 2025-05-01 07:45:47 -04:00
generate-copyright bump cargo_metadata 2025-07-27 12:47:39 +03:00
generate-windows-sys Update windows-bindgen to 0.61.0 2025-04-04 16:41:40 +00:00
html-checker
jsondocck Compiletest: Simplify {Html,Json}DocCk directive handling 2025-07-13 16:00:23 +02:00
jsondoclint rustdoc_json: represent generic args consistently. 2025-06-21 13:52:46 +10:00
libcxx-version
linkchecker fix(linkcheck): Build using the lockfile 2025-06-20 09:12:30 -05:00
lint-docs Rollup merge of #143631 - hkBst:update-escaper-2, r=compiler-errors 2025-07-17 10:41:45 +02:00
lld-wrapper
llvm-bitcode-linker
miri Implement basic support for running Miri with GenMC. 2025-09-03 12:41:32 +02:00
miropt-test-tools
nix-dev-shell Deduplicate nix code 2025-04-17 00:01:04 -04:00
opt-dist Auto merge of #144249 - GuillaumeGomez:asm-tests, r=jieyouxu 2025-07-22 18:39:58 +00:00
remote-test-client remote-test-client: Exit code 128 + <signal-number> instead of 3 2025-07-04 20:44:26 +02:00
remote-test-server
replace-version-placeholder
run-make-support Fix run-make tests on musl hosts 2025-07-21 02:14:01 +02:00
rust-analyzer Remove dead code and extend test coverage and diagnostics around it 2025-07-24 10:21:20 +00:00
rust-installer Update README.md 2025-06-29 12:29:28 +03:00
rustbook cargo update 2025-07-20 00:27:45 +00:00
rustc-perf@6a70166b92 Bump rustc-perf and update PGO crates 2025-05-29 09:00:36 +00:00
rustdoc librustdoc: 2024 edition! 🎊 2025-03-04 12:35:18 +02:00
rustdoc-gui Update browser-ui-test version to 0.21.1 2025-07-03 18:08:23 +02:00
rustdoc-gui-test integrate build_helper::npm into js checks and package.json usage 2025-07-19 14:56:42 -05:00
rustdoc-js Update rustdoc search tester to new alias output 2025-07-16 14:27:22 +02:00
rustdoc-themes
rustfmt parse const trait Trait 2025-07-17 18:06:26 +08:00
test-float-parse Remove uncessary parens in closure body with unused lint 2025-07-10 09:25:56 +08:00
tidy Rollup merge of #144495 - klensy:cargo_metadata, r=lqd 2025-07-28 01:16:39 +02:00
tier-check tiercheck: edition 2024 2025-07-14 08:30:27 +00:00
unicode-table-generator unicode-table-gen: more clippy fixes 2025-07-18 15:03:43 +00:00
unstable-book-gen Rollup merge of #141526 - jyn514:env-vars, r=petrochenkov 2025-05-27 01:29:21 +08:00
wasm-component-ld Update wasm-component-ld to 0.5.14 2025-06-24 15:59:35 -07:00
x x: use let-else 2025-07-11 05:38:05 +00:00
cherry-pick.sh
publish_toolstate.py