swift
RequirementMachine: Speed up term simplification with a prefix trie
#38775
Merged
Merged
RequirementMachine: Speed up term simplification with a prefix trie #38775
slavapestov
merged
11 commits into
swiftlang:main
from
slavapestov:requirement-machine-trie
RequirementMachine: Split off Symbol.cpp and Term.cpp from RewriteSys…
7adfd86e
RequirementMachine: Superclass and concrete type symbols should not c…
fb5d180a
RequirementMachine: Add a simple Histogram data structure
b7c4d820
RequirementMachine: Add -analyze-requirement-machine flag to print st…
5f298a81
RequirementMachine: Add histograms for symbol kinds and term length
ed966e73
RequirementMachine: Rules store uniqued Terms
92ac06a2
RequirementMachine: Make Symbols hashable
bc398ae1
RequirementMachine: Fix subtle corner case where we could insert dupl…
65f27d3a
RequirementMachine: Iterate over a vector in reverse, instead of reve…
64330f5e
RequirementMachine: Fix a typo in a comment
324b83d4
RequirementMachine: Speed up term simplification with a prefix trie
156fa2cc
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub