diff options
| author | bors <bors@rust-lang.org> | 2022-08-21 23:12:41 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-08-21 23:12:41 +0000 |
| commit | 7b071620cb9f3120eade6f7a15c89024a7c17a59 (patch) | |
| tree | de478bd629637fb72eaba06370f04a6ab6988c1c /tests/mir-opt/lower_array_len.array_bound.NormalizeArrayLen.diff | |
| parent | ab88e64b152d3704c35db96dbbc6efaaed67773f (diff) | |
| parent | 8ee68490122fba1849565e99804e8c78ee4d9e3a (diff) | |
| download | rust-7b071620cb9f3120eade6f7a15c89024a7c17a59.tar.gz rust-7b071620cb9f3120eade6f7a15c89024a7c17a59.zip | |
Auto merge of #2500 - Hiroki6:make-vector-clock-private, r=RalfJung
move vector_clock and sync into concurrency & make vector_clock private Closes https://github.com/rust-lang/miri/issues/2199 The thread.rs didn't have to be moved to build. If it makes more sense to move the thread.rs as well, please let me know. I can move it as well.
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_bound.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions