tomteb/carbon-lang

Branch: trunk

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

Neuer Älter

Commit Verlauf Finden

Commit Verlauf