tomteb/carbon-lang

Клон: trunk

Автор	SHA1 Съобщение	Дата
Dana Jansens	46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132)	преди 1 ден
Dana Jansens	554b1b8d10 Remove SymbolicBindingType (#7114)	преди 5 дни
Dana Jansens	d9841992cb Replace .Self in facet types (#7097)	преди 1 седмица
Dana Jansens	cc5a42691e Add `where T impls X` constraints into the FacetTypeInfo (#7038)	преди 3 седмици
Burak Emir	fdb188ccfd Implement unused pattern bindings, continued (#6518)	преди 2 месеца
Dana Jansens	917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667)	преди 2 месеца
Dana Jansens	32aa7cb1fa Make identifying a facet type an operation on a (self+facet type) pair (#6592)	преди 3 месеца
Dana Jansens	efec4e4658 Move generic stack operations into handle_impl.cpp (Refactor Impl construction 8/7) (#6484)	преди 4 месеца
Dana Jansens	fbcaf34494 Defer RequireCompleteType to impl definition (Refactor Impl construction 7/7) (#6470)	преди 4 месеца
Dana Jansens	201e408252 Type completion of facet types is separate from Identifying (#6385)	преди 5 месеца
Dana Jansens	ca3f95faa6 Make named constraint eval to a FacetType with itself in it (#6308)	преди 6 месеца
Jon Ross-Perkins	a1fd86cf27 Change ImplWitnessTablePlaceholder from instruction to InstId value (#6294)	преди 6 месеца
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	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	преди 7 месеца
Dana Jansens	2140a57294 Remove todo in facet_type.cpp after exploration (#5950)	преди 8 месеца
Dana Jansens	4b0e2b03b6 Add the `.Self` name for the type expression of a compile time binding (#5937)	преди 8 месеца
Dana Jansens	2e22733372 Use canonical constant values as the keys for ImplWitnessAccess in AccessRewriteValues (#5912)	преди 8 месеца
Dana Jansens	3d77c4441b Compare ImplWitnessAccess into Self as canonical constants (#5883)	преди 8 месеца
Dana Jansens	905c964278 Remove two todos in facet_type.cpp (#5908)	преди 9 месеца
Dana Jansens	105618ecb1 Resolve nested accesses in rewrite constraints (#5872)	преди 9 месеца
Dana Jansens	6b83414ee8 Dedupe rewrite constraints without sorting (#5864)	преди 9 месеца
Dana Jansens	b36a987e73 Find cycles in rewrite constraints without performing the full exponential expansion of the RHS (#5673)	преди 9 месеца
Dana Jansens	2b7c75d8a5 Avoid incorrect conflicting assignment diags in rewrite constraints (#5686)	преди 10 месеца
Dana Jansens	09a5fddff8 Fix sorting of instructions in Facet Type resolution (#5664)	преди 10 месеца
Dana Jansens	517bec24ef Nested facets (#5644)	преди 10 месеца
Dana Jansens	3689a3b3e4 Call GetConstantFacetTypeInfo on fully constructed FacetTypeInfo in WhereExpr and BitAnd (#5647)	преди 10 месеца
Dana Jansens	bdf5f00af0 Resolve the RHS of rewrite constraints in facets (#5639)	преди 10 месеца
Dana Jansens	f506376e53 Resolve rewrites in facet types, looking for duplicates (#5620)	преди 10 месеца
Dana Jansens	315e206ff1 Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)	преди 1 година

По-нови По-стари

Commit History Намери

Commit History