tomteb/carbon-lang

Грана: trunk

Аутор	SHA1 Порука	Датум
Dana Jansens	554b1b8d10 Remove SymbolicBindingType (#7114)	пре 1 недеља
Dana Jansens	451b50a3ad Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005)	пре 1 месец
Jon Ross-Perkins	e0305684b0 Add MakeVerifiedLocIdAndInst for runtime validation (#6942)	пре 1 месец
Jon Ross-Perkins	2c6d9c7f66 Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)	пре 2 месеци
Jon Ross-Perkins	c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)	пре 4 месеци
Jon Ross-Perkins	fbc7690157 Switch `zip` to `zip_equal` where possible (#6389)	пре 5 месеци
Dana Jansens	54815d7a1f Make Subst recurse through named constraints in a FacetTypeInfo (#6367)	пре 5 месеци
Geoff Romer	0811d996e1 Finish renaming BindName and related insts. (#6281)	пре 6 месеци
Dana Jansens	fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115)	пре 7 месеци
Jon Ross-Perkins	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	пре 7 месеци
Dana Jansens	105618ecb1 Resolve nested accesses in rewrite constraints (#5872)	пре 9 месеци
Dana Jansens	b36a987e73 Find cycles in rewrite constraints without performing the full exponential expansion of the RHS (#5673)	пре 9 месеци
Dana Jansens	f236748629 Abandon SubstInst when encountering ErrorInst (#5692)	пре 10 месеци
Dana Jansens	bdf5f00af0 Resolve the RHS of rewrite constraints in facets (#5639)	пре 10 месеци
Richard Smith	7a55568f15 Fix crash when impl lookup fails and the type of `.Self` is symbolic. (#5603)	пре 11 месеци
Jon Ross-Perkins	a85d292f8d Change from ToImplicit to AsDesugared (#5591)	пре 11 месеци
Dana Jansens	4f59fb1346 Substitute into the type of BindSymbolicName or SymbolicBindingPattern (#5481)	пре 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 година
Richard Smith	64baa84e4d Stop substituting into `MetaInstId` operands. (#5328)	пре 1 година
Dana Jansens	f0663715dd Even more usage of TypeInstId (#5296)	пре 1 година
Dana Jansens	c34a8d0a3a Convert remaining type-value InstId fields to TypeInstId (#5294)	пре 1 година
Dana Jansens	cf57c85545 Introduce TypeInstId (#5288)	пре 1 година
Richard Smith	a74ca9071b Remove all remaining uses of `TypeId`s as instruction operands. (#5280)	пре 1 година
Richard Smith	a91752de60 Represent rewrite constraints in `FacetTypeInfo` with `InstId` not `ConstantId`. (#5281)	пре 1 година
Richard Smith	bfef32b482 Add an `EvalOrAddInst` function. (#5258)	пре 1 година
Richard Smith	0631e18184 Provide an `InstId` when evaluating a constant in cases where one is needed (#5202)	пре 1 година
josh11b	4af0c8f8d1 Implement ...`where .Self impls`... (#5238)	пре 1 година
Boaz Brickner	6e2dbb5b61 Change `CopyOnWriteBlock::file_` from reference to pointer (#5230)	пре 1 година
Jon Ross-Perkins	9134e36ec0 Extend CARBON_KIND_SWITCH to support ArgAndKind (#5216)	пре 1 година

Новије Старије

Историја ревизија Пронађи

Историја ревизија