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.
☆76Updated 7 years ago
Alternatives and similar repositories for libacovea:
Users that are interested in libacovea are comparing it to the libraries listed below
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆29Updated 5 years ago
- An automatic generator of basic unit tests for a C/C++ library☆85Updated 5 years ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 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.☆38Updated 7 months ago
- A Valgrind tool for Herbie☆93Updated 2 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆87Updated 5 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last week
- Reworking of Agner Fog's performance test programs for Linux☆110Updated 6 years ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 5 years ago
- A Valgrind tool for finding redundant loads/stores☆21Updated 5 years ago
- Measuring cmov vs branch-mov performance☆85Updated 7 years ago
- nvptx-tools: a collection of tools for use with nvptx-none GCC toolchains.☆49Updated 6 months ago
- Extensions for Eli Bendersky's pycparser☆85Updated 4 months ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- CPU Ultimate Latency Test.☆109Updated last year
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 5 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 2 years ago
- SAT instance generator for SHA-1☆47Updated 4 years ago
- A benchmark for standard libraries☆22Updated last year
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆77Updated 3 years ago
- Programming Accelerators with C++ (PACXX)☆58Updated 7 years ago
- A standard for floating point accuracy benchmarks☆49Updated 2 weeks ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- GPUVerify: a Verifier for GPU Kernels☆60Updated 2 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆124Updated 6 years ago
- code for examining determinism of performance counters☆21Updated 4 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- resurrected LLVM "C Backend", with improvements☆127Updated 4 years ago