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
- ☆19Updated 7 years ago
- Stratified synthesis for learning machine code instruction semantics☆35Updated 3 months ago
- Liveness-driven random C code generator☆41Updated 4 months ago
- Parser for the llvm bitcode format☆60Updated 2 months ago
- 😇 Wholly Adaptive LLVM Optimizer☆26Updated 4 years ago
- A library for binary analysis and rewriting☆47Updated last year
- A standard for floating point accuracy benchmarks☆44Updated this week
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- The LLVM Symbolic Simulator, part of SAW.☆21Updated 4 years ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆21Updated 6 months ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- A parser and AST for Lustre☆11Updated 2 weeks ago
- A benchmark for C program verification☆15Updated 8 months ago
- A Gallina compiler with C++17 as an intermediate representation☆42Updated 3 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆20Updated 2 years ago
- ☆29Updated 9 years ago
- A static analysis tool for C.☆26Updated 5 years ago
- Universal Number Library☆40Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- Ocamlgraph overlay for llvm☆21Updated 9 years ago
- Automatic regression verification for LLVM programs☆19Updated 3 years ago
- Program Round-off Error Certifier via Static Analysis☆49Updated last month
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 2 months ago
- ☆17Updated 4 years ago
- Fully proved small C functions (examples for verification course).☆16Updated 7 years ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- An interactive development environment for SMT-LIB files and Z3☆22Updated 2 years ago