swift
RequirementMachine: Improved handling of "identity conformances" [P].[P] => [P]
#39918
Merged
Merged
RequirementMachine: Improved handling of "identity conformances" [P].[P] => [P] #39918
slavapestov
merged
17 commits into
swiftlang:main
from
slavapestov:rqm-identity-conformance
RequirementMachine: Take concrete substitutions into account when che…
bcf5e979
RequirementMachine: Fix crash in simplifyRewriteSystem() with -debug-…
84f02eae
RequirementMachine: Rewrite steps are instructions for a two-stack ma…
b01e97f2
RequirementMachine: simplify() supports appending to an existing rewr…
97ed28ac
RequirementMachine: Simplify concrete substitutions when adding a new…
6d89b424
RequirementMachine: Always add a rule for the trivial [P].[P] => [P] …
5689d046
RequirementMachine: Use llvm::array_pod_sort() to sort requirements
74d944d5
RequirementMachine: Improved rule deletion heuristic
a729bebb
RequirementMachine: Add assertion to generating conformances algorithm
a8bc8a86
RequirementMachine: Tighten up createRequirementFromRule()
f44926b6
RequirementMachine: Introduce Rule::isIdentityConformanceRule()
745acea7
RequirementMachine: Proper handling of identity conformances when com…
2687e938
RequirementMachine: Try to delete less canonical conformance rules first
c0154d4d
RequirementMachine: Rename HomotopyGenerator to RewriteLoop
1057b563
RequirementMachine: Split off RewriteLoop.cpp from HomotopyReduction.cpp
450c7c26
RequirementMachine: Fix runtime crash with MSVC
7d2b22a3
RequirementMachine: Re-organize some methods in RewriteSystem.cpp
5067bfef
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub