Richard Smith
|
709776ad1c
Support for locations in transitively imported C++ code (#7093)
|
пре 1 недеља |
Nicholas Bishop
|
1ef35e8299
Fix name mangling for Carbon functions called from C++ (#6984)
|
пре 1 месец |
Dana Jansens
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
пре 1 месец |
Geoff Romer
|
bf9219d30e
Check support for form literals and `:?` bindings (#6747)
|
пре 2 месеци |
Jon Ross-Perkins
|
c6bc033af8
Add a SemIR scope for generated entities (#6792)
|
пре 2 месеци |
Geoff Romer
|
f1b6e818d1
Rename FormExpr fields for clarity/consistency. (#6746)
|
пре 2 месеци |
Jon Ross-Perkins
|
45ca3d28f5
Drop "diagnostic" from some filenames in the "diagnostics" folder (#6686)
|
пре 2 месеци |
Geoff Romer
|
95eb7b16bb
Expose C++ reference returns as Carbon reference returns (#6618)
|
пре 3 месеци |
Dana Jansens
|
32aa7cb1fa
Make identifying a facet type an operation on a (self+facet type) pair (#6592)
|
пре 3 месеци |
Dana Jansens
|
c64117d0e0
Make IdTag typesafe (#6574)
|
пре 3 месеци |
Geoff Romer
|
505b1c86b9
Initial support for return forms (#6556)
|
пре 3 месеци |
Geoff Romer
|
0e5832d3c2
Model `ref` tags as insts instead of annotations (#6541)
|
пре 3 месеци |
Dana Jansens
|
5efed204a2
Make EvalLookupSingleImplWitness shorter (#6517)
|
пре 4 месеци |
Richard Smith
|
a8eca2ece6
Delay finishing the C++ translation unit until we reach the real EOF. (#6489)
|
пре 4 месеци |
Jon Ross-Perkins
|
c0b335b87f
Add well-known identifier caching (#6486)
|
пре 4 месеци |
Richard Smith
|
6114df59ee
Factor out a `Check::CppContext` holding C++-specific check state (#6482)
|
пре 4 месеци |
Geoff Romer
|
bf45b1cbf5
Refactor function return type representation (#6463)
|
пре 4 месеци |
Richard Smith
|
d208e950c7
Encapsulate `clang::ASTUnit` in `SemIR::CppFile`. (#6459)
|
пре 4 месеци |
Richard Smith
|
c77eebd15e
Cache final impl lookup results. (#6452)
|
пре 5 месеци |
Geoff Romer
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
пре 5 месеци |
Dana Jansens
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
Dana Jansens
|
81e55bed8a
Generate a RequireDecl instruction for require declarations (#6318)
|
пре 5 месеци |
Geoff Romer
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
пре 6 месеци |
Dana Jansens
|
22580a47d3
Initial support for empty named constraints (#6245)
|
пре 6 месеци |
Boaz Brickner
|
ffefa7711c
Move the mapping from entity name to an imported C++ global variable declaration outside of `EntityName` (#6211)
|
пре 6 месеци |
Dana Jansens
|
e3b4482893
Make the GetCanonicalFacetOrTypeValue operation more crisp (#6157)
|
пре 7 месеци |
Jon Ross-Perkins
|
49ba8cf3e1
Switch class to use a blanket impl for `Destroy` (#6125)
|
пре 7 месеци |
Boaz Brickner
|
a73e259620
Add `Check::Context::clang_sema()` method and use it (#6110)
|
пре 7 месеци |
Richard Smith
|
925250f8f9
Improve diagnostics for overload resolution failure. (#6091)
|
пре 7 месеци |
Boaz Brickner
|
05c9fd768e
Add `Check::Context::clang_decls()` methods (#6094)
|
пре 7 месеци |