search

softdevteam / ykrustc

Yorick Meta-tracer
Other
6 stars 4 forks source link

Add lowerings for StorageLive/StorageDead #101

Closed ptersilie closed 4 years ago

ptersilie commented 4 years ago

Companion PR for https://github.com/softdevteam/yk/pull/61

ptersilie commented 4 years ago

@vext01 This needs a rebase and a 3-way merge, once you approved the PR.

vext01 commented 4 years ago

This is fine.

ptersilie commented 4 years ago

I've added a commit that allows us to manually build a version of ykrustc which we can use to merge softdevteam/yk#61. After that's merged we can undo this commit, and merge this PR.

ptersilie commented 4 years ago

bors try

bors[bot] commented 4 years ago

try

Build failed

ptersilie commented 4 years ago

It didn't push properly.

bors try

bors[bot] commented 4 years ago

try

Build succeeded

ptersilie commented 4 years ago

Good, this is ready for squashing and merging.

vext01 commented 4 years ago

Please squash

On Mon, 13 Apr 2020, 17:48 Lukas Diekmann, notifications@github.com wrote:

Good, this is ready for squashing and merging.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/softdevteam/ykrustc/pull/101#issuecomment-612983374, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAETWG2SNHCH4SHQBZMFPNDRMM667ANCNFSM4MDN6PSA .

ptersilie commented 4 years ago

Squashed.

vext01 commented 4 years ago

bors r+

bors[bot] commented 4 years ago

Build succeeded: