symbolic-stack-machines
symbolic-stack-machines copied to clipboard
WilfredTA
Library for building symbolically executable stack-based virtual machines
Results
8
symbolic-stack-machines issues
Sort by
recently updated
recently updated
newest added
In a previous version of symbolic-stack-machines (SSM), each modular component (memory, stack, etc) were all generic over Instruction. The idea was to use Rust's type system to configure the machine's...
enhancement
help wanted