Historie revizí

Autor SHA1 Zpráva Datum
  Dana Jansens 554b1b8d10 Remove SymbolicBindingType (#7114) před 1 týdnem
  Dana Jansens 451b50a3ad Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005) před 1 měsícem
  Richard Smith 181a592b8c Support for parsing expression patterns (#6977) před 1 měsícem
  Jon Ross-Perkins 002b7c74ea Support CARBON_KIND with Any types (#6828) před 2 měsíci
  Dana Jansens cea52ad2d8 Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798) před 2 měsíci
  Richard Smith f9ab963bd6 Add a `type_literal` instruction to represent syntactic type literals. (#6781) před 2 měsíci
  Jon Ross-Perkins c6bc033af8 Add a SemIR scope for generated entities (#6792) před 2 měsíci
  Dana Jansens 917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667) před 2 měsíci
  Dana Jansens a27ef24cd7 Use the name of the self and facet type as the inst name for a require decl scope (#6602) před 3 měsíci
  Dana Jansens 32aa7cb1fa Make identifying a facet type an operation on a (self+facet type) pair (#6592) před 3 měsíci
  Dana Jansens 90f839e84e Add IR tagging to RequireImplsIds (#6525) před 4 měsíci
  Jon Ross-Perkins c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) před 4 měsíci
  Dana Jansens 7c1798d96d Format impl witness instructions as part of the impl (#6485) před 4 měsíci
  Jon Ross-Perkins 25f63140e6 Refactor CppWitness as CustomWitness (#6491) před 4 měsíci
  Richard Smith 6b28213b36 Add interop support for naming and "calling" C++ templates. (#6474) před 4 měsíci
  Richard Smith 7fd62ff58d Stop using `ImplWitness[Table]` for a C++ synthesized witness. (#6451) před 5 měsíci
  Richard Smith f000194d8b Make a couple of parts of our infrastructure more robust. (#6455) před 5 měsíci
  Richard Smith ec8c999bb1 Support passing Carbon `Optional(T*)` to C++ `T*` parameter. (#6422) před 5 měsíci
  Boaz Brickner b5bdfdd857 Rename `TypeLiteralInfo` to `RecognizedTypeInfo` (#6384) před 5 měsíci
  Dana Jansens 0177dc5677 Import contained RequireImpls when importing an Interface or NamedConstraint (#6344) před 5 měsíci
  Dana Jansens 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) před 5 měsíci
  Richard Smith 86b02ee8af Interop support for `nullptr` and `nullptr_t`. (#6353) před 5 měsíci
  Geoff Romer 43ffd721a4 Support `ref` tags on arguments to `ref` params (#6312) před 5 měsíci
  Dana Jansens 81e55bed8a Generate a RequireDecl instruction for require declarations (#6318) před 5 měsíci
  Dana Jansens 13a16270dc Include entity name in FacetAccessType formatted name (#6339) před 5 měsíci
  Dana Jansens ca3f95faa6 Make named constraint eval to a FacetType with itself in it (#6308) před 6 měsíci
  Geoff Romer 0811d996e1 Finish renaming BindName and related insts. (#6281) před 6 měsíci
  Geoff Romer 09710d102f Separate binding insts for refs and values (#6235) před 6 měsíci
  David Blaikie 79dd1e362c Add unit tagging to InstBlockId (#6259) před 6 měsíci
  Dana Jansens 22580a47d3 Initial support for empty named constraints (#6245) před 6 měsíci