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
maxd/async-build-script
swift-mirror/lib/AST/RequirementMachine
History
Slava Pestov 5987bbf966 Merge pull request #82321 from slavapestov/rqm-fixes 
RequirementMachine: Add more limits to catch runaway computation, and fix a bug
2025-06-18 23:00:38 -04:00
..
ApplyInverses.cpp
Sema: Allow T == NonCopyableOrEscapable same-type constraints without a redundant T: ~Copyable.
2025-05-13 11:31:41 -07:00
ConcreteContraction.cpp
AST: Remove origType parameter from ProtocolConformanceRef::getTypeWitness()
2025-04-03 17:35:32 -04:00
ConcreteTypeWitness.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
Debug.h
RequirementMachine: Remove -warn-redundant-requirements flag
2024-02-02 14:57:19 -05:00
Diagnostics.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
Diagnostics.h
Fix type parsing when preceeded by '-'
2024-09-11 10:28:44 -07:00
GenericSignatureQueries.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01: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
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01: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] Plumb source location arguments through all name lookup APIs.
2023-06-11 23:09:47 -07:00
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: Small cleanup
2024-09-14 23:33:11 -04:00
RequirementLowering.cpp
RequirementMachine: Don't crash if we cannot desugar a same-shape requirement
2025-06-17 09:52:02 -04:00
RequirementLowering.h
Sema: Allow T == NonCopyableOrEscapable same-type constraints without a redundant T: ~Copyable.
2025-05-13 11:31:41 -07:00
RequirementMachine.cpp
RequirementMachine: Add two more completion termination checks for concrete type requirements
2025-06-17 17:51:25 -04:00
RequirementMachine.h
RequirementMachine: Add two more completion termination checks for concrete type requirements
2025-06-17 17:51:25 -04:00
RequirementMachineRequests.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01: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: Add two more completion termination checks for concrete type requirements
2025-06-17 17:51:25 -04: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
Remove Value requirement Add GenericTypeParamKind
2024-09-04 15:13:43 -07:00
RuleBuilder.h
Migrate llvm::Optional to std::optional
2024-02-21 11:20:06 -08: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: Compare weight before length in Term/MutableTerm::compare()
2025-04-29 13:55:30 -04:00
Term.h
RequirementMachine: Small cleanup
2024-09-14 23:33:11 -04: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