Merge pull request #783 from whitequark/bugpoint
authorClifford Wolf <clifford@clifford.at>
Mon, 7 Jan 2019 08:42:17 +0000 (09:42 +0100)
committerGitHub <noreply@github.com>
Mon, 7 Jan 2019 08:42:17 +0000 (09:42 +0100)
commitd35858078d26137892a25a0316663cc51dd775d4
tree4b58994e556208c4722aab1fbf2eb8176dcecd35
parenta2c51d50fb5a94967a204913404b71c7af0b59e2
parenta342d6db49b812efa1457f39dc9713bcda3d54ce
Merge pull request #783 from whitequark/bugpoint

bugpoint: new pass