llvm / eudsl
Embedded Universal DSL: a good DSL for us, by us
☆13Updated this week
Related projects ⓘ
Alternatives and complementary repositories for eudsl
- Easy SMT solver interaction☆24Updated last month
- Verified, Incremental, Binary Editing with Synthesis☆51Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 3 months ago
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- ☆24Updated 5 months ago
- A Brainfuck interpreter embedded inside DWARF debug information☆36Updated 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…☆41Updated this week
- Modeling futexes in TLA+☆21Updated last month
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated last year
- Wasm Analysis Framework For Lightweight Experiments☆34Updated 2 months ago
- An awesome list of e-graph resources☆106Updated last week
- UB-aware interpreter for LLVM debugging☆17Updated this week
- Simple grammar-based test case generator☆30Updated 6 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆57Updated 3 weeks ago
- Some experiments with SMT solvers and GIMPLE IR☆68Updated this week
- benchmarking e-graph extraction☆36Updated 2 weeks ago
- Symbolic execution tool for Sail ISA specifications☆62Updated last month
- CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.☆16Updated 5 months ago
- A enumerator for MLIR, relying on the information given by IRDL.☆17Updated 2 months ago
- Solving floating point SMT constraints on a GPU☆48Updated 3 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆67Updated this week
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆71Updated last month
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Updated last month
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 10 months ago
- program analysis for machine code☆33Updated 3 years ago
- VSCode extension for the LLVM IR language☆59Updated 5 months ago
- Sled System Emulator☆28Updated last week
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆27Updated 4 months ago
- HDL development environment on Nix.☆24Updated last month