This repository was archived by the owner on Feb 5, 2019. It is now read-only.
Backport fixes for JumpThreading/assume bug#106
Merged
alexcrichton merged 2 commits intorust-lang:rust-llvm-release-6-0-0from Feb 27, 2018
dotdash:jt_assume
