tomteb/carbon-lang

Клон: trunk

Автор	SHA1 Съобщение	Дата
Geoff Romer	bd6aeae9d4 Don't require `ref` tags in thunks (#7115)	преди 3 дни
Geoff Romer	4c9049346d Replace form insts with actions (#7100)	преди 3 дни
Richard Smith	23339bc810 Fix initialization of var parameters. (#7023)	преди 4 дни
Dana Jansens	554b1b8d10 Remove SymbolicBindingType (#7114)	преди 5 дни
Geoff Romer	49c7288619 Restructure return declaration handling (#7076)	преди 1 седмица
Geoff Romer	ad0a4ea8a4 Restructure action-dependence APIs (#7074)	преди 2 седмици
Richard Smith	a6061d975c Compute type layouts in SemIR / Check (#7066)	преди 2 седмици
Richard Smith	8e0d856725 Improve `InPlaceInitializing` conversion. (#7021)	преди 4 седмици
Richard Smith	81ed4d829d Perform CppThunkRef conversion as part of category conversion. (#7020)	преди 1 месец
Richard Smith	6f0ec37a8b Make C++ enum types impl Core.Copy. (#7013)	преди 1 месец
Dana Jansens	5503f643c6 Introduce typed-inst accessors for ConstantValueStore (#6980)	преди 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 месец
Geoff Romer	6d1130f657 Allow no-op conversions on incomplete types. (#6926)	преди 1 месец
Richard Smith	2e5b195813 Make `{} as Class` an initializing expression. (#6882)	преди 1 месец
Geoff Romer	21291b4cc3 Remove `InitForm::index` (#6817)	преди 1 месец
Richard Smith	15680ba101 Support calling functions with explicit template arguments. (#6814)	преди 2 месеца
Richard Smith	41dd256d56 Support for initialization of classes with abstract base classes. (#6802)	преди 2 месеца
Geoff Romer	bf9219d30e Check support for form literals and `:?` bindings (#6747)	преди 2 месеца
Richard Smith	980ab7fab3 Fix handling of compatible conversions in initialization. (#6797)	преди 2 месеца
Dana Jansens	fbc8d59d32 Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)	преди 2 месеца
Dana Jansens	46fb941b3c Don't create ErrorInst in Convert without producing a diagnostic (#6762)	преди 2 месеца
Geoff Romer	f21e0e17ac Introduce ExprCategory::Dependent (#6744)	преди 2 месеца
Geoff Romer	f1b6e818d1 Rename FormExpr fields for clarity/consistency. (#6746)	преди 2 месеца
Geoff Romer	f289592dfa Clarify and partially enforce inst-order precondition on splicing (#6722)	преди 2 месеца
Jon Ross-Perkins	2c6d9c7f66 Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)	преди 2 месеца
Geoff Romer	e5b05a1fac `ExprCategory` for guaranteed-in-place initializing expressions (#6623)	преди 2 месеца
Dana Jansens	32aa7cb1fa Make identifying a facet type an operation on a (self+facet type) pair (#6592)	преди 3 месеца
Geoff Romer	e1ec8d42d1 Give `ReturnExpr` a target only when initialization is in-place (#6570)	преди 3 месеца
Geoff Romer	87b4ca54e6 Decouple PerformCallToFunction from ReturnTypeInfo (#6572)	преди 3 месеца

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

Commit History Намери

Commit History