Basic workloads of gradient-based symbolic execution. More...
#include "compiler.h"
Include dependency graph for pipeline.h:
Go to the source code of this file.
Namespaces | |
| gymbo | |
Functions | |
| std::pair< std::unordered_map< std::string, int >, Prog > | gymbo::gcompile (char *user_input) |
| Compiles user input into a program, returning variable counts and the compiled program. More... | |
Detailed Description
Basic workloads of gradient-based symbolic execution.
