falk-hueffner / sematrope
Superoptimizer using the z3 SMT solver
☆17Updated 4 years ago
Alternatives and similar repositories for sematrope:
Users that are interested in sematrope are comparing it to the libraries listed below
- A tool for testing C compilers automatically☆21Updated 9 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- ☆17Updated 4 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 6 years ago
- ☆13Updated 6 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 3 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 3 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- The Cubicle model checker☆13Updated last year
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- ☆19Updated 8 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated 10 months ago
- Miscellaneous macros useful for writing x86 asm in nasm or yasm☆7Updated 4 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated last month
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- AVX-512 utilities☆20Updated 10 years ago
- Operations with matrices, SWI pack☆13Updated last year
- An interactive development environment for SMT-LIB files and Z3☆24Updated 2 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 2 weeks ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago
- SOM - Simple Object Machine☆23Updated last month
- Automatically exported from code.google.com/p/anic☆6Updated 10 years ago