lu-cs-sde / codeproberLinks
Tool implementing Property Probes
☆21Updated 3 weeks ago
Alternatives and similar repositories for codeprober
Users that are interested in codeprober are comparing it to the libraries listed below
Sorting:
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- ☆20Updated 6 months ago
- Online BDD Simulation Tool☆21Updated 2 months ago
- Collapsing Towers of Interpreters☆91Updated 3 months ago
- A Simple Abstract Interpreter, built for teaching purposes☆19Updated 5 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 3 months ago
- ☆20Updated 2 years ago
- Grammar prioritization support for EUSolver.☆13Updated 6 years ago
- The WIP book for CPSC 411☆66Updated 3 months ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆64Updated this week
- Materials for OPLSS 2021☆11Updated 4 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆10Updated 7 months ago
- A Tool for Intersecting Context-Free Grammars☆10Updated 7 years ago
- Geometry types☆32Updated 4 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- SMTInterpol interpolating SMT solver☆68Updated this week
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- Language based on Rewriting Logic☆138Updated this week
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- JaTyC: a typestate checker for Java☆17Updated last month
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- Code for enumeration from a CFG☆20Updated 2 years ago
- ANTLR SMT-LIB v2 Grammar☆24Updated 3 years ago
- Spoofax runtime☆149Updated 5 months ago
- MetaDL: Datalog analyzing Datalog, Java or any language of your choice☆16Updated 3 months ago
- The PERPL Compiler☆13Updated 2 weeks ago
- ☆17Updated 5 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆53Updated 5 years ago