averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2026-02-27 18:26:24 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
jgrynspan/executablePath
swift-mirror/lib/AST/RequirementMachine
History
Kavon Farvardin 49462296c0 Reparenting: fix crash in TypeAliasRequirementsRequest 
There isn't always an inheritance clause, despite a protocol
inheriting from some other protocol, with reparenting.
2026-02-04 14:59:30 -08:00
..
ApplyInverses.cpp
Sema: apply scoping SuppAssocType scoping rule roots
2025-12-16 15:20:56 -08:00
ConcreteContraction.cpp
Sema: introduce SuppressedAssociatedTypesWithDefaults
2025-12-02 18:00:03 -08:00
ConcreteTypeWitness.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
Debug.h
…
Diagnostics.cpp
RequirementMachine: Diagnose unsupported value generic parameter definitions properly
2025-10-08 02:13:03 +01:00
Diagnostics.h
RequirementMachine: Diagnose unsupported value generic parameter definitions properly
2025-10-08 02:13:03 +01:00
GenericSignatureQueries.cpp
RequirementMachine: Adding shape abstractions
2025-10-31 17:29:45 +00:00
Histogram.h
…
HomotopyReduction.cpp
RequirementMachine: Add two more completion termination checks for concrete type requirements
2025-06-17 17:51:25 -04:00
InterfaceType.cpp
Requirement Machine: Fix an issue with pack expansion + tuple type crashes
2025-10-31 17:53:59 +00:00
KnuthBendix.cpp
RequirementMachine: Fix the most embarassing bug of all time
2025-06-17 17:51:26 -04:00
MinimalConformances.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
NameLookup.cpp
…
NameLookup.h
…
NormalizeRewritePath.cpp
…
PropertyMap.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
PropertyMap.h
Remove Value requirement Add GenericTypeParamKind
2024-09-04 15:13:43 -07:00
PropertyRelations.cpp
Remove Value requirement Add GenericTypeParamKind
2024-09-04 15:13:43 -07:00
PropertyUnification.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
RequirementBuilder.cpp
RequirementMachine: Adding shape abstractions
2025-10-31 17:29:45 +00:00
RequirementLowering.cpp
Reparenting: fix crash in TypeAliasRequirementsRequest
2026-02-04 14:59:30 -08:00
RequirementLowering.h
Sema: introduce SuppressedAssociatedTypesWithDefaults
2025-12-02 18:00:03 -08:00
RequirementMachine.cpp
RequirementMachine: New way of propagating failure when building rewrite system for protocol
2025-10-04 09:17:46 -04:00
RequirementMachine.h
RequirementMachine: New way of propagating failure when building rewrite system for protocol
2025-10-04 09:17:46 -04:00
RequirementMachineRequests.cpp
Merge pull request #85833 from swiftlang/jepa-main
2025-12-05 09:34:30 +00:00
RewriteContext.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
RewriteContext.h
RequirementMachine: Small cleanup
2024-09-14 23:33:11 -04:00
RewriteLoop.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
RewriteLoop.h
…
RewriteSystem.cpp
RequirementMachine: Adding shape abstractions
2025-10-31 17:29:45 +00:00
RewriteSystem.h
RequirementMachine: Fix the most embarassing bug of all time
2025-06-17 17:51:26 -04:00
Rule.cpp
RequirementMachine: Add two more completion termination checks for concrete type requirements
2025-06-17 17:51:25 -04:00
Rule.h
RequirementMachine: Add two more completion termination checks for concrete type requirements
2025-06-17 17:51:25 -04:00
RuleBuilder.cpp
RequirementMachine: New way of propagating failure when building rewrite system for protocol
2025-10-04 09:17:46 -04:00
RuleBuilder.h
RequirementMachine: New way of propagating failure when building rewrite system for protocol
2025-10-04 09:17:46 -04:00
SimplifySubstitutions.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
Symbol.cpp
RequirementMachine: Add an assert
2025-06-10 16:49:57 -04:00
Symbol.h
RequirementMachine: Skip protocol type aliases that contain unbound dependent member types
2025-03-26 10:55:23 -04:00
Term.cpp
RequirementMachine: Adding shape abstractions
2025-10-31 17:29:45 +00:00
Term.h
RequirementMachine: Adding shape abstractions
2025-10-31 17:29:45 +00:00
Trie.h
…
TypeDifference.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
TypeDifference.h
…