about summary refs log tree commit diff
path: root/src/tools/miri
blob: 55bdb3174653039f47362742f8dc941bfc086e8f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
tree 99f182e96a4e7427fe668f20ca77827cb843ae6e
parent 720c2bf8f8bc0b043d27bc9667601104dd6a36fd
parent 2dfde5b696b4f84907da50f151aafc322c975d94
author bors <bors@rust-lang.org> 1596126773 +0000
committer bors <bors@rust-lang.org> 1596126773 +0000

Auto merge of #1492 - RalfJung:rustup, r=RalfJung

Rustup

Adjusting for @oli-obk' log changes.

While at it I also removed the `*_of_val` intrinsics that got moved to rustc (Cc @ecstatic-morse).