staged concolic miniwasm#89

Open

butterunderflow wants to merge 152 commits intomainfrom

zdh/staged-symbolic-miniwasm

Commits on Jul 5, 2025

remove unused expressions
butterunderflow
committed

Commits on Jul 7, 2025

Commits on Jul 9, 2025

Commits on Jul 13, 2025

Commits on Jul 14, 2025

put symbolic expression on the SymStack
butterunderflow
committed

Commits on Jul 16, 2025

Commits on Jul 17, 2025

concolic driver
butterunderflow
committed

Commits on Jul 18, 2025

fix: add an unreachable node & use GENSYM_ASSERT
butterunderflow
committed

Commits on Jul 19, 2025

Commits on Aug 27, 2025

Commits on Aug 29, 2025

Commits on Aug 30, 2025

Commits on Aug 31, 2025

snapshot reuse via continuation
butterunderflow
committed

Commits on Sep 1, 2025

remove debug printings
butterunderflow
committed

Commits on Sep 4, 2025

Commits on Sep 7, 2025

support numeric globals
butterunderflow
committed

Commits on Sep 9, 2025

Explicitly classify the next stage computation and its type
butterunderflow
committed

Commits on Sep 10, 2025

correct behavior for global
ahuoguo
committed

Commits on Sep 23, 2025

make log function returning std::monostate/Unit type
butterunderflow
committed

Commits on Sep 24, 2025

Commits on Sep 29, 2025

make btree example work with concolic execution
butterunderflow
committed

Commits on Oct 3, 2025

preallocate pages for the memory
butterunderflow
committed

Commits on Oct 4, 2025

remove some unperformant code
butterunderflow
committed

Commits on Oct 6, 2025

accelerate test by using O0 optimization
butterunderflow
committed

Commits on Oct 7, 2025

Commits on Oct 11, 2025

Commits on Oct 18, 2025

Commits on Oct 29, 2025

Commits on Oct 30, 2025

Commits on Oct 31, 2025

nontermination (if loop termination depends on symbolic value, it will explode the user's stack instead, now it gets out of bounds for the concrete stack in c++)
ahuoguo
committed

Commits on Nov 3, 2025

Commits on Nov 4, 2025

never build an expression twice
butterunderflow
committed

Commits on Nov 6, 2025

update sym_assert and timer
butterunderflow
committed

Commits on Nov 7, 2025

Commits on Nov 8, 2025

Commits on Nov 10, 2025

Commits on Nov 11, 2025

Commits on Nov 12, 2025

Commits on Nov 13, 2025

Commits on Nov 24, 2025

lots cleanup
butterunderflow
committed

Commits on Nov 30, 2025

Commits on Dec 6, 2025

Commits on Dec 9, 2025

save current symbolic environment in snapshot
butterunderflow
committed

Commits on Dec 12, 2025

Commits on Dec 13, 2025

Commits on Dec 17, 2025

Commits on Dec 18, 2025

Commits on Dec 19, 2025

tweak
butterunderflow
committed

Commits on Dec 20, 2025

extract node picking logic from the driver
butterunderflow
committed

Commits on Dec 21, 2025