LLNL / backstroke
A tool for reversible computation in C++ based on incremental state saving.
☆22Updated 4 years ago
Alternatives and similar repositories for backstroke:
Users that are interested in backstroke are comparing it to the libraries listed below
- Parser for the llvm bitcode format☆60Updated last week
- A tool for testing C compilers automatically☆20Updated 9 years ago
- ☆19Updated 8 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 10 years ago
- Automatic regression verification for LLVM programs☆19Updated 3 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- A library for binary analysis and rewriting☆47Updated last year
- Linux kernel library functions formally verified.☆49Updated 4 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- A standard for floating point accuracy benchmarks☆49Updated 3 weeks ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 3 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 8 years ago
- Stratified synthesis for learning machine code instruction semantics☆36Updated 6 months ago
- Liveness-driven random C code generator☆41Updated 8 months ago
- Generation of mutant programs☆21Updated 6 years ago
- A benchmark for C program verification☆15Updated last year
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Formal semantics of LLVM IR in K☆45Updated 6 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆11Updated 2 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Universal instruction selection☆12Updated 6 years ago
- KORE to llvm translation☆36Updated last week
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago