petablox / popl2020-artifact
Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.
☆17Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for popl2020-artifact
- Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research☆46Updated 7 years ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆20Updated 11 months ago
- DAI: Demanded Abstract Interpretation☆16Updated last month
- ☆19Updated last year
- A SyGuS Solver☆22Updated 3 months ago
- CClyzer port to souffle lang☆18Updated 9 months ago
- Experimental MLIR based points-to analysis tool☆13Updated this week
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- Grammar synthesis algorithm using a black box oracle☆35Updated 6 months ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆40Updated 4 years ago
- SLOT: SMT-LLVM Optimizing Translation☆54Updated last year
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆123Updated this week
- SMT solver for the theory of floating-point arithmetic☆25Updated 6 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated last year
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- LLVM pass☆21Updated 4 years ago
- TracerX Symbolic Virtual Machine☆31Updated this week
- Symbolic Execution Engine for Boogie☆28Updated 2 years ago
- Duet: static analysis for unbounded concurrency☆23Updated 2 weeks ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- ☆8Updated 6 months ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated 2 months ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 2 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆85Updated 3 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 4 years ago
- An SMT Solver for string constraints☆34Updated this week