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.
Public GitHub Catalog
Discovered Sep 25, 2026
campino / jenkins
Jenkins Continuous Integration Server
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#4469577GitHub System ID
campinoOrganization / User
PublicVisibility
ActiveCatalog Status
More from campino
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