securesystemslab / LLVM-MCA-DaemonLinks
☆21Updated 7 months ago
Alternatives and similar repositories for LLVM-MCA-Daemon
Users that are interested in LLVM-MCA-Daemon are comparing it to the libraries listed below
Sorting:
- Embedded Universal DSL: a good DSL for us, by us☆54Updated this week
 - Some experiments with SMT solvers and GIMPLE IR☆77Updated last week
 - C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
 - UB-aware interpreter for LLVM debugging☆31Updated 3 weeks ago
 - GCC plugin for C language that tracks references to allocated objects☆29Updated 5 months ago
 - Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 7 months ago
 - Some experiments with SMT solvers and GIMPLE IR☆39Updated 2 years ago
 - A header-only C++ library for writing compiler/interpreter frontends.☆15Updated 2 months ago
 - llvm opt fuzzer and bounded exhaustive test generator☆40Updated 3 years ago
 - A System for Differential Debugging☆20Updated 6 months ago
 - Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 11 months ago
 - ☆24Updated 10 months ago
 - Markup source code showing optimizations☆36Updated 5 years ago
 - A utility library to bridge llvm and mlir gaps.☆13Updated 9 months ago
 - ☆14Updated last year
 - A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆81Updated last week
 - MimIR is my Intermediate Representation☆80Updated this week
 - A minimal (really) out-of-tree MLIR example☆45Updated 2 months ago
 - Fork of LLVM adding CHERI support☆59Updated last week
 - Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated 3 months ago
 - Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆22Updated 2 years ago
 - Zig Optimizing Backend☆21Updated 4 months ago
 - A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆48Updated 7 months ago
 - Wyrm is a GCC GIMPLE to LLVM IR transpiler☆56Updated last year
 - A Clang-based C++ Interoperability Library☆84Updated last week
 - CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.☆17Updated last year
 - Stabilizer: Rigorous Performance Evaluation☆26Updated 2 years ago
 - Instruction decoder microbenchmark suite☆11Updated 8 years ago
 - CLang Plugin for calculating AST hashes☆15Updated 6 years ago
 - ☆71Updated this week