computersforpeace / model-checker
CDSChecker: A Model Checker for C11 and C++11 Atomics
☆26Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for model-checker
- EDSL for C++ to make just-in-time code generation easier☆82Updated last year
- Lightweight framework for easy and efficient code generation☆98Updated 3 months ago
- Generic model checker for concurrent C programs (mirror repository)☆134Updated 2 months ago
- A benchmark for cache efficient data structures.☆29Updated 5 years ago
- Library for lock-free locks☆75Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆68Updated this week
- Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.☆23Updated 2 years ago
- Dynamic runtime inlining with LLVM☆65Updated 3 years ago
- A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system☆63Updated 4 years ago
- performance experiments for C++ exception handling☆31Updated 2 years ago
- Interchangeable AoS and SoA containers☆22Updated 2 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 3 weeks ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 2 years ago
- autotuning C++, just-in-time!☆51Updated 4 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆51Updated 10 months ago
- Markup source code showing optimizations☆35Updated 4 years ago
- Detailed experiments over simdjson for VLDB article (2019) and future work☆22Updated 4 years ago
- Benchmark Intel TSX (Transactional Synchronization Extension) Hardware Transactional Memory on my sandbox☆23Updated 10 years ago
- Lace - implementation of work-stealing in C☆34Updated 7 months ago
- Freud, a tool to create Performance Annotations for C/C++ programs☆21Updated 4 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Updated last month
- ☆21Updated 2 years ago
- A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue (DISC '19)☆54Updated 11 months ago
- Tool for testing programs with C/C++11 Atomics☆10Updated 4 years ago
- A fast implementation of log() and exp()☆49Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆95Updated 3 months ago
- parser combinator and AST generator in c++17☆24Updated last year