diff options
| author | Patrick-6 <pamu99@gmx.ch> | 2025-04-14 08:53:50 +0200 |
|---|---|---|
| committer | Patrick-6 <pamu99@gmx.ch> | 2025-09-03 12:41:32 +0200 |
| commit | c1be740564dd4a3aaafca93539ca428223226278 (patch) | |
| tree | 2cd553b043db22a06fd5db3224a1387caedf2ddc /tests/codegen-llvm/patchable-function-entry/patchable-function-entry-one-flag.rs | |
| parent | d366f26421125e11bfcec5e4a9f202813cbd3229 (diff) | |
| download | rust-c1be740564dd4a3aaafca93539ca428223226278.tar.gz rust-c1be740564dd4a3aaafca93539ca428223226278.zip | |
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>
Diffstat (limited to 'tests/codegen-llvm/patchable-function-entry/patchable-function-entry-one-flag.rs')
0 files changed, 0 insertions, 0 deletions