David Blaikie b02c6a8db4 Add unit tagging to SymbolicConstantId (#6262) 6 mesi fa
..
alias 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) 7 mesi fa
array e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
as e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
basics b02c6a8db4 Add unit tagging to SymbolicConstantId (#6262) 6 mesi fa
builtins 90771414f5 Add builtins to form and detect null `MaybeUnformed(T*)` values. (#6208) 6 mesi fa
choice 47081be67a Reduce test sensitivity to small import loc changes (#6145) 7 mesi fa
class 45017bf65d Add tests for calling a base function without qualifications (#6221) 6 mesi fa
const b3c25ecfa2 Allow implicit conversion to a value expression to remove `const`. (#6253) 6 mesi fa
deduce e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
eval e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
facet e12d1b6d6d Handle a specific providing ImplWitnessAccess for a symbolic binding used as a type (#6201) 6 mesi fa
for 851da43c88 Make Optional support specializing its representation. (#6058) 6 mesi fa
function e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
generic e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
global 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 mesi fa
if 47081be67a Reduce test sensitivity to small import loc changes (#6145) 7 mesi fa
if_expr e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
impl 0ed5d41a1b Avoid mismatched InterfaceId comparison between two files (#6241) 6 mesi fa
index e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
interface e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
interop b3c25ecfa2 Allow implicit conversion to a value expression to remove `const`. (#6253) 6 mesi fa
let e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
main_run 47081be67a Reduce test sensitivity to small import loc changes (#6145) 7 mesi fa
named_constraint 22580a47d3 Initial support for empty named constraints (#6245) 6 mesi fa
namespace e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
operators e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
package_expr e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
packages 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) 7 mesi fa
patterns e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
pointer e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
primitives fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) 7 mesi fa
return e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
struct e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
tuple e26b6a35c2 Allow instance binding on tuple-valued expressions. (#6203) 6 mesi fa
var e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
where_expr fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) 7 mesi fa
while 41ed82e033 Add basic support for strings to core, check, and lower. (#5963) 8 mesi fa