| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-18 | Add GenMC estimation mode. Improve error handling and output printing. | Patrick-6 | -0/+3 | |
| 2025-09-07 | Implement more features for GenMC mode | Patrick-6 | -1/+6 | |
| - 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> | ||||
| 2025-09-03 | Implement basic support for running Miri with GenMC. | Patrick-6 | -3/+25 | |
| - 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> | ||||
| 2025-07-27 | various minor adjustments | Ralf Jung | -36/+20 | |
| 2025-07-27 | Add support for building and linking against genmc | Patrick-6 | -0/+78 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |