Alternative version of TypeGeneralizing#6108

Draft

kripken wants to merge 124 commits into

mainfrom

Commits on Nov 9, 2023

Commits on Nov 10, 2023

work
kripken
committed
work
kripken
committed
work
kripken
committed
sketch
kripken
committed
fix
kripken
committed
builds
kripken
committed
start.test
kripken
committed
fix
kripken
committed
builds
kripken
committed
fix
kripken
committed
builds
kripken
committed
builds
kripken
committed
work
kripken
committed
fix
kripken
committed
initial results
kripken
committed
work
kripken
committed
work
kripken
committed
tests pass
kripken
committed
work
kripken
committed
format
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
Notes
kripken
committed
[NFC] Add LocalLocation for future use
kripken
committed
[NFC] Refactor out subtyping discovery code
kripken
committed
undo
kripken
committed
Revert "undo"
kripken
committed
clean
kripken
committed
Merge remote-tracking branch 'origin/alt.1' into alt.rock
kripken
committed
Merge remote-tracking branch 'origin/alt.3' into alt.rock
kripken
committed
comment
kripken
committed
Merge remote-tracking branch 'origin/alt.1' into alt.2
kripken
committed
Merge branch 'alt.2' into alt.3
kripken
committed
Merge branch 'alt.3' into alt.rock
kripken
committed
cleanup
kripken
committed

Commits on Nov 13, 2023

Commits on Nov 14, 2023

Feedback
kripken
committed
Update src/ir/subtype-exprs.h

kripken
and
tlively
authored
fix
kripken
committed
Merge branch 'alt.2' into alt.3
kripken
committed
Merge branch 'alt.3' into alt.rock
kripken
committed
fix
kripken
committed
fix
kripken
committed
fix
kripken
committed
format
kripken
committed
fix
kripken
committed
validator
kripken
committed
fix
kripken
committed
fix
kripken
committed
fix
kripken
committed
fix
kripken
committed
fix
kripken
committed
fix
kripken
committed
update
kripken
committed
format
kripken
committed
prep
kripken
committed
prep
kripken
committed
prep
kripken
committed
rework
kripken
committed
prep
kripken
committed
prep
kripken
committed
prep
kripken
committed
workey
kripken
committed
clean
kripken
committed

Commits on Nov 15, 2023

Commits on Nov 16, 2023

Merge remote-tracking branch 'origin/main' into alt.rock
kripken
committed
format
kripken
committed
refactor
kripken
committed
should
kripken
committed
fix
kripken
committed
refactor
kripken
committed
work
kripken
committed
work
kripken
committed
format
kripken
committed
clean
kripken
committed
fix
kripken
committed
format
kripken
committed
better
kripken
committed
better
kripken
committed
better
kripken
committed
format
kripken
committed
better
kripken
committed
better
kripken
committed
better
kripken
committed
better
kripken
committed
better
kripken
committed
format
kripken
committed
better
kripken
committed
type debugging utils [to split out]
kripken
committed
format
kripken
committed
simplify
kripken
committed
simplify
kripken
committed
simplify
kripken
committed

Commits on Nov 17, 2023