lorin / futex-tlaLinks
Modeling futexes in TLA+
☆20Updated 9 months ago
Alternatives and similar repositories for futex-tla
Users that are interested in futex-tla are comparing it to the libraries listed below
Sorting:
- ☆23Updated 7 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Assembly super-optimization via constraint solving☆210Updated last week
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆110Updated 11 months ago
- Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…☆83Updated this week
- An educational implementation of a modern compressor in Rust☆47Updated last year
- ☆69Updated this week
- A Brainfuck interpreter embedded inside DWARF debug information☆38Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated 11 months ago
- Some experiments with SMT solvers and GIMPLE IR☆75Updated this week
- The Solid-State Register Allocator☆87Updated 2 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 8 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- ☆29Updated 5 years ago
- Faster division by constants that aren't known at compile-time☆29Updated 3 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 4 months ago
- C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907☆28Updated 9 months ago
- Fast WebAssembly Baseline Compiler☆57Updated 2 years ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- C23 Checked Arithmetic☆138Updated this week
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆20Updated last week
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆55Updated last week
- Zig Optimizing Backend☆20Updated last month
- libLISA: Instruction Discovery and Analysis on x86-64☆115Updated 5 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆71Updated last month
- Rutgers APL correctly rounded math library☆31Updated 4 years ago
- Poireau: a sampling allocation debugger☆99Updated 3 years ago
- a tool for reinterpreting ELF executables and shared libraries☆329Updated 8 months ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year