-
Notifications
You must be signed in to change notification settings - Fork 6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Update dependency: deps/kevm_release #812
Update dependency: deps/kevm_release #812
Conversation
The tests seem to pass, but I can't guarantee the same for the engagement proofs. |
That's a pretty good sign that we're missing tests in this test-suite. If we don't have tests that will catch the potential regression downstream, that's a bad sign! Can we run engagement proofs with this version, and see what breaks, then add appropriate minimized tests (in a separate PR)? |
It also appears that we don't have This one likely needs output updated due to: runtimeverification/k#4630 |
…everification/evm-semantics
…everification/evm-semantics
There seems to be a conflict in |
There is an infinite loop currently in the CSE tests. This PR fixes it. |
Do not merge until #asWord lemmas are also merged in KEVM.These have now been merged and I've done the appropriate clean-up here. The expected outputs now need to be generated.