lorin / futex-tlaLinks
Modeling futexes in TLA+
☆20Updated last year
Alternatives and similar repositories for futex-tla
Users that are interested in futex-tla are comparing it to the libraries listed below
Sorting:
- ☆24Updated last year
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆75Updated this week
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated 2 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆125Updated 3 weeks ago
- An educational implementation of a modern compressor in Rust☆48Updated 2 years ago
- Assembly super-optimization via constraint solving☆235Updated last week
- Compiler optimizer for arbitrary control flow based on equality saturation☆107Updated 3 years ago
- The Solid-State Register Allocator☆89Updated 3 years ago
- A Brainfuck interpreter embedded inside DWARF debug information☆40Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆103Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆79Updated this week
- libLISA: Instruction Discovery and Analysis on x86-64☆123Updated 11 months ago
- GCC plugin for C language that tracks references to allocated objects☆30Updated 8 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- bison-like Parser generator & Compiler frontend framework that generate optimised IELR(1)/LALR(1) tables with Deterministic LR and Non-De…☆23Updated 3 months ago
- Dynamic runtime inlining with LLVM☆67Updated 4 years 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…☆97Updated 2 months ago
- The Xr0 Verifier for C☆207Updated 9 months ago
- C23 Checked Arithmetic☆155Updated 6 months ago
- ☆58Updated 6 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆82Updated 2 years ago
- a tool for reinterpreting ELF executables and shared libraries☆345Updated last year
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆82Updated this week
- An experimental optimizing compiler for Bril using egglog☆83Updated last week
- Easy SMT solver interaction☆34Updated 6 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…☆62Updated last month
- Simple RISC-V emulator presented at Rust Nation 2023☆67Updated 2 years ago
- SIMD base64 codecs☆88Updated last year
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆321Updated 4 years ago
- Fast WebAssembly Baseline Compiler☆61Updated 2 years ago