Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.
☆14Mar 14, 2019Updated 7 years ago
Alternatives and similar repositories for clairvoyance
Users that are interested in clairvoyance are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jan 14, 2022Updated 4 years ago
- Interactive Control Flow Graph Visualization.☆34Sep 27, 2021Updated 4 years ago
- Verified, Incremental, Binary Editing with Synthesis☆55Mar 7, 2023Updated 3 years ago
- Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial☆19Apr 26, 2015Updated 10 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆38Jul 6, 2017Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Nov 7, 2015Updated 10 years ago
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆26Mar 12, 2026Updated last week
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated 6 months ago
- a library to implement generalised petri nets in C#☆23May 30, 2016Updated 9 years ago
- ☆13Feb 13, 2021Updated 5 years ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆76Updated this week
- A template for wrapping any Java builder (eg., Maven Takari builder) and bring it into Bazel.☆10May 1, 2025Updated 10 months ago
- Binomial model☆12Aug 28, 2019Updated 6 years ago
- ☆12May 20, 2021Updated 4 years ago
- A standalone parser for BSV (Bluespec SystemVerilog) written in Go☆14Dec 20, 2016Updated 9 years ago
- Programming Judge☆12Apr 24, 2024Updated last year
- Collaborative Execution Strategies for Heterogeneous CPU-FPGA Architectures☆11Apr 23, 2019Updated 6 years ago
- Adobe's C++ Performance Benchmarks for modern compilers (and build systems)☆12Aug 3, 2019Updated 6 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆28Aug 29, 2020Updated 5 years ago
- ☆21May 8, 2015Updated 10 years ago
- Interprocedural Basic Block Code Layout Optimization☆18Jan 17, 2019Updated 7 years ago
- Library containing utilities for working with file systems used in Atlus games☆14Jul 9, 2020Updated 5 years ago
- JTAG DPI module for OpenRISC simulation with Verilator☆18Oct 27, 2012Updated 13 years ago
- Simple C++ plagiarism detection☆17Dec 22, 2020Updated 5 years ago
- Github action to execute kube-score with selected manifests (YAML, Helm or Kustomize)☆11May 23, 2024Updated last year
- ☆91Jun 30, 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…☆32Apr 30, 2024Updated last year
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆18Jul 17, 2016Updated 9 years ago
- ☆13Mar 7, 2022Updated 4 years ago
- Bazel rule for generating jOOQ classes from a set of Flyway migrations as part of a Bazel build☆11Mar 1, 2026Updated 3 weeks ago
- Simple program, that prints out in the console details of some go object file☆22Jan 21, 2015Updated 11 years ago
- Terminology; Idioms - Concepts - Interesting Things☆12Dec 27, 2021Updated 4 years ago
- ☆11Apr 21, 2017Updated 8 years ago
- Library for generating ABI-compliant LLVM IR☆64Dec 15, 2019Updated 6 years ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆23Dec 5, 2025Updated 3 months ago
- for science☆10Feb 6, 2020Updated 6 years ago
- Automatically exported from code.google.com/p/python-ctags☆17Sep 18, 2018Updated 7 years ago
- Attempting to decode the mysterious /r/A858DE45F56D9BC9 subreddit data☆11Jun 11, 2015Updated 10 years ago
- Modeling and Programming with Gecode☆50Feb 18, 2026Updated last month