Booster: tunable in-place equation evaluation at rewritten subterms (--equation-max-local-steps)#4153

ehildenb merged 8 commits into

masterruntimeverification/haskell-backend:masterfrom

equation-local-fixpointruntimeverification/haskell-backend:equation-local-fixpointCopy head branch name to clipboard