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
- ☆19Updated 7 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- Formal semantics of LLVM IR in K☆45Updated 6 years ago
- The Cubicle model checker☆13Updated 10 months ago
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 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
- Kami based processor implementations and specifications☆22Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A standard for floating point accuracy benchmarks☆47Updated last week
- Universal Number Library☆40Updated 6 years ago
- A benchmark for C program verification☆15Updated 11 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…☆18Updated last year
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Universal instruction selection☆12Updated 6 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- A Gallina compiler with C++17 as an intermediate representation☆42Updated 3 years ago
- ☆49Updated 11 months ago
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Updated 8 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- ☆27Updated 8 months ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- Successor to PolyBoRi☆18Updated last month
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- Galois RISC-V ISA Formal Tools☆55Updated last year
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 3 years ago
- Stratified synthesis for learning machine code instruction semantics☆36Updated 5 months ago