Commit Verlauf

Autor SHA1 Nachricht Datum
  Dana Jansens 32aa7cb1fa Make identifying a facet type an operation on a (self+facet type) pair (#6592) vor 3 Monaten
  Dana Jansens 0cf2448505 Get specific interfaces with correct specific from named constraints (#6435) vor 5 Monaten
  Dana Jansens 0177dc5677 Import contained RequireImpls when importing an Interface or NamedConstraint (#6344) vor 5 Monaten
  David Blaikie 4fdc08582a Add ValueStore ctor template for Id to use for IdTag (#6226) vor 6 Monaten
  David Blaikie 2d1de16293 Add unit tagging to ImplId (#6214) vor 6 Monaten
  Jon Ross-Perkins 949cc21ccc Remove SemIR:: from most sem_ir files (#5358) vor 1 Jahr
  Jon Ross-Perkins 6b5eb1a101 Id::Invalid -> Id::None (#4834) vor 1 Jahr
  josh11b 1d379ff7f8 Syntactic `impl` declaration matching updates (#4762) vor 1 Jahr
  Richard Smith 568ad197d1 Track the instruction used to name the type and constraint in an impl. (#4368) vor 1 Jahr