Some experiments with SMT solvers and GIMPLE IR
☆43Sep 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SSA vs ANF☆48Jul 20, 2015Updated 10 years ago
- Local-affinity first NUMA-aware allocator with optional fallback.☆29Apr 29, 2021Updated 5 years ago
- ☆38Jun 12, 2023Updated 2 years ago
- Trace visualisation tool for Eio programs☆16Sep 5, 2025Updated 8 months ago
- A tool for testing C compilers automatically☆23Jan 24, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An demonic library to write PE binaries☆11Feb 12, 2024Updated 2 years ago
- An unofficial guide to contributing to GCC, aimed at newbies☆128Oct 3, 2024Updated last year
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 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 10 months ago
- CSiBE☆34Feb 17, 2022Updated 4 years ago
- Markup source code showing optimizations☆36Jan 21, 2020Updated 6 years ago
- Match compilation algorithm in OCaml☆37Feb 24, 2025Updated last year
- Automatic verification of LLVM optimizations☆1,107Apr 27, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆13Apr 4, 2024Updated 2 years ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆79Updated this week
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- Rust port of C++ llvm::APFloat library☆21Apr 14, 2026Updated last month
- C++ container graph visualization for lldb.☆23Aug 23, 2019Updated 6 years ago
- ☆23Apr 17, 2023Updated 3 years ago
- Onsite Analysis Infrastructure☆16Jun 23, 2020Updated 5 years ago
- Check various boost headers impact on the compilation time☆13Jul 11, 2021Updated 4 years ago
- bison-like Parser generator & Compiler frontend framework that generate optimised IELR(1)/LALR(1) tables with Deterministic LR and Non-De…☆26Apr 25, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Super-parallel Python port of the C-Reduce☆330Apr 18, 2026Updated last month
- C library plusifier☆11Nov 13, 2021Updated 4 years ago
- Memstop monitors available memory and waits until a configurable percentage of memory becomes available before allowing a program to star…☆103Jul 4, 2025Updated 10 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆56May 26, 2025Updated last year
- ☆11Apr 15, 2018Updated 8 years ago
- How To Retarget the GNU Toolchain in 21 Patches☆87Jan 8, 2015Updated 11 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
- strace2seccomp - generates libseccomp policies from strace logs☆10Feb 19, 2020Updated 6 years ago
- EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.☆18Jul 18, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Execute KDL files!☆28Jul 12, 2024Updated last year
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- Translate C++/Rust type into C type with the same memory layout☆17Nov 12, 2022Updated 3 years ago
- Yet Another Indent Finder, Almost...☆22Apr 10, 2020Updated 6 years ago
- Arbitrary precision integers library.☆27Mar 25, 2021Updated 5 years ago
- Symbolic execution tool for Sail ISA specifications☆89Feb 27, 2026Updated 2 months ago
- A GCC plugin to insert pytest-like assert introspections☆19Jun 6, 2020Updated 5 years ago