symbolic icon indicating copy to clipboard operation
symbolic copied to clipboard

verified publisher icon beala
→

Metadata

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

← Metadata

48
Stars
6
Forks
Watchers

Owner

verified publisher icon beala

Metadata

Symbolic execution engine for toy language.

Back