swift
RequirementMachine: Improvements and fixes for generating conformances algorithm
#39479
Merged
Overview
Commits
8
Changes
View On GitHub

RequirementMachine: Improvements and fixes for generating conformances algorithm #39479

slavapestov merged 8 commits into swiftlang:main from slavapestov:rqm-improved-generating-conformances
slavapestov
slavapestov slavapestov force pushed 4 years ago
slavapestov slavapestov marked this pull request as draft 4 years ago
slavapestov RequirementMachine: Fix generating conformances algorithm for rules o…
34592cb2
slavapestov RequirementMachine: Check that homotopy reduction was able to elimina…
a46a7b89
slavapestov RequirementMachine: Fix -debug-requirement-machine=simplify output
916249ef
slavapestov RequirementMachine: Add some comments
86ee6c2f
slavapestov RequirementMachine: Cosmetic fix for conformance path assert output
871b4d14
slavapestov RequirementMachine: Homotopy reduction deletes rules with unresolved …
2db676d4
slavapestov RequirementMachine: Overhaul generating conformances algorithm
62c9347d
slavapestov RequirementMachine: Right-hand side simplification produces more aest…
e7b0b1b3
slavapestov slavapestov force pushed to e7b0b1b3 4 years ago
slavapestov
slavapestov slavapestov marked this pull request as ready for review 4 years ago
slavapestov slavapestov merged 5e06bbe2 into main 4 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum