Gymbo

Namespaces | Functions
pipeline.h File Reference

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.

Author
  Hideaki Takahashi