Richard Smith
|
1ec8ac7ef9
Add `Copy` interface and use it for making copies. (#6034)
|
7 달 전 |
Richard Smith
|
0e6dd7e701
Add `MaybeUnformed(T)` type. (#5989)
|
8 달 전 |
Richard Smith
|
b851e8c423
Add support for f16, f64, f128. (#5952)
|
8 달 전 |
Richard Smith
|
629f77eb61
Switch to representing FloatLiteralType as a RealId. (#5944)
|
8 달 전 |
Richard Smith
|
28103b8f2e
Convert LegacyFloatType into FloatLiteralType. (#5939)
|
8 달 전 |
Richard Smith
|
694c00c7eb
Make `Core.Float` a class. Add missing builtins for float support. (#5932)
|
8 달 전 |
Dana Jansens
|
3d77c4441b
Compare ImplWitnessAccess into Self as canonical constants (#5883)
|
9 달 전 |
Jon Ross-Perkins
|
37d5046ceb
Support parse/check/lower for char (#5901)
|
9 달 전 |
Richard Smith
|
4685890d63
Rename FloatLiteral to FloatValue. (#5911)
|
9 달 전 |
Dana Jansens
|
105618ecb1
Resolve nested accesses in rewrite constraints (#5872)
|
9 달 전 |
Dana Jansens
|
b36a987e73
Find cycles in rewrite constraints without performing the full exponential expansion of the RHS (#5673)
|
9 달 전 |
Jon Ross-Perkins
|
b4b4d33789
Change CanonicalValueStore to take ValueT and KeyT as parameters (#5759)
|
10 달 전 |
Dana Jansens
|
6c6552ce57
Consistently return runtime phase if the operands contain a runtime (#5729)
|
10 달 전 |
Jon Ross-Perkins
|
a65f4b89e2
Make ValueStore require a ValueT parameter (#5757)
|
10 달 전 |
Jon Ross-Perkins
|
b97646a890
Split value store related types to separate files (#5754)
|
10 달 전 |
Dana Jansens
|
3585b31813
Handle insts that resolve to `type` on the RHS of `impls` (#5712)
|
10 달 전 |
Dana Jansens
|
fa6322dd8f
Propagate errors in import (#5728)
|
10 달 전 |
Dana Jansens
|
1d2cf1ddcb
Remove the IsPeriodSelf function, use constant value comparison instead (#5731)
|
10 달 전 |
Dana Jansens
|
2b7c75d8a5
Avoid incorrect conflicting assignment diags in rewrite constraints (#5686)
|
10 달 전 |
Dana Jansens
|
fff8c14066
Restructure WhereExpr eval to use `continue` less (#5660)
|
10 달 전 |
Dana Jansens
|
f02ad1f1ca
Diagnose runtime values in eval where a constant value was expected (#5659)
|
10 달 전 |
Dana Jansens
|
517bec24ef
Nested facets (#5644)
|
10 달 전 |
Dana Jansens
|
3689a3b3e4
Call GetConstantFacetTypeInfo on fully constructed FacetTypeInfo in WhereExpr and BitAnd (#5647)
|
10 달 전 |
Geoff Romer
|
0b3edee177
Alphabetize typed_insts.h (#5401)
|
10 달 전 |
Richard Smith
|
4e5dccdbf7
When making a direct call to a thunk, inline the call in SemIR. (#5642)
|
10 달 전 |
Dana Jansens
|
f506376e53
Resolve rewrites in facet types, looking for duplicates (#5620)
|
11 달 전 |
Richard Smith
|
7a55568f15
Fix crash when impl lookup fails and the type of `.Self` is symbolic. (#5603)
|
11 달 전 |
Jon Ross-Perkins
|
e3738eb196
Try out a different IdKind table approach (#5528)
|
11 달 전 |
Richard Smith
|
a23631f360
Support for lowering references to imported `var`s. (#5513)
|
11 달 전 |
Jon Ross-Perkins
|
95ce06a7a4
Adjust KindHasGetConstantValueOverload approach (#5526)
|
11 달 전 |