diff options
| author | Patrick-6 <pamu99@gmx.ch> | 2025-03-14 09:58:46 +0100 |
|---|---|---|
| committer | Patrick-6 <pamu99@gmx.ch> | 2025-05-02 14:49:17 +0200 |
| commit | d940d0b7584fd7753f49d897c64eccc5535d2374 (patch) | |
| tree | 40028ee5a6f15012f50dfe10922b5baf670c4b8b /tests/rustdoc/source-code-pages/auxiliary/source-code-bar.rs | |
| parent | a8da0fd22d0e6e0547dd14551b1144b82dfb9655 (diff) | |
| download | rust-d940d0b7584fd7753f49d897c64eccc5535d2374.tar.gz rust-d940d0b7584fd7753f49d897c64eccc5535d2374.zip | |
Implement skeleton code for adding GenMC support to Miri (not yet functional).
- Add a cargo feature to enable GenMC support (off by default) - Add support for GenMC datastructures to MiriMachine - Adjust several functions where GenMC needs to be informed about relevant events (e.g., atomic accesses) - Add skeleton code for parsing GenMC command line arguments - Some cleanup - Finish sentences with a `.` - Fix some spelling errors/typos Co-authored-by: Ralf Jung <post@ralfj.de>
Diffstat (limited to 'tests/rustdoc/source-code-pages/auxiliary/source-code-bar.rs')
0 files changed, 0 insertions, 0 deletions