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
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- ☆16Updated 3 months ago
- AE-solver and Skolemizer☆18Updated 11 months ago
- The Termination Problem Database☆27Updated 4 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- A SyGuS Solver☆22Updated 2 months ago
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆32Updated 5 months ago
- ☆16Updated last year
- ☆3Updated last week
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 10 months ago
- TriCera: a model checker for C programs☆18Updated this week
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- PC-miner tool for program chairs☆23Updated 2 weeks ago
- A fast and simple automata library☆22Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- Code for enumeration from a CFG☆18Updated last year
- A fast and certifying solver for quantified Boolean formulas.