plum-umd / java-sketchLinks
a Java front-end for Sketch synthesis tool
☆20Updated 10 months ago
Alternatives and similar repositories for java-sketch
Users that are interested in java-sketch are comparing it to the libraries listed below
Sorting:
- ☆41Updated 6 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 10 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Updated last year
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 6 years ago
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- descartes: the cartesian hoare logic prover☆12Updated 8 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 9 months ago
- VATA Tree Automata Library☆33Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- Supplementary files for SSFT 2015 summer school☆12Updated 6 years ago
- generative programming & verification☆34Updated 5 months ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- SMTInterpol interpolating SMT solver☆68Updated last month
- Eclipse plugin that synthesizes real Java code☆26Updated 11 years ago
- egraph on top of sqlite☆12Updated 3 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- Type checking ifdef variability☆79Updated 4 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆54Updated 5 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago