lorin / futex-tla
Modeling futexes in TLA+
☆20Updated last month
Related projects ⓘ
Alternatives and complementary repositories for futex-tla
- Tracing JIT compiler and runtime for a subset of the JVM☆23Updated 10 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 9 months ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆66Updated this week
- A Brainfuck interpreter embedded inside DWARF debug information☆36Updated 5 months ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 3 weeks ago
- C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907☆25Updated last month
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆54Updated last week
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆23Updated 9 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 2 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆66Updated last week
- GCC plugin for C language that tracks references to allocated objects☆23Updated 5 months ago
- An educational implementation of a modern compressor in Rust☆46Updated last year
- C23 Checked Arithmetic☆88Updated last year
- Dynamic runtime inlining with LLVM☆65Updated 3 years ago
- A C11 compiler for the discrete logic computer☆20Updated 7 months ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆51Updated 9 months ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆31Updated this week
- Compact garbage-collected heap and JSON-like object model☆80Updated last year
- A collection of tools for building concurrent systems☆30Updated last year
- Simple grammar-based test case generator☆29Updated 6 months ago
- A portable self-bootstrapping C compiler☆49Updated 3 weeks ago
- Experimental DNS library implemented in zig☆57Updated 7 months ago
- Fast WebAssembly Baseline Compiler☆54Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆94Updated 3 months ago
- Wasm Analysis Framework For Lightweight Experiments☆35Updated 2 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated last year