FRI early-termination review follow-ups (2/3): deduplicate the fold schedule + terminal check#787

MauroToscano merged 2 commits into

feat/fri-early-terminationyetanotherco/lambda_vm:feat/fri-early-terminationfrom

review/fri-schedule-dedupyetanotherco/lambda_vm:review/fri-schedule-dedupCopy head branch name to clipboard