search

kframework / llvm-semantics

Formal semantics of LLVM IR in K
43 stars 9 forks source link

merging changes. #46

Closed liyili2 closed 8 years ago

grosu commented 8 years ago

Hi Liyi,

I think you may need to specifically ask somebody to review your code with the new system on github.

Good work, btw! Grigore

liyili2 commented 8 years ago

OK. thanks for the reminder.

Liyi Li

On Thu, Sep 15, 2016 at 9:54 PM, Grigore Rosu notifications@github.com wrote:

Hi Liyi,

I think you may need to specifically ask somebody to review your code with the new system on github.

Good work, btw! Grigore

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_kframework_llvm-2Dsemantics_pull_46-23issuecomment-2D247507027&d=CwMCaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=ybTubmWzQD5OAjU2XTJ40MGnwOY8aTBn1EHKBjFUD6I&m=iUHqhhlhLH7GQ9jN21pjqVKkFvHgN4BiXI0Hy35J9Q0&s=FVQMue3EwkmmXCMFl_INSsJa9wPO00ZCi3fWghXK7Tc&e=, or mute the thread https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_notifications_unsubscribe-2Dauth_AFnmK-2DuTixtxWVSsTC9Oi7l6tQxO2ramks5qqgTvgaJpZM4J-2DZte&d=CwMCaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=ybTubmWzQD5OAjU2XTJ40MGnwOY8aTBn1EHKBjFUD6I&m=iUHqhhlhLH7GQ9jN21pjqVKkFvHgN4BiXI0Hy35J9Q0&s=MdvWN3dnGhFvxcApSHVkPjvlb7VOyfIx185xl4PWwjs&e= .