BMC Automaton - #281

Merged

Nikil-Shyamsunder merged 20 commits into

mainfrom

Jul 30, 2026

Commits on Jul 30, 2026

simple bounded lowering
Nikil-Shyamsunder
committed
f7dcc11
more debugging correctness
Nikil-Shyamsunder
committed
9374f84
refne graft point finding to reachable nodes
Nikil-Shyamsunder
committed
a7b7143
garbage collection
Nikil-Shyamsunder
committed
b8b8162
make a bunch of passes start node local and handle per-protocol lowering and copying
Nikil-Shyamsunder
committed
60b140e
work on better merging from a stable version
Nikil-Shyamsunder
committed
ef39f3c
value coalescing in assignemnts
Nikil-Shyamsunder
committed
577a7a1
fix value coalescing to only be contiguous
Nikil-Shyamsunder
committed
f8eb8f4
simpler edge contraction
Nikil-Shyamsunder
committed
a6db65f
i forget what i did
Nikil-Shyamsunder
committed
beec24d
batch disjoint merge
Nikil-Shyamsunder
committed
ccf9010
smarter determinization
Nikil-Shyamsunder
committed
ccb972c
runt configuration changes
Nikil-Shyamsunder
committed
2297ab1
lower to transition system
Nikil-Shyamsunder
committed
8ee315a
simplify ITEs in the transition systme
Nikil-Shyamsunder
committed
d976a95
handle snapshot tests
Nikil-Shyamsunder
committed
eb09569
an example wishbone trace
Nikil-Shyamsunder
committed
0ae064e
add dontcare outputs to graph-interp
Nikil-Shyamsunder
committed
ec61936
resolve errors caused by rebasing
Nikil-Shyamsunder
committed
f31402c
fmt
Nikil-Shyamsunder
committed
444ad75