]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: ddd4b19 7b7c6ce)
Auto merge of #55549 - RalfJung:miri-visitor, r=oli-obk
authorbors <bors@rust-lang.org>
Wed, 7 Nov 2018 09:14:12 +0000 (09:14 +0000)
committerbors <bors@rust-lang.org>
Wed, 7 Nov 2018 09:14:12 +0000 (09:14 +0000)
commit8315b11b6352cbd91ee096571c31ae7d3ac9613d
treed53f27262d56e5ac6f14800ce75bccd8c14970a7tree | snapshot
parentddd4b194a0c28065a277c1f964aa931cc021b5c6commit | diff
parent7b7c6ceb7595eec801d18c62b7c45c5503452803commit | diff
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.~~
Empowering everyone to build reliable and efficient software.