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:
- Some experiments with SMT solvers and GIMPLE IR☆78Updated last week
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆55Updated 9 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆34Updated 12 years ago
- Dynamic runtime inlining with LLVM☆64Updated 4 years ago
- Stabilizer: Rigorous Performance Evaluation☆26Updated 2 years ago
- Create man pages from information used by Intel Intrinsics Guide and optionally uops.info☆45Updated 11 months ago
- Towards a constexpr version of the C++ standard library☆18Updated last year
- Markup source code showing optimizations☆36Updated 5 years ago
- ☆26Updated last year
- Selection and partial sorting algorithms☆137Updated 7 months 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…☆58Updated 2 years ago
- Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.☆180Updated 3 months ago
- Tool for detecting violations of ordering axioms in STL comparators☆19Updated 7 months ago
- Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.☆23Updated 3 years ago
- Interchangeable AoS and SoA containers☆25Updated 3 years ago
- C++ memory allocator with smart GC☆55Updated last year
- Companion Repository for the Lecture Slides for the Clang Libraries☆119Updated 2 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 7 months ago
- Interactive C/C++ preprocessor macro debugger☆172Updated 4 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆56Updated last year
- C++ embedded domain specific language for extended parsing expression grammars (PEGs)☆83Updated 7 months ago
- ☆29Updated 6 years ago
- C++17 string with fixed size☆115Updated 2 months ago
- ORC: A tool for finding violations of C++'s One Definition Rule on the OSX toolchain.☆97Updated last month
- ☆48Updated 5 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- ☆55Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆48Updated this week
- A fast implementation of log() and exp()☆53Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆160Updated this week