GitHub - lijiaying/klee-cl: A fork of KLEE-CL for my PhD work

Name		Name	Last commit message	Last commit date
Latest commit History 903 Commits
autoconf		autoconf
docs		docs
examples		examples
experiments		experiments
include		include
lib		lib
patches		patches
runtime		runtime
scripts		scripts
test		test
tools		tools
unittests		unittests
utils		utils
www		www
.gitignore		.gitignore
LICENSE.TXT		LICENSE.TXT
Makefile		Makefile
Makefile.common		Makefile.common
Makefile.config.in		Makefile.config.in
Makefile.rules		Makefile.rules
README.patches		README.patches
README.txt		README.txt
TODO.txt		TODO.txt
configure		configure

Repository files navigation

LLVM Patches
============

This version of KLEE may require patches to be applied to LLVM.  Please
see the patches/ directory.

A fork of KLEE-CL for my PhD work