llvm-mirror / klee
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
- 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☆25Updated 5 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆20Updated 5 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 6 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- DSL for stencils and image processing☆13Updated 8 years ago
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆68Updated 9 years ago
- Jekyll site for C++Now!☆9Updated 7 years ago
- Realtime call tree for C++☆39Updated 10 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 9 years ago
- *Unofficial* mirror of https://bitbucket.org/MDukhan/yeppp☆38Updated 8 years ago
- Vectorized intersections (research code)☆15Updated 8 years ago
- Prana is a library providing a generic AST data structure called utree☆25Updated 13 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- Bullet physics library ported to JavaScript with Cheerp☆23Updated 9 years ago
- This repo is now stale; all changes have been integrated into upstream LLVM. (Was: A proof of concept implementation of proposed support…☆27Updated 10 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 5 years ago
- CCS in C++☆25Updated last year
- Library to program with streams, events, and to queue own functions into a stream.☆16Updated 9 months ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆65Updated 5 years ago
- A library for high-performance lightweight threads☆20Updated 13 years ago
- Infomation about C++ Coroutines TS v1 software and content☆9Updated 6 years ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- Boost.org integer module☆16Updated 2 weeks ago
- Boost.org property_map module☆14Updated 2 weeks ago
- Automatically exported from code.google.com/p/freeocl☆30Updated 7 years ago
- Design space for LLVM/Clang work☆45Updated 12 years ago
- Official compiler for the Nany Programming Language {read-only mirror from gitlab}☆12Updated 6 years ago