Skip to content

Fix tmOptimizedBind to avoid quadratic blowup#936

Merged
tabareau merged 1 commit into
MetaRocq:coq-8.16from
JasonGross:coq-8.16+fix-opt-bind-perf
Apr 12, 2023
Merged

Fix tmOptimizedBind to avoid quadratic blowup#936
tabareau merged 1 commit into
MetaRocq:coq-8.16from
JasonGross:coq-8.16+fix-opt-bind-perf

Fix `tmOptimizedBind` to avoid quadratic blowup

287b326
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs