Dana Jansens 6a60b80508 Remove the FacetTypeId in RequireImpls (#6437) 5 tháng trước cách đây
..
alias 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 tháng trước cách đây
array 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 tháng trước cách đây
as 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 tháng trước cách đây
basics 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 tháng trước cách đây
builtins 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 tháng trước cách đây
choice 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 tháng trước cách đây
class 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 tháng trước cách đây
const 57a2715f10 Remove support for `addr` (#6375) 5 tháng trước cách đây
deduce 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 tháng trước cách đây
eval 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 tháng trước cách đây
facet 6a60b80508 Remove the FacetTypeId in RequireImpls (#6437) 5 tháng trước cách đây
for 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 tháng trước cách đây
function 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 tháng trước cách đây
generic 0cf2448505 Get specific interfaces with correct specific from named constraints (#6435) 5 tháng trước cách đây
global 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 tháng trước cách đây
if 09710d102f Separate binding insts for refs and values (#6235) 6 tháng trước cách đây
if_expr 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 tháng trước cách đây
impl 6a60b80508 Remove the FacetTypeId in RequireImpls (#6437) 5 tháng trước cách đây
index 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 tháng trước cách đây
interface 6a60b80508 Remove the FacetTypeId in RequireImpls (#6437) 5 tháng trước cách đây
interop 108e39e095 Fix SemIR printout for string literals in macros (#6440) 5 tháng trước cách đây
let 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 tháng trước cách đây
main_run 0811d996e1 Finish renaming BindName and related insts. (#6281) 6 tháng trước cách đây
named_constraint 6a60b80508 Remove the FacetTypeId in RequireImpls (#6437) 5 tháng trước cách đây
namespace 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 tháng trước cách đây
operators 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 tháng trước cách đây
package_expr 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 tháng trước cách đây
packages 6b1ef75ac5 Make generic decl resolution happen during non-pending import flow (#6394) 5 tháng trước cách đây
patterns 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 tháng trước cách đây
pointer 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 tháng trước cách đây
primitives 0811d996e1 Finish renaming BindName and related insts. (#6281) 6 tháng trước cách đây
return 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 tháng trước cách đây
struct 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 tháng trước cách đây
tuple 167b45ca35 Rewrite pending specifics to use the work stack (#6415) 5 tháng trước cách đây
var 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 tháng trước cách đây
where_expr 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 tháng trước cách đây
while 41ed82e033 Add basic support for strings to core, check, and lower. (#5963) 8 tháng trước cách đây