rust/src/tools/miri/tests/utils/genmc.rs, branch automation/bors/tryhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=automation/bors/try2025-09-07T21:51:17+00:00Implement more features for GenMC mode2025-09-07T21:51:17+00:00Patrick-6pamu99@gmx.ch2025-03-14T08:58:46+00:00urn:sha1:61af5da8dfc9f5fd6e2d36f8316f7bf5884f5388
- Support for atomic fences.
- Support for atomic read-modify-write (RMW).
- Add tests using RMW and fences.
- Add options:
- to disable weak memory effects in GenMC mode.
- to print GenMC execution graphs.
- to print GenMC output message.
- Fix GenMC full rebuild issue and run configure step when commit changes.
- Do cleanup.
Co-authored-by: Ralf Jung <post@ralfj.de>
Implement basic support for running Miri with GenMC.2025-09-03T10:41:32+00:00Patrick-6pamu99@gmx.ch2025-04-14T06:53:50+00:00urn:sha1:c1be740564dd4a3aaafca93539ca428223226278
- 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>