Историја ревизија

Аутор SHA1 Порука Датум
  Dana Jansens 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) пре 1 дан
  Geoff Romer 4c9049346d Replace form insts with actions (#7100) пре 3 дана
  Dana Jansens 451b50a3ad Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005) пре 1 месец
  Richard Smith 181a592b8c Support for parsing expression patterns (#6977) пре 1 месец
  Geoff Romer e0c6800ab3 Reverse nesting structure of parameter patterns (#6930) пре 1 месец
  Geoff Romer 18cfeb7476 Add support for `->?` return forms (#6849) пре 1 месец
  Geoff Romer 21291b4cc3 Remove `InitForm::index` (#6817) пре 1 месец
  Jon Ross-Perkins 002b7c74ea Support CARBON_KIND with Any types (#6828) пре 1 месец
  Dana Jansens cea52ad2d8 Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798) пре 2 месеци
  Richard Smith be88dfd744 Formatter: don't crash on unexpected SemIR. (#6787) пре 2 месеци
  Jon Ross-Perkins 3df256cfa9 Rewrite the FormatterChunks API (#6784) пре 2 месеци
  Jon Ross-Perkins c6bc033af8 Add a SemIR scope for generated entities (#6792) пре 2 месеци
  Jon Ross-Perkins e2bdbe8507 Make semir scope labels only print when non-empty (#6780) пре 2 месеци
  Jon Ross-Perkins 1a3f762dba Factor out FormatterChunks logic (#6779) пре 2 месеци
  Dana Jansens e991657e1d Use the canonical instructions to get SpecificIds in GetCallee (#6726) пре 2 месеци
  Dana Jansens 917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667) пре 2 месеци
  Geoff Romer f21e0e17ac Introduce ExprCategory::Dependent (#6744) пре 2 месеци
  Geoff Romer 3c324e4877 Add category to parameter format, and share some code. (#6730) пре 2 месеци
  Geoff Romer e5b05a1fac `ExprCategory` for guaranteed-in-place initializing expressions (#6623) пре 2 месеци
  Dana Jansens 7f7186c227 Extended name lookup replaces inner Self (#6632) пре 3 месеци
  Geoff Romer 4329a83e4c Form-aware textual format for return parameters and arguments (#6588) пре 3 месеци
  Dana Jansens c64117d0e0 Make IdTag typesafe (#6574) пре 3 месеци
  Geoff Romer e1ec8d42d1 Give `ReturnExpr` a target only when initialization is in-place (#6570) пре 3 месеци
  Geoff Romer 0e5832d3c2 Model `ref` tags as insts instead of annotations (#6541) пре 3 месеци
  Geoff Romer 2078721e1c Always build ReturnTypeInfo from a function (#6490) пре 4 месеци
  Jon Ross-Perkins c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) пре 4 месеци
  Dana Jansens 7c1798d96d Format impl witness instructions as part of the impl (#6485) пре 4 месеци
  Richard Smith 6b28213b36 Add interop support for naming and "calling" C++ templates. (#6474) пре 4 месеци
  Dana Jansens 6a60b80508 Remove the FacetTypeId in RequireImpls (#6437) пре 5 месеци
  Richard Smith 6c9a581a83 Switch `GetExprCategory` to be table-driven. (#6371) пре 5 месеци