Acasă Explorează Ajutor
Autentificare
tomteb
/
carbon-lang
1
0
Bifurcare 0
Fisiere Probleme 0 Trageți solicitările 0 Wiki
Ramură: trunk
Ramuri Etichete

Istoricul angajamentelor

Autor SHA1 Permisiunea de a trimite mesaje. Dacă este dezactivată, utilizatorul nu va putea trimite nici un fel de mesaj Data
  Dana Jansens 554b1b8d10 Remove SymbolicBindingType (#7114) 5 zile în urmă
  Dana Jansens 451b50a3ad Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005) 1 lună în urmă
  Jon Ross-Perkins e0305684b0 Add MakeVerifiedLocIdAndInst for runtime validation (#6942) 1 lună în urmă
  Jon Ross-Perkins 2c6d9c7f66 Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708) 2 luni în urmă
  Jon Ross-Perkins c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 luni în urmă
  Jon Ross-Perkins fbc7690157 Switch `zip` to `zip_equal` where possible (#6389) 5 luni în urmă
  Dana Jansens 54815d7a1f Make Subst recurse through named constraints in a FacetTypeInfo (#6367) 5 luni în urmă
  Geoff Romer 0811d996e1 Finish renaming BindName and related insts. (#6281) 6 luni în urmă
  Dana Jansens fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) 6 luni în urmă
  Jon Ross-Perkins 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 luni în urmă
  Dana Jansens 105618ecb1 Resolve nested accesses in rewrite constraints (#5872) 9 luni în urmă
  Dana Jansens b36a987e73 Find cycles in rewrite constraints without performing the full exponential expansion of the RHS (#5673) 9 luni în urmă
  Dana Jansens f236748629 Abandon SubstInst when encountering ErrorInst (#5692) 10 luni în urmă
  Dana Jansens bdf5f00af0 Resolve the RHS of rewrite constraints in facets (#5639) 10 luni în urmă
  Richard Smith 7a55568f15 Fix crash when impl lookup fails and the type of `.Self` is symbolic. (#5603) 11 luni în urmă
  Jon Ross-Perkins a85d292f8d Change from ToImplicit to AsDesugared (#5591) 11 luni în urmă
  Dana Jansens 4f59fb1346 Substitute into the type of BindSymbolicName or SymbolicBindingPattern (#5481) 11 luni în urmă
  Richard Smith 4f5d11a28b Build generic eval blocks incrementally (#5313) 1 an în urmă
  Dana Jansens 315e206ff1 Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355) 1 an în urmă
  Richard Smith 64baa84e4d Stop substituting into `MetaInstId` operands. (#5328) 1 an în urmă
  Dana Jansens f0663715dd Even more usage of TypeInstId (#5296) 1 an în urmă
  Dana Jansens c34a8d0a3a Convert remaining type-value InstId fields to TypeInstId (#5294) 1 an în urmă
  Dana Jansens cf57c85545 Introduce TypeInstId (#5288) 1 an în urmă
  Richard Smith a74ca9071b Remove all remaining uses of `TypeId`s as instruction operands. (#5280) 1 an în urmă
  Richard Smith a91752de60 Represent rewrite constraints in `FacetTypeInfo` with `InstId` not `ConstantId`. (#5281) 1 an în urmă
  Richard Smith bfef32b482 Add an `EvalOrAddInst` function. (#5258) 1 an în urmă
  Richard Smith 0631e18184 Provide an `InstId` when evaluating a constant in cases where one is needed (#5202) 1 an în urmă
  josh11b 4af0c8f8d1 Implement ...`where .Self impls`... (#5238) 1 an în urmă
  Boaz Brickner 6e2dbb5b61 Change `CopyOnWriteBlock::file_` from reference to pointer (#5230) 1 an în urmă
  Jon Ross-Perkins 9134e36ec0 Extend CARBON_KIND_SWITCH to support ArgAndKind (#5216) 1 an în urmă

Mai nou Mai vechi