Type Inference#58

Draft

JTrenerry wants to merge 129 commits intomainfrom

type-inference

Commits on Apr 22, 2026

fix
JTrenerry
committed
slow but progress
JTrenerry
committed
draft load / store constrain gen
JTrenerry
committed
Change constraint set to actually be a set and not a list
JTrenerry
committed
first draft of coalescing types
JTrenerry
committed
Adds functions to coalesce
JTrenerry
committed
Adds records / fields
JTrenerry
committed
constraint set seems stable, inf recursion in coalesce though :(
JTrenerry
committed
inf recursion gone
JTrenerry
committed
cleans up some code and comments
JTrenerry
committed
add bounds basic testing
JTrenerry
committed
cleanup and helpers for tests
JTrenerry
committed
remove program from gen_constraint_set
JTrenerry
committed
basic consistent constraint test
JTrenerry
committed
change int size to int and bv size
JTrenerry
committed
draft transfer function
JTrenerry
committed
adjust polarity to be a bool based around positive
JTrenerry
committed
join function completed
JTrenerry
committed
fixes transfer function and makes it maps instead
JTrenerry
committed
most of automata done
JTrenerry
committed
recursion of constraints is fixed, coalesce is wrong
JTrenerry
committed
coalesce fixed. and automata slightly nicer
JTrenerry
committed
type automata draft
JTrenerry
committed
modules everywhere
JTrenerry
committed
clean
JTrenerry
committed
fix module errors
JTrenerry
committed
merge nodes completed, I believe recursion will explode everything but that is the next task
JTrenerry
committed
forgot the one relevant file in last commit
JTrenerry
committed
recusives
JTrenerry
committed
temp testing
JTrenerry
committed
start of something new :3
JTrenerry
committed
adds sym bases
JTrenerry
committed
:
JTrenerry
committed
pulling
JTrenerry
committed
malloc call and other transfers done
JTrenerry
committed
sva almost done
JTrenerry
committed
fix merge
JTrenerry
committed
sva seems to work
JTrenerry
committed
adds fucntions to LatticeMap and adjust passes for cfg
JTrenerry
committed
adds flake stuff and makes function calls smarter
JTrenerry
committed
confused
JTrenerry
committed
found what i lost
JTrenerry
committed
remove paren
JTrenerry
committed
Updates the examples to be have no concat spam and be more up to date
JTrenerry
committed
bump
JTrenerry
committed
move automata stuff to inference file
JTrenerry
committed
remove asd
JTrenerry
committed
bump
JTrenerry
committed
change sva to use dfg
JTrenerry
committed
adds value_soundness testing to sva
JTrenerry
committed
testing for type inference
JTrenerry
committed
rename of tests
JTrenerry
committed
constrain variables by there given type
JTrenerry
committed
bump
JTrenerry
committed
bump
JTrenerry
committed
pop stash
JTrenerry
committed
add stack pointer
JTrenerry
committed
bump
JTrenerry
committed
sva implemented within type inference
JTrenerry
committed
stay
JTrenerry
committed
Remove weird rec check and just see if it is in bounds (the same but makes more sense)
JTrenerry
committed
fix rec check
JTrenerry
committed
allow two ctypes to be constrained to each other
JTrenerry
committed
finish up more todos
JTrenerry
committed
bmp
JTrenerry
committed
remove print
JTrenerry
committed
flake stuff
JTrenerry
committed
fmt
JTrenerry
committed
Adds more comments and renames variables
JTrenerry
committed
same changes but for tests
JTrenerry
committed
update cat
JTrenerry
committed
map sva results to global
JTrenerry
committed
automata -> type
JTrenerry
committed
the best way to remove stuff is to not add stuff
JTrenerry
committed
pondering
JTrenerry
committed
change recursives
JTrenerry
committed
adds records and ptrs to type_inferencing
JTrenerry
committed
rename
JTrenerry
committed
start transforming
JTrenerry
committed
bump
JTrenerry
committed
we are so back
JTrenerry
committed
Remove unreachable done
JTrenerry
committed
Apply the heuristic more often
JTrenerry
committed
constrain ptrs better
JTrenerry
committed
adds recursives and params / returns
JTrenerry
committed
ptrs and recs need a name
JTrenerry
committed
bmp
JTrenerry
committed
bmp
JTrenerry
committed
bmp
JTrenerry
committed
fix
JTrenerry
committed
UGHGHGHGH, maybe progress
JTrenerry
committed
rec name
JTrenerry
committed
wrong ver
JTrenerry
committed
constrain
JTrenerry
committed
fix tests
JTrenerry
committed
smol name
JTrenerry
committed
record size
JTrenerry
committed
update test
JTrenerry
committed
fix from pull
JTrenerry
committed
fix tests
JTrenerry
committed
ptrrec newline
JTrenerry
committed
loops type checking mostly
JTrenerry
committed
finally testing more code
JTrenerry
committed
fix merge
JTrenerry
committed
some fixes from the sva branch did not make it here, fix that.
JTrenerry
committed
tweaking
JTrenerry
committed
flip the order
JTrenerry
committed
fmt, grammar bump, tests passing
JTrenerry
committed
fix test file
JTrenerry
committed
Remove pointer name, add comment to cram test case, remove duplicate pass, remove commented code
JTrenerry
committed
remove bincaml types
JTrenerry
committed
this test again
JTrenerry
committed
the diff hide from auto-promote
JTrenerry
committed
make analyse more seperate for testing
JTrenerry
committed
fix tests
JTrenerry
committed
fix merge
JTrenerry
committed
merge
JTrenerry
committed
remove duplicate decl
JTrenerry
committed
huh?
JTrenerry
committed
sort before add
JTrenerry
committed
add some tests
JTrenerry
committed
fix test
JTrenerry
committed
adds another test and fixes a bug
JTrenerry
committed
Hmm, removes functions stuff and load/store but that is cause it isn't working probs
JTrenerry
committed
make BVSUB work the same as BVADD
JTrenerry
committed
load / store is gone still but looks fine
JTrenerry
committed
bump
JTrenerry
committed

Commits on Apr 23, 2026

fixes and combines loads / store
JTrenerry
committed
Temp commit to show how using diff polar types can cause type checker to work
JTrenerry
committed