elarsonSU / egretLinks
Evil generation of regular expression test string
☆21Updated 6 years ago
Alternatives and similar repositories for egret
Users that are interested in egret are comparing it to the libraries listed below
Sorting:
- A Simple Abstract Interpreter, built for teaching purposes☆20Updated 5 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Updated 4 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- A python library to manipulate formal languages and various automata☆58Updated 5 months ago
- ☆31Updated 4 months ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 10 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Updated 7 years ago
- Incremental Build Verification☆17Updated last year
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 3 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 10 years ago
- Verimag Polyhedra Library☆19Updated 10 months ago
- A fast and simple automata library☆31Updated 3 weeks ago
- LLVM DSA fork for SeaHorn☆21Updated 6 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated 2 weeks ago
- Autoreject.org — An automatic review generator☆69Updated 2 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆50Updated 3 years ago
- CMU 15-745 Spring 2014☆10Updated 11 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- AE-solver and Skolemizer☆17Updated last year
- A dynamic method for detecting faults in incremental and parallel builds.☆18Updated 3 years ago
- ☆20Updated last year
- Map2Check: Finding Software Vulnerabilities☆30Updated 5 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Updated 4 months ago
- ☆21Updated 3 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆56Updated 8 months ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆171Updated 4 years ago
- ☆91Updated 3 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 6 years ago