securesystemslab / LLVM-MCA-DaemonLinks
☆15Updated 2 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:
- A utility library to bridge llvm and mlir gaps.☆13Updated 4 months ago
- UB-aware interpreter for LLVM debugging☆28Updated last week
- Example implementation of Arm's Architecture Specification Language (ASL)☆117Updated 5 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Fork of LLVM adding CHERI support☆52Updated this week
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 9 months ago
- Verified, Incremental, Binary Editing with Synthesis☆53Updated 2 years ago
- Embedded Universal DSL: a good DSL for us, by us☆37Updated this week
- Example implementation of Arm's Architecture Specification Language (ASL)☆40Updated 3 weeks ago
- Sled System Emulator☆28Updated last month
- Fork of LLVM for demonstrating optimization pass development☆30Updated 2 years ago
- XML representation of the x86 instruction set☆28Updated 2 weeks ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆80Updated this week
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 5 months ago
- Safely privileged daemon to let userspace wait on global barriers with low, constant overhead☆17Updated 5 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Automatically generate a compiler using equality saturation☆29Updated last year
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 2 months ago
- Some experiments with SMT solvers and GIMPLE IR☆74Updated last week
- Performance Counter Measurements at the cycle granularity☆18Updated 3 years ago
- A minimal (really) out-of-tree MLIR example☆44Updated 2 weeks ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆25Updated last month
- A System for Differential Debugging☆19Updated last month
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆30Updated 5 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- Modeling futexes in TLA+☆20Updated 7 months ago
- llvm crash analysis☆43Updated 11 months ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆54Updated 3 years ago