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 compiler and mutation testing framework for the programming language Pascal-86☆18Updated 10 years ago
- Turn an interpreter into a code generator☆29Updated 9 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Liveness-driven random C code generator☆41Updated 4 months ago
- The Kent Retargetable occam Compiler☆42Updated 2 years ago
- The BERI and CHERI processor and hardware platform☆46Updated 7 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆25Updated 10 years ago
- An executable specification of the RISCV ISA in L3.☆41Updated 5 years ago
- Portable C Compiler (CVS mirror)☆11Updated 12 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- A program for automatically resolving #ifdef statements in C code.☆34Updated this week
- AST - Extractor for LLVM☆18Updated 3 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- K42 Kernel☆24Updated 12 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆11Updated 5 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆33Updated 6 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- An x86-64 instruction decoder.☆15Updated 7 months ago
- Moxie-compatible core repository☆45Updated 10 months ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- ☆13Updated 3 years ago
- A revival of the TREE-META compiler-compiler.☆12Updated 6 years ago
- Parser for the llvm bitcode format☆60Updated 2 months ago