averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
69672ccfd285a65e08dda89a460d74b467a3d10a
swift-mirror/lib/AST/RequirementMachine
History
Slava Pestov 69672ccfd2 RequirementMachine: Fix debug output
2022-03-07 23:13:05 -05:00
..
ConcreteContraction.cpp
RequirementMachine: Fix ConcreteContraction::substTypeParameter() for non-nominal base type
2022-03-03 14:05:02 -05:00
ConcreteTypeWitness.cpp
RequirementMachine: Fix assertion when protocol Self is constrained to a non-conforming type
2022-02-25 11:48:38 -05:00
Debug.h
RequirementMachine: Introduce 'concrete contraction' pre-processing pass before building rewrite system
2022-02-25 11:48:38 -05:00
Diagnostics.h
[NFC][RequirementMachine] Rename some of the RequirementError::Kind cases,
2022-02-16 13:11:57 -08:00
GenericSignatureQueries.cpp
RequirementMachine: Don't filter out redundant superclass conformances when building archetypes
2022-02-17 19:40:58 -05:00
Histogram.h
RequirementMachine: Track maximum value stored in the histogram
2021-12-07 15:31:47 -05:00
HomotopyReduction.cpp
RequirementMachine: Check invariants in noassert builds
2022-03-03 14:05:02 -05:00
InterfaceType.cpp
RequirementMachine: Fix debug output
2022-03-07 23:13:05 -05:00
KnuthBendix.cpp
RequirementMachine: Remove old implementation of simplifyLeftHandSideSubstitutions()
2022-02-15 04:02:46 -05:00
MinimalConformances.cpp
RequirementMachine: Fix minimal conformances algorithm to cope with unordered concrete conformances
2022-03-03 14:05:02 -05:00
PropertyMap.cpp
RequirementMachine: Unify every pair of superclass requirements that apply to a term
2022-02-17 19:40:58 -05:00
PropertyMap.h
RequirementMachine: Remove old PropertyMap::unifyConcreteTypes()
2022-02-17 19:40:58 -05:00
PropertyRelations.cpp
RequirementMachine: Simplify the Symbol API for removal of merged associated types
2022-02-07 18:57:45 -05:00
PropertyUnification.cpp
RequirementMachine: Rework PropertyMap::recordConflict() for GSB compatibility
2022-02-17 19:40:58 -05:00
RequirementLowering.cpp
[Diagnostics] Remove a few special cases of printing 'any' for specific
2022-03-05 14:26:45 -08:00
RequirementLowering.h
RequirementMachine: Introduce 'concrete contraction' pre-processing pass before building rewrite system
2022-02-25 11:48:38 -05:00
RequirementMachine.cpp
RequirementMachine: Eliminate RequirementMachine::initWithAbstractRequirements()
2022-02-23 00:20:57 -05:00
RequirementMachine.h
RequirementMachine: Eliminate RequirementMachine::initWithAbstractRequirements()
2022-02-23 00:20:57 -05:00
RequirementMachineRequests.cpp
RequirementMachine: Check invariants using GenericSignature::verify()
2022-03-03 14:05:02 -05:00
RewriteContext.cpp
RequirementMachine: Introduce 'concrete contraction' pre-processing pass before building rewrite system
2022-02-25 11:48:38 -05:00
RewriteContext.h
RequirementMachine: Simplify the Symbol API for removal of merged associated types
2022-02-07 18:57:45 -05:00
RewriteLoop.cpp
RequirementMachine: Check invariants in noassert builds
2022-03-03 14:05:02 -05:00
RewriteLoop.h
RequirementMachine: Preserve replacement paths for redundant rules
2022-02-16 16:28:08 -05:00
RewriteSystem.cpp
RequirementMachine: Check invariants in noassert builds
2022-03-03 14:05:02 -05:00
RewriteSystem.h
RequirementMachine: Fix minimization when protocol is constrained to a class that conforms to the protocol
2022-03-02 03:13:41 -05:00
SimplifySubstitutions.cpp
RequirementMachine: Write some comments
2022-02-23 00:20:57 -05:00
Symbol.cpp
RequirementMachine: More concise printed output for concrete type and superclass symbols
2022-02-16 16:27:40 -05:00
Symbol.h
RequirementMachine: Prefer to eliminate concrete type requirements over superclass requirements again
2022-02-25 11:48:38 -05:00
Term.cpp
RequirementMachine: Reduction order on terms compares number of name symbols first
2022-02-13 00:24:23 -05:00
Term.h
RequirementMachine: Simplify the Symbol API for removal of merged associated types
2022-02-07 18:57:45 -05:00
Trie.h
RequirementMachine: Trie.insert() updates existing entry
2021-09-24 08:59:50 -04:00
TypeDifference.cpp
RequirementMachine: Check invariants in noassert builds
2022-03-03 14:05:02 -05:00
TypeDifference.h
RequirementMachine: Factor out TypeDifference::getOriginalSubstitution()
2022-02-07 08:20:59 -05:00