julianjensen / dominatorsLinks
Various dominator tree algorithms
☆23Updated 5 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.☆22Updated 2 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Formal semantics of LLVM IR in K☆44Updated 10 years ago
- Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.☆9Updated 4 years ago
- Regionalized Value State Dependence Graph written in Rust☆10Updated 5 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 8 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- Javascript AST to CFG converter☆20Updated 9 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆33Updated 13 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- A cross platform JIT engine based on Eclipse OMR☆27Updated 5 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- JSON pipeline for a hypothetical compiler☆31Updated 9 years ago
- SJS is a static ahead of time compiler for a subset of JavaScript☆46Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆36Updated 6 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆11Updated 2 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Partial Redundancy Elimination Pass in LLVM☆13Updated 6 years ago
- The C4 Concurrent C Fuzzer☆14Updated last year
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 7 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated last week
- EBNF grammar of LLVM IR assembly.☆66Updated 2 years ago
- A small DFA for under 16 states☆51Updated 7 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- Java-like Language with Static Information Flow Types☆12Updated last month