Slava Pestov
|
fe2f42bc72
|
RequirementMachine: Rename -debug-requirement-machine flag to -dump-requirement-machine
|
2021-08-19 22:14:58 -04:00 |
|
Slava Pestov
|
2d636955c6
|
RequirementMachine: Collapse RequirementMachine::Implementation down into RequirementMachine
|
2021-07-23 17:21:58 -04:00 |
|
Slava Pestov
|
27cf1cc4c2
|
RequirementMachine: Merge RequirementMachineImpl.h into RequirementMachine.h
|
2021-07-23 17:21:58 -04:00 |
|
Slava Pestov
|
212099be82
|
RequirementMachine: Move RequirementMachine class to swift::rewriting namespace
|
2021-07-23 17:21:58 -04:00 |
|
Slava Pestov
|
379359c08e
|
RequirementMachine: Move RequirementMachine.h to lib/AST/RequirementMachine
|
2021-07-23 17:21:57 -04:00 |
|