julianjensen / dominators
Various dominator tree algorithms
☆22Updated 4 years ago
Alternatives and similar repositories for dominators
Users that are interested in dominators are comparing it to the libraries listed below
Sorting:
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated 2 months ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Some experiments with SMT solvers and GIMPLE IR☆37Updated last year
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- ☆22Updated 13 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- Hierarchical Delta Debugging Framework☆59Updated 4 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Research Compiler using Graph IR for Code Optimizations and Code Generations☆49Updated 6 years ago
- Distributed persistent programming language with secure information flow types☆29Updated 2 months ago
- ☆28Updated 5 years ago
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Updated 10 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated last month
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- Efficient Path Profiling using LLVM☆19Updated 7 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 9 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- An LLVM interpreter that aims to compute points-to sets dynamically☆31Updated 10 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆55Updated last week