Abstract interpretation#933

Draft

S41d wants to merge 23 commits intoOCamlPro:mainfrom

S41d:abs_interpretation

Commits on Apr 22, 2026

wip
S41d
committed
gadt
S41d
committed
add codex to shell.nix

redianthus
authored and
S41d
committed
fix ffi function
S41d
committed
fix gadt typing

redianthus
authored and
S41d
committed
integer -> binary
S41d
committed
gadt problem on stack with values and sizes
S41d
committed
make local_tee return top for now
S41d
committed
disable actions
S41d
committed
nop = top
S41d
committed
denot concrete intepreteur and some wip stuff for abs
S41d
committed
irelop for the denot concrete interpreter
S41d
committed
clean up the abstract part
S41d
committed
separate into two modules
S41d
committed
getting ready for loops
S41d
committed
almost done with loops and ifs
S41d
committed
fix loop ?
S41d
committed
fix locals and stack for function calls and other small stuff
S41d
committed

Commits on Apr 27, 2026

Commits on Apr 28, 2026