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