llvm-mirror / kleeLinks
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project 
☆17Updated 8 years ago
Alternatives and similar repositories for klee
Users that are interested in klee are comparing it to the libraries listed below
Sorting:
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 6 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆26Updated 6 years ago
- Realtime call tree for C++☆39Updated 11 years ago
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆70Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆65Updated 6 years ago
- A Java version of LLVM Core by Hao Liu☆22Updated 12 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- Vectorized intersections (research code)☆16Updated 8 years ago
- A detailed michroarchitectural x86 simulator☆62Updated 8 years ago
- C++ standard proposals☆16Updated 5 years ago
- ☆57Updated 6 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- Bullet physics library ported to JavaScript with Cheerp☆23Updated 9 years ago
- An LLVM IR Editor plugin for Eclipse☆52Updated 11 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Updated 10 years ago
- GLSL to bytecode compiler and VM☆10Updated 9 years ago
- Composable Data and Type Generators for C++☆10Updated 6 years ago
- clone from myJIT(a fork of GNU lightning)☆10Updated 10 years ago
- XOCFE is an concise, clearly, C compiler frontend, it is easy to understand and modify. XOCFE's input is pure C, output is an AST tree.☆55Updated last month
- Legacy repo, migrated to cheerp-compiler monorepo☆31Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆88Updated 6 years ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 6 years ago
- NetBSD cdb (constant database) library☆14Updated 6 years ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Updated 7 years ago
- Implementation of Alexander A. Stepanov inverted Index Compression algorithms☆21Updated 9 years ago
- Lock-free multithreaded memory allocation☆108Updated 8 years ago
- Effcee is a C++ library for stateful pattern matching of strings, inspired by LLVM's FileCheck☆102Updated 2 months ago
- Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…☆97Updated 2 years ago