Some experiments with SMT solvers and GIMPLE IR
☆79Feb 27, 2026Updated last week
Alternatives and similar repositories for smtgcc
Users that are interested in smtgcc are comparing it to the libraries listed below
Sorting:
- Some experiments with SMT solvers and GIMPLE IR☆41Sep 29, 2023Updated 2 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆51Nov 16, 2025Updated 3 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆57Jan 21, 2024Updated 2 years ago
- SLOT: SMT-LLVM Optimizing Translation☆60Apr 17, 2025Updated 10 months ago
- gcc plugin to discover optimization passes used during compilation☆20Feb 10, 2021Updated 5 years ago
- ☆20May 30, 2024Updated last year
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- A small Finder clone for System 6. Just as a fun retro programming project.☆11Jul 19, 2022Updated 3 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 4 months ago
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 7 months ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆28Updated this week
- A tool for testing C compilers automatically☆22Jan 24, 2016Updated 10 years ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 10 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆109Updated this week
- X86 disassembler benchmark☆10Jun 11, 2021Updated 4 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- A helper library to implement the Gentoo Package Manager Specification☆10Oct 29, 2025Updated 4 months ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- Tons of Inductive Problems: The Benchmarks☆27Jul 5, 2023Updated 2 years ago
- A Low Barrier Proof Assistant☆154Feb 22, 2026Updated last week
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated 7 months ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Dec 29, 2024Updated last year
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆140Updated this week
- GCC plugin for C language that tracks references to allocated objects☆30May 12, 2025Updated 9 months ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- Experimental translation of llvm to smt.☆58Apr 8, 2020Updated 5 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- CaPI: Compiler-assisted Performance Instrumentation☆18Updated this week
- A System for Differential Debugging☆23Apr 10, 2025Updated 10 months ago
- A translation validation framework for MLIR☆94Mar 19, 2025Updated 11 months ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆174Feb 27, 2026Updated last week