LLNL / backstroke
A tool for reversible computation in C++ based on incremental state saving.
☆22Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for backstroke
- An advanced automated reasoning tool for memory consistency model specifications.☆20Updated 2 years ago
- A standard for floating point accuracy benchmarks☆44Updated 2 weeks ago
- Liveness-driven random C code generator☆41Updated 4 months ago
- MimIR is my Intermediate Representation☆48Updated 3 weeks ago
- Universal Number Library☆40Updated 6 years ago
- ☆19Updated 7 years ago
- Kami based processor implementations and specifications☆22Updated 4 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆26Updated 4 years ago
- A Gallina compiler with C++17 as an intermediate representation☆42Updated 3 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Formal semantics of LLVM IR in K☆45Updated 6 years ago
- Parser for the llvm bitcode format☆59Updated 2 months ago
- Program analysis tool based on software performance counters☆56Updated 3 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 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
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- A static analysis tool for C.☆26Updated 5 years ago
- Stratified synthesis for learning machine code instruction semantics☆35Updated 3 months ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Updated 7 years ago
- ☆85Updated 2 years ago
- ☆17Updated 4 years ago
- Formalization of termination of Gödel's System T☆9Updated 3 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- Generation of mutant programs☆21Updated 6 years ago
- Galois RISC-V ISA Formal Tools☆56Updated 10 months ago