Gymbo

File List
Here is a list of all files with brief descriptions:
[detail level 12]

▼ libgymbo |
compiler.h | Implementation of compiler
gd.h | Implementation of gradient descent optimizer
main.h | Main Header
parser.h | Implementation of parser
pipeline.h | Basic workloads of gradient-based symbolic execution
psymbolic.h | Implementation of symbolic execution for randomized programs
sat.h | Implementation of SAT solver
smt.h | Core implementation of gradient-based smt solver
symbolic.h | Core implementation of gradient-based symbolic execution
tokenizer.h | Implementation of tokenizer
type.h | Implementatations of basic alias, types, and classes
utils.h | Utility funcitons and classes