Implement exploration specification support in symbolic execution - #36

Open

0verflowme wants to merge 10 commits into

Commits on Mar 25, 2026

Implement exploration specification support in symbolic execution
0verflowme
committed

Commits on Mar 26, 2026

Enhance symbolic execution framework
0verflowme
committed

Commits on Mar 27, 2026

Commits on Mar 31, 2026

Enhance symbolic execution framework with new VM features
0verflowme
committed
Enhance symbolic execution framework with new features and improvements
0verflowme
committed

Commits on Apr 1, 2026

Enhance r2dec with new semantic structuring and linearization capabilities
0verflowme
committed

Commits on Apr 7, 2026

Refactor VM summary handling in r2dec
0verflowme
committed

Commits on Apr 23, 2026