tomteb/carbon-lang

Branch: trunk

Author	SHA1 Message	Date
Dana Jansens	32aa7cb1fa Make identifying a facet type an operation on a (self+facet type) pair (#6592)	3 months ago
Dana Jansens	c64117d0e0 Make IdTag typesafe (#6574)	3 months ago
Dana Jansens	7c1798d96d Format impl witness instructions as part of the impl (#6485)	4 months ago
Dana Jansens	0cf2448505 Get specific interfaces with correct specific from named constraints (#6435)	5 months ago
Richard Smith	b300f36e6f Use `inline constexpr` where appropriate. (#6374)	5 months ago
David Blaikie	2d1de16293 Add unit tagging to ImplId (#6214)	6 months ago
Jon Ross-Perkins	a65f4b89e2 Make ValueStore require a ValueT parameter (#5757)	10 months ago
Jon Ross-Perkins	839a7b7c96 Refactor ValueStoreChunk and ValueStoreRange into ValueStore (#5756)	10 months ago
Dana Jansens	02fc484f23 Make pointers in ValueStore stable across insertions (#5576)	11 months ago
Richard Smith	71715263ce Add build option `--features=poison_value_stores`. (#5438)	11 months ago
Jon Ross-Perkins	949cc21ccc Remove SemIR:: from most sem_ir files (#5358)	1 year ago
Dana Jansens	cf57c85545 Introduce TypeInstId (#5288)	1 year ago
Dana Jansens	76c68153a2 Look for final impl when accessing associated constant in facet (#5269)	1 year ago
josh11b	c7a338be59 Replace uses of "defined" with "complete" (#5196)	1 year ago
Dana Jansens	1d7d78c6da Add more output in dump for generics, impls (#5190)	1 year ago
josh11b	eb69d7420e First iteration of completing and resolving facet types (#4920)	1 year ago
Dana Jansens	11aba70c1d Add enumerate() for ValueStore and ImplStore (#4975)	1 year ago
Jon Ross-Perkins	9c0faf007e Invalid comment cleanup (#4836)	1 year ago
Jon Ross-Perkins	6b5eb1a101 Id::Invalid -> Id::None (#4834)	1 year ago
josh11b	1d379ff7f8 Syntactic `impl` declaration matching updates (#4762)	1 year ago
josh11b	c5fd8f42b8 `ImplWitness` (#4679)	1 year ago
josh11b	01ca9f05dd `has_definition_started` accessor for entities (#4730)	1 year ago
josh11b	5169a1862e Require a definition in the same file as an `impl` declaration (#4719)	1 year ago
Jon Ross-Perkins	bc24a6c5d8 Refactor IdBase to provide CRTP-based printing (#4626)	1 year ago
Jon Ross-Perkins	4a80d6758d Rename the builtin FloatType to LegacyFloatType, Error to ErrorInst (#4555)	1 year ago
Dana Jansens	361efa90a8 Always call MemUsage::Collect to collect metrics from a field (#4480)	1 year ago
Chandler Carruth	4148161e24 Refactor value store code to use separate files. (#4477)	1 year ago
Richard Smith	568ad197d1 Track the instruction used to name the type and constraint in an impl. (#4368)	1 year ago
Richard Smith	9d5ec52232 Use more compact storage for impl lookup buckets. (#4351)	1 year ago
Richard Smith	2f3ad26f0e Basic support for declaring generic impls. (#4336)	1 year ago

Newer Older

Commit History Find

Commit History