Closed matthiasgoergens closed 2 days ago
This updates https://github.com/scroll-tech/ceno-recursion/pull/17 to merge cleanly against current main.
main
Please double check against the original PR whether my resolutions make sense.
This updates https://github.com/scroll-tech/ceno-recursion/pull/17 to merge cleanly against current
main
.Please double check against the original PR whether my resolutions make sense.