Acovea / libacovea
ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for compiling programs with the GNU Compiler Collection (GCC) C and C++ compilers.
☆74Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for libacovea
- Universal Number Library☆40Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆88Updated 5 years ago
- Reworking of Agner Fog's performance test programs for Linux☆110Updated 5 years ago
- An automatic generator of basic unit tests for a C/C++ library☆85Updated 4 years ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 4 years ago
- C++11 library for many-sorted logics☆39Updated 7 years ago
- GNU Superoptimizer Version 2☆25Updated 3 years ago
- CCG is a random C Code Generator☆42Updated 2 years ago
- resurrected LLVM "C Backend", with improvements☆127Updated 4 years ago
- ALLVM Tools☆55Updated 2 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- dthreads: Efficient Deterministic Multithreading☆49Updated 9 years ago
- CPU Ultimate Latency Test.☆105Updated last year
- Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems☆23Updated last year
- A Valgrind tool for Herbie☆90Updated 2 years ago
- SAT instance generator for SHA-1☆47Updated 3 years ago
- Tool for locating internal symbols unnecessarily exported from shared libraries.☆37Updated last year
- Automatically spawn gdb on error.☆65Updated 2 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 9 years ago
- An Efficient and Retargetable Dynamic Binary Translator on Multicores☆31Updated 5 years ago
- Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.☆39Updated 2 months ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆174Updated 5 years ago
- ISA-L and intel-ipsec-mb obsolete soft-crc project. Please refer and use them instead for efficient CRC implementation. https://github.co…☆54Updated 7 months ago
- Extensions for Eli Bendersky's pycparser☆83Updated 3 months ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆57Updated 2 years ago
- ☆108Updated 3 months ago
- LLVM Profiling Visualization☆83Updated 2 years ago
- immintrin_dbg.h is an include file, a wrapper around immintrin.h. It implements most of AVX, AVX2, AVX-512 vector intrinsics to enable so…☆57Updated last year