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☆40Updated 2 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- SJS is a static ahead of time compiler for a subset of JavaScript☆46Updated 2 years ago
- s-expression → internal IR → LLVM IR☆46Updated 9 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 8 years ago
- A small DFA for under 16 states☆51Updated 7 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 2 weeks ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆36Updated 6 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- A generic Priority Queue implementation in C using heaps - nothing fancy.☆12Updated 7 years ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- Yet Another Efficient Unification Algorithm☆27Updated 11 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- An example mark-and-sweep garbage collector in 50 lines of C++☆54Updated 8 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Updated last week
- A port of the GNU Multiple-Precision Library (GMP), a library for arbitrary precision arithmetic, to JavaScript using Emscripten☆45Updated 12 years ago
- Proposal for adding funclets - flexible intraprocedural control flow☆19Updated 3 years ago
- implement a full compiler based on c++ 11☆22Updated 8 years ago
- Garbage collected concurrent hash tries.☆19Updated 8 years ago
- Distributed persistent programming language with secure information flow types☆29Updated 5 months ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆15Updated last week
- EBNF grammar of LLVM IR assembly.☆66Updated 2 years ago
- ☆15Updated 8 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- A demo of concurrency primitives in x64 assembly☆18Updated 3 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 7 years ago
- ☆14Updated 7 years ago