diff options
| author | bors <bors@rust-lang.org> | 2018-11-07 09:14:12 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2018-11-07 09:14:12 +0000 |
| commit | 8315b11b6352cbd91ee096571c31ae7d3ac9613d (patch) | |
| tree | d53f27262d56e5ac6f14800ce75bccd8c14970a7 /src/libstd/sys | |
| parent | ddd4b194a0c28065a277c1f964aa931cc021b5c6 (diff) | |
| parent | 7b7c6ceb7595eec801d18c62b7c45c5503452803 (diff) | |
| download | rust-8315b11b6352cbd91ee096571c31ae7d3ac9613d.tar.gz rust-8315b11b6352cbd91ee096571c31ae7d3ac9613d.zip | |
Auto merge of #55549 - RalfJung:miri-visitor, r=oli-obk
Value visitors for miri Generalize the traversal part of validation to a `ValueVisitor`. ~~This includes https://github.com/rust-lang/rust/pull/55316, [click here](https://github.com/RalfJung/rust/compare/retagging...RalfJung:miri-visitor) for just the new commits.~~
Diffstat (limited to 'src/libstd/sys')
0 files changed, 0 insertions, 0 deletions