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