libgymbo Directory Reference

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