Add symbolic execution engine (Phases 0-14) with IR binding fixes#585

Merged

kumarak merged 47 commits into

mainfrom

feature/symbolic-execution

Apr 29, 2026

Commits on Apr 24, 2026

Add symbolic execution support with Python policy bindings and test suite

pgoodman
and
claude
committed
Deduplicate memory ops across policies and add AtomicExpr codegen

pgoodman
and
claude
committed
Add __builtin_clzs and __builtin_ctzs to bitwise intrinsic table

pgoodman
and
claude
committed
Show callee name in CALL instruction to_string format

pgoodman
and
claude
committed
Fix float value representation and narrowing in interpreter

pgoodman
and
claude
committed
Fix float memory ops, as_float32 width bug, and test oracles

pgoodman
and
claude
committed

Commits on Apr 27, 2026

Commits on Apr 28, 2026

Commits on Apr 29, 2026