Skip to content

Trim allocations on the per-constraint and per-violation paths - #274

Open
jungm wants to merge 4 commits into
perf-2-lookupsfrom
perf-3-allocations
Open

jungm wants to merge 4 commits into
perf-2-lookupsfrom
perf-3-allocations

Do not build violations of constraints composing a single violation

780244e
Select commit
Loading
Failed to load commit list.