Reuse symbolic states#90

Merged

butterunderflow merged 12 commits intozdh/staged-symbolic-miniwasmfrom

zdh/staged-symbolic-reuse

Aug 27, 2025

Commits on Jul 30, 2025

split symbolic and concrete stack at compile time
butterunderflow
committed

Commits on Aug 17, 2025

remember both start context & end context, and history between them
butterunderflow
committed

Commits on Aug 20, 2025

(WIP)split symbolic and concrete interpreter
butterunderflow
committed

Commits on Aug 21, 2025

Commits on Aug 22, 2025

a dedicated type for empty ContextTransition & remove unuseful parameter
butterunderflow
committed
return instruction is stack polymorphic
butterunderflow
committed
migrate test cases of StagedMiniwasm & fix If's impl
butterunderflow
committed

Commits on Aug 26, 2025