تاریخچه Commit ها

نویسنده SHA1 پیام تاریخ
  Jon Ross-Perkins a2ba7f1262 Have Specific track whether regions contain errors (#6982) 1 ماه پیش
  Dana Jansens d6be20641c Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915) 1 ماه پیش
  Jon Ross-Perkins e0305684b0 Add MakeVerifiedLocIdAndInst for runtime validation (#6942) 1 ماه پیش
  Dana Jansens 917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667) 2 ماه پیش
  Jon Ross-Perkins 2c6d9c7f66 Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708) 2 ماه پیش
  Jon Ross-Perkins 1d0bf72508 Fix pluralization mismatch on compile_time_binding/s (#6696) 2 ماه پیش
  Dana Jansens 30562826b8 Add Inst::IsOneOf to check if an inst is one of a few kinds (#6523) 3 ماه پیش
  Jon Ross-Perkins 77918d023b Make symbolic local bindings a TODO (#6449) 4 ماه پیش
  Jon Ross-Perkins 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 ماه پیش
  Geoff Romer 0811d996e1 Finish renaming BindName and related insts. (#6281) 6 ماه پیش
  Dana Jansens 22580a47d3 Initial support for empty named constraints (#6245) 6 ماه پیش
  Jon Ross-Perkins 9010249936 Remove reallocation assumptions from generic code (#6217) 6 ماه پیش
  Jon Ross-Perkins 973d721916 Some more edits to EnumBase and EnumMaskBase (#6054) 7 ماه پیش
  Jon Ross-Perkins 6cc5d7ed2a Add an EnumMaskBase type (#6053) 7 ماه پیش
  Dana Jansens b36a987e73 Find cycles in rewrite constraints without performing the full exponential expansion of the RHS (#5673) 9 ماه پیش
  Thomas Köppe f18fc40a32 Add missing standard library header inclusions (#5486) 11 ماه پیش
  Dana Jansens 5aea18f949 Avoid resolving the decl block for specifics in imported instructions (#5517) 11 ماه پیش
  Richard Smith 4f5d11a28b Build generic eval blocks incrementally (#5313) 1 سال پیش
  Dana Jansens 315e206ff1 Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355) 1 سال پیش
  Jon Ross-Perkins 4923445e3a Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304) 1 سال پیش
  Jon Ross-Perkins 55da026a46 Remove the SemIRLoc typedef (#5299) 1 سال پیش
  Boaz Brickner afe034f9f4 Change `RebuildGenericConstantInEvalBlockCallbacks.context_` from reference to pointer (#5205) 1 سال پیش
  Richard Smith 4acc9cac5d Replace GetInstForSpecific with direct support for rendering a SpecificId in diagnostics. (#5192) 1 سال پیش
  Richard Smith e25f58adec Rebuild the type of a `bind_symbolic_name` when building an eval block (#5174) 1 سال پیش
  Dana Jansens 6dbcc78e6c Rewrite symbolic constants in generic redeclarations (#5154) 1 سال پیش
  Richard Smith 584426dfa2 Initial work on support for templates (#5081) 1 سال پیش
  Jon Ross-Perkins 8738497301 Fix parse support for 'fn F[];' (#5135) 1 سال پیش
  josh11b 3ebd098597 Completing a type no longer ignores facet types (#5004) 1 سال پیش
  Richard Smith e0b2f5d772 Add and propagate template phase for constants. (#4964) 1 سال پیش
  Jon Ross-Perkins dc8f47e6ad Move type functions off Context (#4951) 1 سال پیش