search

softdevteam / ykrustc

Yorick Meta-tracer
Other
6 stars 4 forks source link

Add more SIR integer lowerings. #106

Closed vext01 closed 4 years ago

vext01 commented 4 years ago

Lowerings required for https://github.com/softdevteam/yk/pull/68

ptersilie commented 4 years ago

This looks good.

ptersilie commented 4 years ago

This needs a commit that changes the dependencies to this https://github.com/softdevteam/yk/pull/68, so we can manually built this on buildbot. Then we can merge https://github.com/softdevteam/yk/pull/68 and afterwards reverse this commit and merge this.

vext01 commented 4 years ago

Updating cached ykrustc in CI.

bors try

bors[bot] commented 4 years ago

try

Build succeeded:

vext01 commented 4 years ago

OK to squash?

ptersilie commented 4 years ago

Yes, please squash.

vext01 commented 4 years ago

Splat.

ltratt commented 4 years ago

bors r+

bors[bot] commented 4 years ago

Build succeeded: