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.
Developer Profile
campino
Discovered public repositories for campino in the GitHub catalog.
campino/cc_backup
cc backup
campino/LTTng_java
This is an jvm agent that generates LTTng events from MethodExit and MethodEntry jvm events.
campino/maven-native
clone of the maven-native project
campino/jenkins
Jenkins Continuous Integration Server
campino/php-src
The PHP Interpreter
campino/friendica
Friendica Communications Platform - MIT license