feat(io): CTree Interpreter for I/O - #1384

Draft

ArquintL wants to merge 23 commits into

nchappe/ctree-llvm-interpfrom

arquintl/io-ctree-interp

Commits on Sep 3, 2026

Add a basic CTree data structure
nchappe
committed
a0676fe
various fixes
nchappe
committed
4127c52
update link
nchappe
committed
f11351e
address comments
nchappe
committed
325e78a
nits
nchappe
committed
e33ac5d
address comments
nchappe
committed
a91295f
improve doc
nchappe
committed
8d4ff10
update dep
nchappe
committed
40d6455
rebase and update dep again
nchappe
committed
1d62024
feat: Interpret the LLVM dialect into a CTree
nchappe
committed
fc83b53

Commits on Sep 4, 2026

Merge nchappe/veir-ctree-interp into arquintl/io-ctree-interp
ArquintL
committed
d2d3023
extends interpreter to handle IO dialect
ArquintL
committed
dd51593
adds roundtrip tests
ArquintL
committed
0d0dd3d
fixes compiler errors
ArquintL
committed
a272243
Update return value to use BitVec for status

ArquintL
and
Copilot
committed
e299162
Refactor length conversion and validation logic

ArquintL
and
Copilot
committed
3ec9c31
adds more testcases
ArquintL
committed
aeadeb7
extends CTree to IO effects
ArquintL
committed
f5986ba
sets up prerequisites
ArquintL
committed
a30c704
turns IO interpreter into a CTree-based interpreter
ArquintL
committed
1a71b5b
removes entropy source from the interpreter
ArquintL
committed
52f2395
adapts IO events on CTree to contain 'Message'
ArquintL
committed
c678eac
removes network state from the interpreter's state
ArquintL
committed
579f0cd