rust/src/tools/miri/tests/genmc/fail/loom, branch masterhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=master2025-09-18T18:41:06+00:00tweak genmc error report note2025-09-18T18:41:06+00:00Ralf Jungpost@ralfj.de2025-09-18T18:41:06+00:00urn:sha1:00bfe9ce6ed3d21b39a40309974dda5c19dc6fb0Add GenMC estimation mode. Improve error handling and output printing.2025-09-18T08:25:41+00:00Patrick-6pamu99@gmx.ch2025-09-08T08:17:14+00:00urn:sha1:2c1f1f0e9bb706d9adbb71e0bc33923c4478eb85Implement more features for GenMC mode2025-09-12T15:37:25+00:00Patrick-6pamu99@gmx.ch2025-03-14T08:58:46+00:00urn:sha1:a70d78a55286a85cf5e06958929f5a6071fa1c67
- Handling Compare-Exchange operations.
- Limitation: Compare-Exchange currently ignores possibility of spurious failures.
- Limitation: Compare-Exchange failure memory ordering is ignored.
- Upgrade compare-exchange success ordering to avoid reporting non-existent bugs.
- Add warnings for GenMC mode for unsupported features.
- Add a lot of tests, including translation of GenMC litmus tests and Loom tests.
- Cleanup
Implement 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>