| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-18 | Add GenMC estimation mode. Improve error handling and output printing. | Patrick-6 | -6/+6 | |
| 2025-09-12 | Implement more features for GenMC mode | Patrick-6 | -0/+128 | |
| - 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 | ||||
| 2025-09-07 | Implement more features for GenMC mode | Patrick-6 | -0/+93 | |
| - 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> | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |