Some experiments with SMT solvers and GIMPLE IR
☆44Sep 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:
- Some experiments with SMT solvers and GIMPLE IR☆81Updated this week
- Instruction-less computation☆19Dec 7, 2023Updated 2 years ago
- Allocator Suite which contains various allocators for workload-specific allocation.☆17Apr 29, 2021Updated 5 years ago
- An demonic library to write PE binaries☆11Feb 12, 2024Updated 2 years ago
- FAINT - FAult INjection Tester☆16Aug 14, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A tool for testing C compilers automatically☆23Jan 24, 2016Updated 10 years ago
- GCC plugin that embeds CPython inside the compiler☆211Dec 31, 2021Updated 4 years ago
- Malloc failure testing☆43Aug 25, 2026Updated last month
- OSX interface for the HFSUtils tools☆12Aug 28, 2013Updated 13 years ago
- afl-pytmin is a wrapper of afl-tmin, test case minimizer for American Fuzzy Lop (afl).☆13Apr 14, 2017Updated 9 years ago
- Markup source code showing optimizations☆36Jan 21, 2020Updated 6 years ago
- ☆16Mar 17, 2026Updated 6 months ago
- CSiBE☆34Feb 17, 2022Updated 4 years ago
- Formally verified implementation of Alive in Lean☆44Jul 14, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Automatic verification of LLVM optimizations☆1,175Updated this week
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆26May 31, 2023Updated 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆82Updated this week
- 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 last year
- A Valgrind tool for finding redundant loads/stores☆21Feb 3, 2020Updated 6 years ago
- ☆14Sep 20, 2026Updated last week
- Anticipating Invariant☆12Mar 14, 2014Updated 12 years ago
- Utilities and eXtensionS (UXS) library is a collection of useful (template) classes and functions developed upon standard C++ library☆13Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆13Apr 4, 2024Updated 2 years ago
- Super-parallel Python port of the C-Reduce☆349Sep 7, 2026Updated 3 weeks ago
- C library plusifier☆11Nov 13, 2021Updated 4 years ago
- How To Retarget the GNU Toolchain in 21 Patches☆88Jan 8, 2015Updated 11 years ago
- Example of CRUSH compression with optimal parsing using BriefLZ algorithms☆16Nov 1, 2023Updated 2 years ago
- Tool for locating internal symbols unnecessarily exported from shared libraries.☆44Feb 15, 2026Updated 7 months ago
- Rust port of C++ llvm::APFloat library☆23Sep 20, 2026Updated last week
- Tool for generating regression tests☆16Mar 24, 2023Updated 3 years ago
- Backported standard Rust library to older compilers.☆23Oct 7, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 5 years ago
- The Electric Eel Wheel 5 is an electric spinning wheel that converts fiber (an example being sheep's wool) into yarn. This site contains…☆13May 30, 2019Updated 7 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆56Jan 25, 2025Updated last year
- A GCC plugin to insert pytest-like assert introspections☆19Jun 6, 2020Updated 6 years ago
- Arbitrary precision integers library.☆28Mar 25, 2021Updated 5 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 3 years ago