Skip to content

perf(verifier): reconcile DEEP point-invariant hoist + factoring + fusion; drop verifier divu - #839

Closed
diegokingston wants to merge 2 commits into
perf/verifier-amortize-tier01from
perf/verifier-deep-points
Closed

perf(verifier): reconcile DEEP point-invariant hoist + factoring + fusion; drop verifier divu#839
diegokingston wants to merge 2 commits into
perf/verifier-amortize-tier01from
perf/verifier-deep-points

perf(verifier): replace power-of-two blowup divisions with shifts

bc0bc9a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar