embecosm / gnu-superopt
The GNU Superoptimizer
☆26Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for gnu-superopt
- GNU Superoptimizer Version 2☆25Updated 3 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆14Updated 5 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆18Updated 10 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 6 years ago
- An x86-64 instruction decoder.☆16Updated 8 months ago
- Lower Size Bounds for Sorting Networks☆43Updated 3 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆33Updated 7 years ago
- A Tree Parser Generator☆92Updated last month
- Self-hosting C toolchain, from scratch☆14Updated 2 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Tetris in a small virtual machine (11 lines of C)☆21Updated 3 weeks ago
- Futspace is a voxel based graphics engine implemented in Futhark☆8Updated 4 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆25Updated 10 years ago
- Turn an interpreter into a code generator☆29Updated 9 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- A program for automatically resolving #ifdef statements in C code.☆34Updated 2 weeks ago
- The BERI and CHERI processor and hardware platform☆46Updated 7 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 3 years ago
- PIOS: Parallel Instructional Operating System - Instructional Template Code☆37Updated 12 years ago
- Portable C Compiler☆12Updated 12 years ago
- AVX-512 utilities☆18Updated 10 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated last month
- A proof assistant.☆12Updated 8 years ago