]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (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)
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.~~


Trivial merge
Empowering everyone to build reliable and efficient software.