rust/src/tools/miri/genmc-sys/build.rs, branch perf-tmp

Implement more features for GenMC mode

2025-09-07T21:51:17+00:00

- 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

Merge pull request #4506 from Patrick-6/miri-genmc-mvp

2025-09-03T13:25:37+00:00

Add minimal functionality for using GenMC mode

Implement basic support for running Miri with GenMC.

2025-09-03T10:41:32+00:00

- 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

Reduce required cc crate version.

2025-07-28T08:50:02+00:00

various minor adjustments

2025-07-27T14:37:49+00:00

Add support for building and linking against genmc

2025-07-27T14:37:14+00:00