VariantSync / DiffDetective
Library for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines
☆9Updated 3 weeks ago
Alternatives and similar repositories for DiffDetective:
Users that are interested in DiffDetective are comparing it to the libraries listed below
- Agda Library to Study the Expressive Power of Languages for Static Variability☆12Updated last week
- Library for the generation and optimization of domain-specific laser pattern for single-shot structured light 3D reconstruction tasks.☆11Updated 4 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆25Updated last month
- Apron Numerical Abstract Domain Library☆125Updated last month
- A Flexible and Efficient Proof Checker for SMT Solvers☆23Updated this week
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 3 years ago
- Geometry types☆30Updated 4 years ago
- Translate java jar files into Boogie programs☆12Updated last year
- ☆20Updated 2 weeks ago
- Solver for Constrained Horn Clauses☆38Updated last week
- ANTLR SMT-LIB v2 Grammar☆23Updated 3 years ago
- PC-miner tool for program chairs☆27Updated last month
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆40Updated last year
- Scalable yet rigorous Floating-point Error Analysis☆12Updated 11 months ago
- Type checking ifdef variability☆77Updated 3 years ago
- Troupe programming language☆21Updated this week
- The Termination Problem Database☆29Updated 3 months ago
- Deductive verification infrastructure for probabilistic programs☆16Updated this week
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆57Updated last week
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated 2 weeks ago
- A (WIP) equality saturation tactic for Lean based on egg.☆59Updated last week
- The Git repository for the mCRL2 toolset.☆97Updated this week
- ☆12Updated 2 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated 3 weeks ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- Verifying the optimization phases of the GraalVM compiler☆11Updated 3 months ago
- Program Synthesis☆14Updated 3 years ago
- PL conference deadline countdowns☆60Updated last month
- A Java program synthesizer.☆21Updated 6 years ago