Commit History

Автор SHA1 Съобщение Дата
  Boaz Brickner dfe9ffd369 Rename `check/import_cpp.*` to `check/cpp_import.*` to group C++ interop logic in `check` (#6074) преди 7 месеца
  Richard Smith b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) преди 7 месеца
  Ivana Ivanovska 12ddfb9c7c [Carbon/C++ interop] Add support for C++ overloaded functions (#5891) преди 7 месеца
  Richard Smith 0e6dd7e701 Add `MaybeUnformed(T)` type. (#5989) преди 8 месеца
  Richard Smith 82ba1a43a1 Support for importing C++ enum types. (#5978) преди 8 месеца
  Richard Smith 2352e93bb5 Remove now-unused StringType instruction. (#5964) преди 8 месеца
  Richard Smith 28103b8f2e Convert LegacyFloatType into FloatLiteralType. (#5939) преди 8 месеца
  Jon Ross-Perkins 37d5046ceb Support parse/check/lower for char (#5901) преди 9 месеца
  Richard Smith ae16014df8 Don't import a C++ class definition until the class is required to be complete. (#5865) преди 9 месеца
  Richard Smith 36f0a73092 Initial support for interop with class/struct/union fields. (#5849) преди 9 месеца
  David Blaikie b39a0f0c8c Basic SemIR `partial` support (#5736) преди 10 месеца
  Richard Smith 5b884ae14d Improve lowering for global variables. (#5492) преди 11 месеца
  Geoff Romer fafb655d39 Separate pattern types from expression types (#5360) преди 1 година
  Dana Jansens c38e723dd8 Rename singleton InstId constants to TypeInstId (#5323) преди 1 година
  Jon Ross-Perkins 4923445e3a Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304) преди 1 година
  Jon Ross-Perkins 55da026a46 Remove the SemIRLoc typedef (#5299) преди 1 година
  Dana Jansens f0663715dd Even more usage of TypeInstId (#5296) преди 1 година
  Dana Jansens c34a8d0a3a Convert remaining type-value InstId fields to TypeInstId (#5294) преди 1 година
  Richard Smith a74ca9071b Remove all remaining uses of `TypeId`s as instruction operands. (#5280) преди 1 година
  Dana Jansens d07f70cfb3 Add insts for witness table entries that are unset or associated constants (#5255) преди 1 година
  josh11b 4af0c8f8d1 Implement ...`where .Self impls`... (#5238) преди 1 година
  Richard Smith bba32900c3 Preserve type sugar in ArrayType, ConstType, and PointerType. (#5235) преди 1 година
  Dana Jansens 164310c6b8 Facet values (like type values) can be copied around at runtime (#5242) преди 1 година
  josh11b bc439ad092 Forward `impl` declarations of incomplete facet types (#5219) преди 1 година
  Boaz Brickner 624ebbd805 Change `TypeCompleter.context_` from reference to pointer (#5206) преди 1 година
  josh11b c7a338be59 Replace uses of "defined" with "complete" (#5196) преди 1 година
  Jon Ross-Perkins acbe6530c3 Move diagnostics into a namespace (#5173) преди 1 година
  Dana Jansens 53c98a8619 Support specialization in impl lookup with a symbolic query/impl. (#5169) преди 1 година
  Jon Ross-Perkins 832c6398d6 Reduce explicit SemIR::LocIdAndInst construction (#5153) преди 1 година
  Richard Smith 584426dfa2 Initial work on support for templates (#5081) преди 1 година