tomteb/carbon-lang

Ветка: trunk

Автор	SHA1 Сообщение	Дата
Dana Jansens	554b1b8d10 Remove SymbolicBindingType (#7114)	5 дней назад
Dana Jansens	451b50a3ad Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005)	1 месяц назад
Richard Smith	181a592b8c Support for parsing expression patterns (#6977)	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	f9ab963bd6 Add a `type_literal` instruction to represent syntactic type literals. (#6781)	2 месяцев назад
Jon Ross-Perkins	c6bc033af8 Add a SemIR scope for generated entities (#6792)	2 месяцев назад
Dana Jansens	917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667)	2 месяцев назад
Dana Jansens	a27ef24cd7 Use the name of the self and facet type as the inst name for a require decl scope (#6602)	3 месяцев назад
Dana Jansens	32aa7cb1fa Make identifying a facet type an operation on a (self+facet type) pair (#6592)	3 месяцев назад
Dana Jansens	90f839e84e Add IR tagging to RequireImplsIds (#6525)	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 месяцев назад
Jon Ross-Perkins	25f63140e6 Refactor CppWitness as CustomWitness (#6491)	4 месяцев назад
Richard Smith	6b28213b36 Add interop support for naming and "calling" C++ templates. (#6474)	4 месяцев назад
Richard Smith	7fd62ff58d Stop using `ImplWitness[Table]` for a C++ synthesized witness. (#6451)	4 месяцев назад
Richard Smith	f000194d8b Make a couple of parts of our infrastructure more robust. (#6455)	5 месяцев назад
Richard Smith	ec8c999bb1 Support passing Carbon `Optional(T)` to C++ `T` parameter. (#6422)	5 месяцев назад
Boaz Brickner	b5bdfdd857 Rename `TypeLiteralInfo` to `RecognizedTypeInfo` (#6384)	5 месяцев назад
Dana Jansens	0177dc5677 Import contained RequireImpls when importing an Interface or NamedConstraint (#6344)	5 месяцев назад
Dana Jansens	5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)	5 месяцев назад
Richard Smith	86b02ee8af Interop support for `nullptr` and `nullptr_t`. (#6353)	5 месяцев назад
Geoff Romer	43ffd721a4 Support `ref` tags on arguments to `ref` params (#6312)	5 месяцев назад
Dana Jansens	81e55bed8a Generate a RequireDecl instruction for require declarations (#6318)	5 месяцев назад
Dana Jansens	13a16270dc Include entity name in FacetAccessType formatted name (#6339)	5 месяцев назад
Dana Jansens	ca3f95faa6 Make named constraint eval to a FacetType with itself in it (#6308)	6 месяцев назад
Geoff Romer	0811d996e1 Finish renaming BindName and related insts. (#6281)	6 месяцев назад
Geoff Romer	09710d102f Separate binding insts for refs and values (#6235)	6 месяцев назад
David Blaikie	79dd1e362c Add unit tagging to InstBlockId (#6259)	6 месяцев назад
Dana Jansens	22580a47d3 Initial support for empty named constraints (#6245)	6 месяцев назад

Новее Раньше

История коммитов Найти

История коммитов