WilfredTA/symbolic-stack-machines

Library for building symbolically executable stack-based virtual machines

Rust