danlark1 / quadratic_strict_weak_ordering
☆31Updated last year
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
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆51Updated 3 weeks ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- Selection and partial sorting algorithms☆136Updated 6 months ago
- Tool for detecting violations of ordering axioms in STL comparators☆16Updated last month
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- Automatically spawn gdb on error.☆66Updated 2 years ago
- Example implementation of coroutine in C☆20Updated 4 years ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Stabilizer: Rigorous Performance Evaluation☆25Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated last month
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 6 months ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated this week
- C++20 SIMD Within A Register library☆29Updated 6 months ago
- Some modules for efficient networking☆22Updated 3 weeks ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- A benchmark for cache efficient data structures.☆30Updated 6 years ago
- A fast implementation of log() and exp()☆51Updated 2 years ago
- ☆47Updated 4 years ago
- performance experiments for C++ exception handling☆30Updated 2 years ago
- Poireau: a sampling allocation debugger☆87Updated 3 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆100Updated 6 months ago
- Tool for locating internal symbols unnecessarily exported from shared libraries.☆38Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- ☆71Updated 4 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- ☆26Updated last year