averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
next
swift-mirror/lib/AST/RequirementMachine
History
Anthony Latsis 153dd02cd8 Merge pull request #85833 from swiftlang/jepa-main 
[NFC] "SwiftVersion" → "LanguageMode" in `DiagnosticEngine::warnUntilSwiftVersion`, etc.
2025-12-05 09:34:30 +00:00
..
ApplyInverses.cpp
Sema: introduce SuppressedAssociatedTypesWithDefaults
2025-12-02 18:00:03 -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
RequirementMachine: Convert to new assertions
2024-06-22 08:53:22 -04:00
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
RequirementMachine: Convert to new assertions
2024-06-22 08:53:22 -04:00
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
Sema: introduce ProtocolInversesRequest
2025-12-02 21:09:54 -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
RequirementMachine: Convert to new assertions
2024-06-22 08:53:22 -04:00
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
RequirementMachine: Convert to new assertions
2024-06-22 08:53:22 -04:00
TypeDifference.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
TypeDifference.h
Migrate llvm::Optional to std::optional
2024-02-21 11:20:06 -08:00