beala / symbolic

Symbolic execution engine for toy language.

symbolic

This is a symbolic execution engine for a toy stack language written as a companion to my blog post Symbolic Execution: Intuition and Implementation.

It can be built and run with stack:

stack build
stack exec symbolic