GitHub - hs256/NFSE: Symbolic Execution Engine for NFD language

INSTALLATION:

Name		Name	Last commit message	Last commit date
Latest commit History 90 Commits
models		models
parser		parser
plots		plots
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
README.md		README.md
a.out		a.out
constraint.cpp		constraint.cpp
constraint.h		constraint.h
cttable.cpp		cttable.cpp
cttable.h		cttable.h
entry.h		entry.h
instructions.cpp		instructions.cpp
instructions.h		instructions.h
main.cpp		main.cpp
pkt.h		pkt.h
symbol.cpp		symbol.cpp
symbol.h		symbol.h
symboltable.cpp		symboltable.cpp
symboltable.h		symboltable.h
test		test
test.cpp		test.cpp
test.o		test.o
trace.cpp		trace.cpp
trace.h		trace.h

Provide feedback