Undefined bundle: "sep_crunch"
pirapira opened this issue · 4 comments
pirapira commented
make shows:
*** Failed to load theory "SimpleWallet" (unresolved "HoareTripleForLogGasCall")
*** Undefined bundle: "sep_crunch" (line 8 of "~/yoichi/eth-isabelle/Hoare/HoareTripleForLogGasCall.thy")
*** At command "context" (line 7 of "~/yoichi/eth-isabelle/Hoare/HoareTripleForLogGasCall.thy")
seed commented
Yeah working on getting HoareTripleForInstruction.thy cleaned up and
HoareTripleForInstruction2.thy working too.
I'll look at SimpleWallet next.
I'm also trying to document the change I'm making and why I'm making them,
so that hopefully no one will have to do that again in the future :)
I'm hoping to finish this this weekend.
…On Fri, Jun 30, 2017 at 8:56 PM, Yoichi Hirai ***@***.***> wrote:
@seed <https://github.com/seed> are you currently working on this?
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#436 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AAE6Z6oRP-0XmqWJLi190B2pDiQYRI8Nks5sJNRngaJpZM4OKXEX>
.
pirapira commented
I'll try again and close this issue.
pirapira commented
I cannot reproduce this error anymore.