LLNL / backstroke
A tool for reversible computation in C++ based on incremental state saving.
☆22Updated 5 years ago
Alternatives and similar repositories for backstroke:
Users that are interested in backstroke are comparing it to the libraries listed below
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- ☆19Updated 8 years ago
- Parser for the llvm bitcode format☆59Updated last month
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- Formal semantics of LLVM IR in K☆46Updated 6 years ago
- Liveness-driven random C code generator☆41Updated 10 months ago
- Stratified synthesis for learning machine code instruction semantics☆36Updated last week
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆30Updated 5 years ago
- A standard for floating point accuracy benchmarks☆49Updated last month
- A library for binary analysis and rewriting☆47Updated last year
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- ☆28Updated last month
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- The Diderot language compiler☆15Updated 2 years ago
- The Cubicle model checker☆13Updated last year
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 7 months ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Universal Number Library☆41Updated 7 years ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆11Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago