llvm / llvm-lnt
☆29Updated 2 months ago
Alternatives and similar repositories for llvm-lnt:
Users that are interested in llvm-lnt are comparing it to the libraries listed below
- ☆77Updated this week
- ☆172Updated this week
- CI system for premerge-testing in LLVM project☆41Updated 4 months ago
- ☆56Updated last week
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- LLVM-based type and memory allocation tracking sanitizer☆53Updated this week
- RV: A Unified Region Vectorizer for LLVM☆107Updated last month
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- ☆54Updated 9 months ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆39Updated this week
- CERE: Codelet Extractor and REplayer☆40Updated last year
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- ☆31Updated last week
- Automatically exported from code.google.com/p/mao☆11Updated 4 years ago
- Fine-grained frequency and voltage transition tests☆19Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆31Updated last year
- ☆12Updated 4 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 10 years ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated 8 months ago
- CHERI C/C++ Programming Guide☆31Updated this week
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 2 years ago
- Mirror of official llvm git repository located at http://llvm.org/git/lnt. Updated every five minutes.☆12Updated 4 years ago
- Verification of BPF JIT compilers☆54Updated last year
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 9 years ago
- Assembly super-optimization via constraint solving☆181Updated last week
- LLVM Dialects Library☆22Updated this week
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆39Updated 2 years ago
- An LLVM IR dataset for data-driven compiler optimization research☆33Updated this week