symbolic_execution
A symbolic executor
* Now the operators really compute the hash if a known value is passed to the operator. On the other hand, if a symbol is passed, a symbol is returned.
Name | Last commit | Last update |
---|---|---|
symbolic_execution | ||
tests | ||
.gitignore | ||
LICENSE | ||
Makefile | ||
README.md |