Rollup of 8 pull requests#68405

Merged

bors merged 25 commits intorust-lang:masterfrom

JohnTitor:rollup-kj0x4za

Jan 21, 2020

Commits on Dec 30, 2019

Remove appendix from LICENCE-APACHE
XAMPPRocky
committed

Commits on Jan 16, 2020

Revert previous attempt at detecting unsatisfiable predicates
Aaron1011
committed
Filter and test predicates using `normalize_and_test_predicates` for const-prop
Aaron1011
committed

Commits on Jan 17, 2020

Commits on Jan 18, 2020

Add `riscv64gc-unknown-linux-gnu` into target list in build-manifest
msizanoen1
authored

Commits on Jan 20, 2020