Organizations

Pinned Loading

1. A superoptimizer for LLVM IR

   C++ 2.4k 186

2. C-Reduce, a C and C++ program reducer

   C++ 1.6k 139

3. Csmith, a random generator of C programs

   C++ 1.2k 168

4. llvm opt fuzzer and bounded exhaustive test generator

   C++ 47 4

5. Automatic verification of LLVM optimizations

   C++ 1.1k 135

6. heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape

   C++ 14 4