danlark1 / quadratic_strict_weak_orderingLinks
☆32Updated 2 years ago
Alternatives and similar repositories for quadratic_strict_weak_ordering
Users that are interested in quadratic_strict_weak_ordering are comparing it to the libraries listed below
Sorting:
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆55Updated last year
- Create man pages from information used by Intel Intrinsics Guide and optionally uops.info☆46Updated last year
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆38Updated 12 years ago
- Dynamic runtime inlining with LLVM☆67Updated 4 years ago
- Selection and partial sorting algorithms☆140Updated 9 months ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Updated 9 months ago
- Stabilizer: Rigorous Performance Evaluation☆27Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆79Updated this week
- Tool for detecting violations of ordering axioms in STL comparators☆19Updated 10 months ago
- ☆26Updated last year
- 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…☆59Updated 3 years ago
- Towards a constexpr version of the C++ standard library☆18Updated 2 years ago
- Interchangeable AoS and SoA containers☆25Updated 3 years ago
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆88Updated last month
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- Scripts to build binary packages of GCC snapshots☆28Updated 2 weeks ago
- EDSL for C++ to make just-in-time code generation easier☆87Updated 2 years ago
- Companion Repository for the Lecture Slides for the Clang Libraries☆122Updated 4 months ago
- ☆48Updated 5 years ago
- Основной сайт Рабочей Группы 21 C++☆10Updated 8 months ago
- ☆29Updated 6 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆50Updated 2 months ago
- A binary optimization/specialization library supporting multiple rewriters☆119Updated 4 years ago
- C++ embedded domain specific language for extended parsing expression grammars (PEGs)☆83Updated 9 months ago
- A C++ implementation of the Schubfach algorithm - fast and accurate conversion of IEEE-754 double values to decimal strings☆93Updated last month
- Fast poor man's profiler for Linux☆12Updated 2 years ago
- Markup source code showing optimizations☆36Updated 6 years ago
- Tool for locating internal symbols unnecessarily exported from shared libraries.☆42Updated 3 years ago
- C++17 string with fixed size☆116Updated 5 months ago