embecosm / gnu-superopt
The GNU Superoptimizer
☆26Updated 10 years ago
Alternatives and similar repositories for gnu-superopt:
Users that are interested in gnu-superopt are comparing it to the libraries listed below
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 9 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 6 years ago
- quick c☆35Updated 3 years ago
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- GNU Superoptimizer Version 2☆26Updated 3 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- An x86-64 instruction decoder.☆16Updated last year
- Liveness-driven random C code generator☆41Updated 10 months ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆27Updated 14 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…☆23Updated 15 years ago
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆10Updated 8 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 4 months ago
- A Machine-Independent Debugger☆31Updated 7 months ago
- Universal instruction selection☆12Updated 6 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 6 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- My Own Linear Lisp☆40Updated 6 years ago