Some experiments with SMT solvers and GIMPLE IR
☆41Sep 29, 2023Updated 2 years ago
Alternatives and similar repositories for pysmtgcc
Users that are interested in pysmtgcc are comparing it to the libraries listed below
Sorting:
- Some experiments with SMT solvers and GIMPLE IR☆79Feb 27, 2026Updated last week
- Local-affinity first NUMA-aware allocator with optional fallback.☆29Apr 29, 2021Updated 4 years ago
- An demonic library to write PE binaries☆11Feb 12, 2024Updated 2 years ago
- Instruction-less computation☆18Dec 7, 2023Updated 2 years ago
- ☆14Apr 4, 2024Updated last year
- 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
- Cycle-level, trace-driven, parallel GPU simulator for NVIDIA Pascal.☆15Dec 13, 2025Updated 2 months ago
- Rust port of C++ llvm::APFloat library☆20Dec 5, 2025Updated 3 months ago
- SSA vs ANF☆47Jul 20, 2015Updated 10 years ago
- A Valgrind tool for finding redundant loads/stores☆21Feb 3, 2020Updated 6 years ago
- C++ build system that uses C++ for build configuration.☆26Updated this week
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- Hello Embedded!☆23Feb 29, 2024Updated 2 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆23May 31, 2023Updated 2 years ago
- Backported standard Rust library to older compilers.☆23Oct 7, 2022Updated 3 years ago
- Execute KDL files!☆28Jul 12, 2024Updated last year
- ☆37Jun 12, 2023Updated 2 years ago
- Arbitrary precision integers library.☆27Mar 25, 2021Updated 4 years ago
- Formally verified implementation of Alive in Lean☆41Jul 14, 2023Updated 2 years ago
- C++ container graph visualization for lldb.☆23Aug 23, 2019Updated 6 years ago
- C++ library for incremental computing☆23Oct 8, 2022Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- My attempt at making GCC error logs more readable☆29Mar 4, 2024Updated 2 years ago
- Cross-platform OS features in C++☆27Dec 21, 2021Updated 4 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Pair your compilers up at The ABI Cafe!☆287Jun 15, 2025Updated 8 months ago
- ☆26Jul 3, 2023Updated 2 years ago
- Cerberus C semantics☆80Feb 16, 2026Updated 2 weeks ago
- Demonstration of LLVM's opt-viewer tool☆71Mar 4, 2017Updated 9 years ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆76Updated this week
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- Symbolic execution tool for Sail ISA specifications☆87Feb 27, 2026Updated last week
- Microsoft Visual C/C++ Mode for EMACS☆26Oct 15, 2022Updated 3 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Jul 4, 2017Updated 8 years ago
- ☆36Aug 8, 2024Updated last year
- Super-parallel Python port of the C-Reduce☆321Feb 27, 2026Updated last week
- ☆37Aug 21, 2025Updated 6 months ago
- Markup source code showing optimizations☆36Jan 21, 2020Updated 6 years ago
- An ambient noise detector☆10Aug 23, 2020Updated 5 years ago