GitHub - campino/llvm-2.9: KLEE (http://klee.github.io/klee/) needs LLVM-2.9, but it does not compile, due to a missing include. I added this include.

campino / llvm-2.9 Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

KLEE (http://klee.github.io/klee/) needs LLVM-2.9, but it does not compile, due to a missing include. I added this include.

View license

0 stars 1 fork Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
autoconf		autoconf
bindings		bindings
cmake		cmake
docs		docs
examples		examples
include		include
lib		lib
projects		projects
runtime		runtime
test		test
tools		tools
unittests		unittests
utils		utils
website		website
CMakeLists.txt		CMakeLists.txt
CREDITS.TXT		CREDITS.TXT
LICENSE.TXT		LICENSE.TXT
Makefile		Makefile
Makefile.common		Makefile.common
Makefile.config.in		Makefile.config.in
Makefile.rules		Makefile.rules
ModuleInfo.txt		ModuleInfo.txt
README.txt		README.txt
build-for-llvm-top.sh		build-for-llvm-top.sh
configure		configure
llvm.spec.in		llvm.spec.in

Repository files navigation

Low Level Virtual Machine (LLVM)
================================

This directory and its subdirectories contain source code for the Low Level
Virtual Machine, a toolkit for the construction of highly optimized compilers,
optimizers, and runtime environments.

LLVM is open source software. You may freely distribute it under the terms of
the license agreement found in LICENSE.txt.

Please see the HTML documentation provided in docs/index.html for further
assistance with LLVM.

If you're writing a package for LLVM, see docs/Packaging.html for our
suggestions.