Commit History

Author SHA1 Message Date
  Richard Smith 43867a678b Reverse interop support for type aliases. (#7043) 2 weeks ago
  Dana Jansens 5503f643c6 Introduce typed-inst accessors for ConstantValueStore (#6980) 1 month ago
  Geoff Romer e78af4d745 Misc. improvements to raw/debug SemIR output (#6557) 3 months ago
  Dana Jansens c64117d0e0 Make IdTag typesafe (#6574) 3 months ago
  Richard Smith 5c7bb7a50d Clean up ConstantValueStore getters. (#6377) 5 months ago
  David Blaikie b02c6a8db4 Add unit tagging to SymbolicConstantId (#6262) 6 months ago
  David Blaikie 12fa65e53c Check for use of `InstId`s from the wrong `SemIR::File` (#5997) 7 months ago
  Dana Jansens a6bb11f1cf Rearrange convert: construct FacetAccessType from a facet value before impl lookup instead of after (#6113) 7 months ago
  Jon Ross-Perkins ef1e47cd07 Remove redundant SemIR:: uses in SemIR (#6106) 7 months ago
  Geoff Romer cb6ca962d2 Update/clarify documentation of generic constants (#5473) 9 months ago
  Jon Ross-Perkins 61290fdee9 Make ConstantValueStore use ValueStore internally (#5811) 9 months ago
  Richard Smith 4f5d11a28b Build generic eval blocks incrementally (#5313) 1 year ago
  Richard Smith 5226f3d14a Factor out `GetInstWithConstantValue` and use it from another place that duplicates the same logic. (#5388) 1 year ago
  Dana Jansens 11ae0e27ab Deduce through FacetValue (#5158) 1 year ago
  Dana Jansens a0b7f39591 Support impl lookup for multiple interfaces in a facet type (#5047) 1 year ago
  Dana Jansens 210c26e369 Use llvm::map_range() instead of using mapped_iterator directly (#4997) 1 year ago
  Dana Jansens 11aba70c1d Add enumerate() for ValueStore and ImplStore (#4975) 1 year ago
  Richard Smith e0b2f5d772 Add and propagate template phase for constants. (#4964) 1 year ago
  Richard Smith c6d35e1c4a Rename template constant -> concrete constant. (#4939) 1 year ago
  Jon Ross-Perkins 6b5eb1a101 Id::Invalid -> Id::None (#4834) 1 year ago
  josh11b 33110d096c Facet types support rewrite (`where .A =`...) constraints (#4613) 1 year ago
  Dana Jansens 361efa90a8 Always call MemUsage::Collect to collect metrics from a field (#4480) 1 year ago
  josh11b c721a020a7 Store pointer not reference in `ConstantStore` (#4398) 1 year ago
  Richard Smith 568ad197d1 Track the instruction used to name the type and constraint in an impl. (#4368) 1 year ago
  Chandler Carruth 5d0ec91c20 Collection of minor tweaks to get approx. 10-15% compile time (#4245) 1 year ago
  Richard Smith dde0bd0ffe Change TypeId to be a thin wrapper around ConstantId. (#4140) 1 year ago
  Jon Ross-Perkins f1190a4792 Add basic output of where memory is stored after a compile. (#4136) 1 year ago
  Richard Smith 7322a1e220 Build a list of dependent constants to recompute in each instance of a generic. (#4110) 1 year ago
  Chandler Carruth 8992d22ab3 Port the toolchain to use the new Carbon hashtable (#4097) 1 year ago
  Richard Smith 6ecf4ce9a7 Store additional information for symbolic constants. (#4102) 1 year ago