VariantSync / DiffDetective
Library for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines
☆10Updated this week
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 3 months ago
- Type checking ifdef variability☆77Updated 3 years ago
- Verifying the optimization phases of the GraalVM compiler☆11Updated 2 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
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆117Updated last month
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆56Updated last month
- PPLite: convex polyhedra library for Abstract Interpretation☆25Updated 3 weeks ago
- Apron Numerical Abstract Domain Library☆121Updated 2 weeks ago
- CS316 "Functional Programming" lecture notes☆14Updated 4 months ago
- Solver for Constrained Horn Clauses☆37Updated this week
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆33Updated 3 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆20Updated last week
- TriCera: a model checker for C programs☆24Updated 2 weeks ago
- Modeling and Proving in Computational Type Theory☆91Updated this week
- The Gillian Platform main repository☆81Updated last week
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆16Updated 7 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆96Updated last week
- Randomized Property-Based Testing Plugin for Coq☆264Updated this week
- Definition of the Viper intermediate verification language.☆83Updated 2 weeks ago
- Geometry types☆29Updated 4 years ago
- The Ultimate program analysis framework.☆217Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆251Updated last month
- PL conference deadline countdowns☆57Updated last week
- The Eldarica model checker☆83Updated 2 weeks ago
- A web-based graphical proof assistant for LK and Hoare logic.☆34Updated 2 years ago
- Teaching and Learning Software Verification via SVF☆33Updated last week
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated last month
- Public-facing course info for program analysis materials.☆40Updated 3 months ago
- Hanoi Omega-Automata Format☆15Updated 2 years ago