embecosm / gnu-superoptLinks
The GNU Superoptimizer
☆27Updated 11 years ago
Alternatives and similar repositories for gnu-superopt
Users that are interested in gnu-superopt are comparing it to the libraries listed below
Sorting:
- Liveness-driven random C code generator☆42Updated 2 months ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- LLVM backend for OpenRISC 1000☆29Updated 7 years ago
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆34Updated 7 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- resurrected LLVM "C Backend", with improvements☆131Updated 5 years ago
- Binary tools: assembler, disassembler, linker, library manager, emulator☆62Updated 9 months ago
- A Tree Parser Generator☆101Updated last year
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- KnightOS C compiler☆25Updated 4 years ago
- ALLVM Tools☆56Updated 3 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆54Updated 8 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- A small λ-calculus interpreter in C☆57Updated 11 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 3 years ago
- Attribute grammar Based Language Extensions for C☆41Updated last month
- cmips☆56Updated 11 years ago
- Tetris in a small virtual machine (11 lines of C)☆22Updated 11 months ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- A program for automatically resolving #ifdef statements in C code.☆37Updated 11 months ago
- Tools for testing C compilers for the correct handling of volatile objects.☆27Updated 11 years ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 6 years ago
- A Machine-Independent Debugger☆35Updated last year