Alternatives and similar repositories for CLSmith:

Users that are interested in CLSmith are comparing it to the libraries listed below

• mc-imperial / gpuverify
  GPUVerify: a Verifier for GPU Kernels
  ☆59Updated 2 years ago
• yixin-09 / AutoRNP
  AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries
  ☆11Updated 6 years ago
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆137Updated 4 years ago
• gongbell / CUDAsmith
  A CUDA compiler fuzzer
  ☆24Updated last year
• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆94Updated 5 years ago
• insieme / insieme
  The Insieme Compiler and Runtime Infrastructure
  ☆33Updated 5 years ago
• benchmark-subsetting / cere
  CERE: Codelet Extractor and REplayer
  ☆40Updated last year
• quarkslab / llvm-dev-meeting-tutorial-2015
  Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015
  ☆48Updated 7 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆28Updated 5 years ago
• agra-uni-bremen / metaSMT
  ☆51Updated 8 years ago
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆71Updated 3 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• LLNL / dataracebench
  Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
  ☆68Updated last year
• IITH-Compilers / LLVM-Loop-Profiler
  ☆15Updated 5 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆30Updated 9 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• sderek / CUDAAdvisor
  CUDAAdvisor: a GPU profiling tool
  ☆48Updated 6 years ago
• DependableSystemsLab / LLFI
  LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…
  ☆69Updated 2 years ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆19Updated 7 years ago
• ChrisCummins / paper-synthesizing-benchmarks
  📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
  ☆22Updated last year
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• DeadCodeProductions / dead
  ☆50Updated last year
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆32Updated 3 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆65Updated 9 years ago
• boegel / MICA
  a Pin tool for collecting microarchitecture-independent workload characteristics
  ☆59Updated 11 months ago
• periscop / clan
  Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs
  ☆23Updated 2 years ago
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆21Updated 6 years ago