Optimize marker algebra and universal resolution #21292
KRRT7
marked this pull request as ready for review 6 days ago
KRRT7
marked this pull request as draft 6 days ago
KRRT7
force pushed
from
0abd2474
to
d7eaaaf5
5 days ago
perf(marker): reduce marker interner work
b7aefdd7
perf(marker): evaluate marker trees iteratively
a099ca6b
perf(marker): lower parsed markers under one interner lock
d5f6b9e7
perf(resolver): optimize activated extra resolution
7b97f3f8
perf(marker): memoize marker restrictions
9550bf9c
KRRT7
force pushed
from
0abd2474
to
9550bf9c
5 days ago
KRRT7
changed the title Avoid unnecessary marker interner work Optimize marker algebra and universal resolution 5 days ago
Revert "perf(resolver): optimize activated extra resolution"
6c044a6d
Merge remote-tracking branch 'upstream/main' into perf/marker-algebra…
bd520ee9
Revert "perf(marker): memoize marker restrictions"
2b68a47a
Revert "perf(marker): lower parsed markers under one interner lock"
dcd6448e
Revert "perf(marker): evaluate marker trees iteratively"
61ee383e
Merge remote-tracking branch 'upstream/main' into perf/marker-algebra…
78878521
Reapply "perf(marker): evaluate marker trees iteratively"
0b08a844
Reapply "perf(marker): lower parsed markers under one interner lock"
9aa4dd27
Reapply "perf(marker): memoize marker restrictions"
29c8d9a7
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub