rust/src/tools/miri/genmc-sys/src_cpp, branch masterhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=master2025-09-03T10:41:32+00:00Implement 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>
Add support for building and linking against genmc2025-07-27T14:37:14+00:00Patrick-6pamu99@gmx.ch2025-03-14T08:58:46+00:00urn:sha1:41259050afa0a2e66d739594a27b638266706074