computersforpeace / model-checker
CDSChecker: A Model Checker for C11 and C++11 Atomics
☆29Updated 11 years ago
Alternatives and similar repositories for model-checker:
Users that are interested in model-checker are comparing it to the libraries listed below
- Generic model checker for concurrent C programs (mirror repository)☆142Updated 3 weeks ago
- A benchmark for cache efficient data structures.☆30Updated 6 years ago
- EDSL for C++ to make just-in-time code generation easier☆85Updated 2 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- Lightweight framework for easy and efficient code generation☆100Updated 7 months ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆20Updated 3 years ago
- Freud, a tool to create Performance Annotations for C/C++ programs☆21Updated 8 months ago
- A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue (DISC '19)☆55Updated last year
- A C++ container-like data structure for storing a vector of bits with fast appending on both sides and fast insertion in the middle, all …☆26Updated 2 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last week
- ☆9Updated 7 months ago
- Tool for testing programs with C/C++11 Atomics☆11Updated 3 months ago
- Library for lock-free locks☆77Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆73Updated last week
- Benchmark Intel TSX (Transactional Synchronization Extension) Hardware Transactional Memory on my sandbox☆24Updated 10 years ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆29Updated 2 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- ☆20Updated 2 years ago
- performance experiments for C++ exception handling☆30Updated 3 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆54Updated last year
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- autotuning C++, just-in-time!☆51Updated 5 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆19Updated this week
- UB-aware interpreter for LLVM debugging☆26Updated last week
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆39Updated 2 weeks ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆103Updated 7 months ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Updated last month
- InstLatX64_Demo☆42Updated 3 weeks ago
- An LLVM-based formal verification frontend for C programs.☆24Updated 3 years ago