Fork of LLVM with modifications to support a program repository
☆25Mar 28, 2022Updated 3 years ago
Alternatives and similar repositories for sn-llvm-project-prepo
Users that are interested in sn-llvm-project-prepo are comparing it to the libraries listed below
Sorting:
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 6 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Proof of Concept for Live Reverse Debugging in LLDB (see wiki)☆13Nov 18, 2025Updated 3 months ago
- CaPI: Compiler-assisted Performance Instrumentation☆18Mar 1, 2026Updated last week
- benchmarking positional population count☆17Oct 19, 2025Updated 4 months ago
- The Mickey Mouse of dynamic linkers☆16Nov 15, 2025Updated 3 months ago
- ☆17Apr 18, 2019Updated 6 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆53Jul 20, 2025Updated 7 months ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- An 'origin' command that continue to the origin of a piece of data in rr☆47Apr 4, 2018Updated 7 years ago
- Automatic regression verification for LLVM programs☆19Jul 16, 2021Updated 4 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆16May 27, 2022Updated 3 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆31Apr 30, 2024Updated last year
- Efficient Path Profiling using LLVM☆18Oct 25, 2017Updated 8 years ago
- ALLVM Tools☆57Mar 23, 2022Updated 3 years ago
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated 4 months ago
- ☆20Jan 20, 2022Updated 4 years ago
- A Virtual Machine Research Overview as a Graph☆25Dec 21, 2025Updated 2 months ago
- Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.☆23Feb 16, 2022Updated 4 years ago
- ☆25Oct 4, 2018Updated 7 years ago
- DMon Prototype for OSDI 2021 Artifact Evaluation☆24May 4, 2021Updated 4 years ago
- Visualize IonMonkey CFGs using GraphViz.☆51Dec 12, 2019Updated 6 years ago
- Formally verified implementation of Alive in Lean☆41Jul 14, 2023Updated 2 years ago
- Experimental translation of llvm to smt.☆58Apr 8, 2020Updated 5 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 years ago
- COBAYN: Compiler Autotuning Framework Using Bayesian Networks☆20May 9, 2022Updated 3 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 10 months ago
- Open Power Performance Analysis Tool☆29Sep 10, 2022Updated 3 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 5 months ago
- Timeless debugging with symbolic execution and processor trace☆75Jan 23, 2021Updated 5 years ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆33Feb 16, 2022Updated 4 years ago
- ☆32Dec 1, 2022Updated 3 years ago
- The WIP book for CPSC 411☆69Feb 23, 2026Updated last week
- HISTORICAL INTEREST ONLY: Post peer review AFIO v2 rewrite is now at https://github.com/ned14/boost.afio☆46Mar 20, 2016Updated 9 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- Generic Automatic Parallel Profiler☆35Oct 4, 2020Updated 5 years ago
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 8 years ago