MojtabaValizadeh / paresy
Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
☆13Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for paresy
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆33Updated 5 months ago
- ☆33Updated 2 years ago
- ☆3Updated 2 weeks ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- A SyGuS Solver☆22Updated 3 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- The Termination Problem Database☆27Updated 5 months ago
- ☆16Updated 4 months ago
- ☆11Updated 3 years ago
- AE-solver and Skolemizer☆17Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- ☆24Updated 2 years ago
- The first scalable probabilistic exact counter☆26Updated 7 months ago
- Cube-and-Conquer SAT solver☆31Updated last year
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 10 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 11 months ago
- Benchmark Suite for Interpretable Rule Learning☆10Updated 4 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- Code for enumeration from a CFG☆18Updated last year
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 2 months ago
- A fast and simple automata library☆23Updated this week
- Generates loop invariants for program verification☆58Updated 3 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆85Updated 3 years ago
- Solver for Constrained Horn Clauses☆34Updated this week