DRMacIver / shrinkray
Shrinkray is a modern multi-format test-case reducer
☆94Updated last month
Related projects ⓘ
Alternatives and complementary repositories for shrinkray
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- ☆75Updated 3 weeks ago
- Datalog + Egg = Good☆65Updated last year
- Hash-based Diffing for AST's☆75Updated 4 years ago
- A simple program reducer for any language.☆73Updated last year
- Using z3's never been easier (maybe)☆100Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆101Updated 2 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆143Updated 6 months ago
- Forward build system with speculation and caching☆102Updated last year
- Flexible and Constant Time Programming Language☆198Updated 2 years ago
- A very minimal implementation of the core idea of Hypothesis☆127Updated 4 months ago
- Semi-Automated Python Proof Assistant☆54Updated this week
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆233Updated 3 weeks ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆315Updated 2 years ago
- Interactive, web-based environment for exploring and visualizing TLA+ specifications.☆72Updated last week
- Build Systems à la Carte☆248Updated 4 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated last week
- An experiment in controlling the size of a thread pool using a PID controller.☆116Updated last year
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 4 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆251Updated this week
- Brzozowski derivative python sketch☆83Updated 7 months ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- The Brown Benchmark for Table Types (B2T2)☆62Updated 5 months ago
- A tree-sitter grammar for TLA⁺ and PlusCal☆57Updated 3 weeks ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆113Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- Explore ELF objects through the power of SQL☆252Updated 3 months ago
- ☆12Updated 4 months ago
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 7 years ago