sdasgup3 / partial-redundancy-eliminationLinks
Partial Redundancy Elimination Pass in LLVM
☆13Updated 6 years ago
Alternatives and similar repositories for partial-redundancy-elimination
Users that are interested in partial-redundancy-elimination are comparing it to the libraries listed below
Sorting:
- UB-aware interpreter for LLVM debugging☆29Updated last week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- A translation validation framework for MLIR☆86Updated 3 months ago
- ☆17Updated 2 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- ☆28Updated 2 months ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- benchmarking e-graph extraction☆44Updated last month
- ☆52Updated 9 years ago
- Embedded Universal DSL: a good DSL for us, by us☆38Updated this week
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆10Updated last year
- CCG is a random C Code Generator☆44Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Updated this week
- Visualization of LLVM IR☆59Updated 11 years ago
- The C4 Concurrent C Fuzzer☆14Updated last year
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆20Updated this week
- Staged Abstract Interpreters☆66Updated 2 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated 2 years ago
- Automatic Binary Parallelisation☆43Updated 3 months ago
- A benchmark for C program verification☆16Updated last year
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆29Updated 3 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 5 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated last week
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆43Updated 5 years ago