| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-22 | share the check_nondet helper as well | Ralf Jung | -0/+15 | |
| 2025-09-22 | share check_all_outcomes impl, and increase max iteration counts | Ralf Jung | -0/+35 | |
| 2025-09-07 | Implement more features for GenMC mode | Patrick-6 | -0/+7 | |
| - 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 | Merge pull request #4506 from Patrick-6/miri-genmc-mvp | Ralf Jung | -0/+57 | |
| Add minimal functionality for using GenMC mode | ||||
| 2025-09-03 | Implement basic support for running Miri with GenMC. | Patrick-6 | -0/+57 | |
| - 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-08-29 | unix read/write: fix zero-size handling | Ralf Jung | -4/+1 | |
| 2025-07-19 | non-deterministically truncate reads/writes | Ralf Jung | -1/+45 | |
| 2024-05-09 | do not run symlink tests on Windows hosts | Ralf Jung | -0/+24 | |
| 2024-04-17 | tests/utils: add fmt::Write implementations for miri's native stdout/stderr | Ralf Jung | -2/+40 | |
| 2024-02-26 | miri: rename miri_start_panic → miri_start_unwind | Ralf Jung | -1/+1 | |
| 2023-12-03 | miri: support 'promising' alignment for symbolic alignment check | Ralf Jung | -0/+5 | |
| 2023-11-25 | make tests/utils work with edition 2015 | Ralf Jung | -2/+2 | |
| 2023-11-21 | fmt | Ralf Jung | -3/+1 | |
| 2023-11-20 | Test that the GC consults the extra_fn_ptr map | Ben Kimock | -0/+12 | |
| 2023-11-19 | tag-gc -> provenance-gc | Ben Kimock | -1/+1 | |
| 2023-10-22 | use visibility to check unused imports and delete some stmts | bohan | -0/+1 | |
| 2023-09-01 | fix(std): Rename os_str_bytes to encoded_bytes | Ed Page | -1/+1 | |
| 2023-07-30 | refactor tests/utils a bit, and move some FS functions there | Ralf Jung | -15/+46 | |
| 2023-06-28 | Unique gets special treatment when -Zmiri-unique-is-unique | Neven Villani | -5/+5 | |
| 2023-03-16 | TB: document TB changes in README | Neven Villani | -0/+205 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |