ishiura-compiler / CF3Links
"CF3" is a C compiler test suite targeting arithmetic optimization.
☆37Updated 8 years ago
Alternatives and similar repositories for CF3
Users that are interested in CF3 are comparing it to the libraries listed below
Sorting:
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 5 years ago
- 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
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- Liveness-driven random C code generator☆42Updated 2 months ago
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- ☆54Updated last year
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Updated 6 months ago
- Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…☆18Updated 2 years ago
- Code which loads custom ISA on Intel Haswell GPUs☆47Updated 9 years ago
- Composable Data and Type Generators for C++☆10Updated 6 years ago
- A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…☆48Updated 7 years ago
- unrolled skip list library for C☆21Updated 6 years ago
- ☆60Updated 7 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- A Tree Parser Generator☆101Updated last year
- I-cache line packing and branch misprediction measuring tool☆18Updated 8 years ago
- The GNU Superoptimizer☆27Updated 11 years ago
- Lock-free multithreaded memory allocation☆108Updated 8 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- CCG is a random C Code Generator☆44Updated 3 years ago
- A just-in-time compiler for c minus☆46Updated 12 years ago
- BSD Licensed Bignum Library☆232Updated last year
- A static verifier for concurrent C programs☆136Updated 4 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Updated 10 years ago
- Incremental garbage collector library in C for use by high level language implementions.☆110Updated 9 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago